Project III (MATH3382) 2025/26


Convex Analysis

Amit Einav

Description

The notion of convexity is a notion of great importance in the field of modern analysis, one whose reach encompasses both sets and functions. It lies at the cusp of Geometry, Topology and Analysis and at times acts as a bridge between these fields, helping us explore many problems from different viewpoints.

A set \(C\) in \(\mathbb{R}^n\) is called a convex set if for any \(\theta \in [0,1]\) and any \(x,y\in C\) we have that $$\theta x + (1-\theta)y \in C.$$ In other words -- if \(x,y\in C\) then the segment that connects between them lies entirely in \(C\).

convex sets

A function \(f\) from a convex set \(C\) to \(\mathbb{R}\) is called convex on \(C\) if for any \(\theta \in [0,1]\) and any \(x,y\in C\) we have that $$f\left(\theta x + (1-\theta)y\right) \leq \theta f(x) + (1-\theta)f(y).$$ While this might look daunting, when \(C\) is an interval the above it is nothing more than saying that the straight line connecting the points \(\left(x,f(x) \right)\) and \(\left(y,f(y) \right)\) lies above the graph of the function \(f\) between \(x\) and \(y\).

convex

Convex sets and functions enjoy an abundance of properties and play an important roles in many topics -- both in theory and applications. For instance:

and much more.

Our goal in this project will be to explore the theory of convex sets and functions, and the connection between them. Once established, you will be able to explore additional topics such as:

Prerequisites and Co-requisites

Prerequisites : Analysis I (essential), Linear Algebra I and Complex Analysis II.

Potential co-requisite (not mandatory but helpful): Analysis III.

Additional information

If you would like more information about this project, discuss its scope and/or its prerequisites, don't hesitate to contact me at amit.einav@durham.ac.uk

Resources