Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill...

215
Fundamentals from Convex Analysis Conjugacy of composite functions via K-convexity and inf-convolution A new class of matrix support functionals Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019

Transcript of Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill...

Page 1: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Topics in Convex AnalysisTim Hoheisel (McGill University, Montreal)

Spring School on Variational Analysis

Paseky, May 19–25, 2019

Page 2: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Outline

1 Fundamentals from Convex AnalysisConvex sets and functionsSubdifferentiation and conjugacy of convex functionsInfimal convolution and the Attouch-Brezis TheoremConsequences of Attouch-Brezis

2 Conjugacy of composite functions via K -convexity and inf-convolutionK -convexityComposite functions and scalarizationConjugacy resultsApplications

3 A new class of matrix support functionalsThe generalized matrix-fractional functionThe closed convex hull of D(A ,B) with applicationsApplications of the GMF

Page 3: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

1. Fundamentals from Convex Analysis

Page 4: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The Euclidean setting and Minkowski notationIn what follows E will be a Euclidean space, i.e. a real-vector space equipped with an inner product〈·, ·〉 : E × E→ R of dimension κ < ∞.

Examples

E = Rn , 〈x, y〉 := xT y, κ = n

E = Rm×n , 〈A , B〉 := tr (AT B), κ = mn

Minkowski addition/multiplication: Let A ⊂ E

A + B := a + b | a ∈ A , b ∈ B (B ⊂ E)

A + x := A + x (x ∈ E)

Λ · A := λa | a ∈ A , λ ∈ Λ (Λ ⊂ R)

λA := λ · A (λ ∈ R)

Examples:

U,V ⊂ E subspaces. Then U + V = span (U ∪ V)

Bε(x) = x + εB

pos S := R+S (conical hull)

Page 5: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The Euclidean setting and Minkowski notationIn what follows E will be a Euclidean space, i.e. a real-vector space equipped with an inner product〈·, ·〉 : E × E→ R of dimension κ < ∞.

Examples

E = Rn , 〈x, y〉 := xT y, κ = n

E = Rm×n , 〈A , B〉 := tr (AT B), κ = mn

Minkowski addition/multiplication: Let A ⊂ E

A + B := a + b | a ∈ A , b ∈ B (B ⊂ E)

A + x := A + x (x ∈ E)

Λ · A := λa | a ∈ A , λ ∈ Λ (Λ ⊂ R)

λA := λ · A (λ ∈ R)

Examples:

U,V ⊂ E subspaces. Then U + V = span (U ∪ V)

Bε(x) = x + εB

pos S := R+S (conical hull)

Page 6: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The Euclidean setting and Minkowski notationIn what follows E will be a Euclidean space, i.e. a real-vector space equipped with an inner product〈·, ·〉 : E × E→ R of dimension κ < ∞.

Examples

E = Rn , 〈x, y〉 := xT y, κ = n

E = Rm×n , 〈A , B〉 := tr (AT B), κ = mn

Minkowski addition/multiplication: Let A ⊂ E

A + B := a + b | a ∈ A , b ∈ B (B ⊂ E)

A + x := A + x (x ∈ E)

Λ · A := λa | a ∈ A , λ ∈ Λ (Λ ⊂ R)

λA := λ · A (λ ∈ R)

Examples:

U,V ⊂ E subspaces. Then U + V = span (U ∪ V)

Bε(x) = x + εB

pos S := R+S (conical hull)

Page 7: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The Euclidean setting and Minkowski notationIn what follows E will be a Euclidean space, i.e. a real-vector space equipped with an inner product〈·, ·〉 : E × E→ R of dimension κ < ∞.

Examples

E = Rn , 〈x, y〉 := xT y, κ = n

E = Rm×n , 〈A , B〉 := tr (AT B), κ = mn

Minkowski addition/multiplication: Let A ⊂ E

A + B := a + b | a ∈ A , b ∈ B (B ⊂ E)

A + x := A + x (x ∈ E)

Λ · A := λa | a ∈ A , λ ∈ Λ (Λ ⊂ R)

λA := λ · A (λ ∈ R)

Examples:

U,V ⊂ E subspaces. Then U + V = span (U ∪ V)

Bε(x) = x + εB

pos S := R+S (conical hull)

Page 8: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The Euclidean setting and Minkowski notationIn what follows E will be a Euclidean space, i.e. a real-vector space equipped with an inner product〈·, ·〉 : E × E→ R of dimension κ < ∞.

Examples

E = Rn , 〈x, y〉 := xT y, κ = n

E = Rm×n , 〈A , B〉 := tr (AT B), κ = mn

Minkowski addition/multiplication: Let A ⊂ E

A + B := a + b | a ∈ A , b ∈ B (B ⊂ E)

A + x := A + x (x ∈ E)

Λ · A := λa | a ∈ A , λ ∈ Λ (Λ ⊂ R)

λA := λ · A (λ ∈ R)

Examples:

U,V ⊂ E subspaces. Then U + V = span (U ∪ V)

Bε(x) = x + εB

pos S := R+S (conical hull)

Page 9: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The Euclidean setting and Minkowski notationIn what follows E will be a Euclidean space, i.e. a real-vector space equipped with an inner product〈·, ·〉 : E × E→ R of dimension κ < ∞.

Examples

E = Rn , 〈x, y〉 := xT y, κ = n

E = Rm×n , 〈A , B〉 := tr (AT B), κ = mn

Minkowski addition/multiplication: Let A ⊂ E

A + B := a + b | a ∈ A , b ∈ B (B ⊂ E)

A + x := A + x (x ∈ E)

Λ · A := λa | a ∈ A , λ ∈ Λ (Λ ⊂ R)

λA := λ · A (λ ∈ R)

Examples:

U,V ⊂ E subspaces. Then U + V = span (U ∪ V)

Bε(x) = x + εB

pos S := R+S (conical hull)

Page 10: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The Euclidean setting and Minkowski notationIn what follows E will be a Euclidean space, i.e. a real-vector space equipped with an inner product〈·, ·〉 : E × E→ R of dimension κ < ∞.

Examples

E = Rn , 〈x, y〉 := xT y, κ = n

E = Rm×n , 〈A , B〉 := tr (AT B), κ = mn

Minkowski addition/multiplication: Let A ⊂ E

A + B := a + b | a ∈ A , b ∈ B (B ⊂ E)

A + x := A + x (x ∈ E)

Λ · A := λa | a ∈ A , λ ∈ Λ (Λ ⊂ R)

λA := λ · A (λ ∈ R)

Examples:

U,V ⊂ E subspaces. Then U + V = span (U ∪ V)

Bε(x) = x + εB

pos S := R+S (conical hull)

Page 11: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The Euclidean setting and Minkowski notationIn what follows E will be a Euclidean space, i.e. a real-vector space equipped with an inner product〈·, ·〉 : E × E→ R of dimension κ < ∞.

Examples

E = Rn , 〈x, y〉 := xT y, κ = n

E = Rm×n , 〈A , B〉 := tr (AT B), κ = mn

Minkowski addition/multiplication: Let A ⊂ E

A + B := a + b | a ∈ A , b ∈ B (B ⊂ E)

A + x := A + x (x ∈ E)

Λ · A := λa | a ∈ A , λ ∈ Λ (Λ ⊂ R)

λA := λ · A (λ ∈ R)

Examples:

U,V ⊂ E subspaces. Then U + V = span (U ∪ V)

Bε(x) = x + εB

pos S := R+S (conical hull)

Page 12: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The Euclidean setting and Minkowski notationIn what follows E will be a Euclidean space, i.e. a real-vector space equipped with an inner product〈·, ·〉 : E × E→ R of dimension κ < ∞.

Examples

E = Rn , 〈x, y〉 := xT y, κ = n

E = Rm×n , 〈A , B〉 := tr (AT B), κ = mn

Minkowski addition/multiplication: Let A ⊂ E

A + B := a + b | a ∈ A , b ∈ B (B ⊂ E)

A + x := A + x (x ∈ E)

Λ · A := λa | a ∈ A , λ ∈ Λ (Λ ⊂ R)

λA := λ · A (λ ∈ R)

Examples:

U,V ⊂ E subspaces. Then U + V = span (U ∪ V)

Bε(x) = x + εB

pos S := R+S (conical hull)

Page 13: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convex sets and cones

”The great watershed in optimization is not between linearity and nonlinearity, but convexity andnonconvexity.” (R.T. Rockafellar, *1935)

S ⊂ E is said to be

convex if λS + (1 − λ)S ⊂ S (λ ∈ (0, 1));

a cone if λS ⊂ S (λ ≥ 0).

Note that K ⊂ E is a convex cone iff K + K ⊂ K .

0

Figure: Convex set/non-convex cone

Page 14: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convex sets and cones

”The great watershed in optimization is not between linearity and nonlinearity, but convexity andnonconvexity.” (R.T. Rockafellar, *1935)

S ⊂ E is said to be

convex if λS + (1 − λ)S ⊂ S (λ ∈ (0, 1));

a cone if λS ⊂ S (λ ≥ 0).

Note that K ⊂ E is a convex cone iff K + K ⊂ K .

0

Figure: Convex set/non-convex cone

Page 15: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The convex hull and the closed convex hullDefinition 1 (Convex hull/closed convex hull).

Let S ⊂ E nonempty. Then the convex hull of S is the smallest convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C convex .

The closed convex hull of S is the smallest closed, convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C closed and convex .

conv S = cl (conv S)

conv S =∑κ+1

i=1 λixi

∣∣∣ xi ∈ S, λi ≥ 0 (i = 1, . . . , κ + 1),∑κ+1

i=1 λi = 1

(Caratheodory’s Theorem)

conv preserves compactness and boundedness, not necessarily closedness

Example: S := (00) ∪ (a

1) | a ≥ 0,(1

1/k

)= 1

k

(k1

)+

(1 − 1

k

) (00

)∈ conv S.

But:(

11/k

)→

(10

)< conv S.

1

1

Page 16: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The convex hull and the closed convex hullDefinition 1 (Convex hull/closed convex hull).

Let S ⊂ E nonempty. Then the convex hull of S is the smallest convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C convex .

The closed convex hull of S is the smallest closed, convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C closed and convex .

conv S = cl (conv S)

conv S =∑κ+1

i=1 λixi

∣∣∣ xi ∈ S, λi ≥ 0 (i = 1, . . . , κ + 1),∑κ+1

i=1 λi = 1

(Caratheodory’s Theorem)

conv preserves compactness and boundedness, not necessarily closedness

Example: S := (00) ∪ (a

1) | a ≥ 0,(1

1/k

)= 1

k

(k1

)+

(1 − 1

k

) (00

)∈ conv S.

But:(

11/k

)→

(10

)< conv S.

1

1

Page 17: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The convex hull and the closed convex hullDefinition 1 (Convex hull/closed convex hull).

Let S ⊂ E nonempty. Then the convex hull of S is the smallest convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C convex .

The closed convex hull of S is the smallest closed, convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C closed and convex .

conv S = cl (conv S)

conv S =∑κ+1

i=1 λixi

∣∣∣ xi ∈ S, λi ≥ 0 (i = 1, . . . , κ + 1),∑κ+1

i=1 λi = 1

(Caratheodory’s Theorem)

conv preserves compactness and boundedness, not necessarily closedness

Example: S := (00) ∪ (a

1) | a ≥ 0,(1

1/k

)= 1

k

(k1

)+

(1 − 1

k

) (00

)∈ conv S.

But:(

11/k

)→

(10

)< conv S.

1

1

Page 18: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The convex hull and the closed convex hullDefinition 1 (Convex hull/closed convex hull).

Let S ⊂ E nonempty. Then the convex hull of S is the smallest convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C convex .

The closed convex hull of S is the smallest closed, convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C closed and convex .

conv S = cl (conv S)

conv S =∑κ+1

i=1 λixi

∣∣∣ xi ∈ S, λi ≥ 0 (i = 1, . . . , κ + 1),∑κ+1

i=1 λi = 1

(Caratheodory’s Theorem)

conv preserves compactness and boundedness, not necessarily closedness

Example: S := (00) ∪ (a

1) | a ≥ 0,(1

1/k

)= 1

k

(k1

)+

(1 − 1

k

) (00

)∈ conv S.

But:(

11/k

)→

(10

)< conv S.

1

1

Page 19: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The convex hull and the closed convex hullDefinition 1 (Convex hull/closed convex hull).

Let S ⊂ E nonempty. Then the convex hull of S is the smallest convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C convex .

The closed convex hull of S is the smallest closed, convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C closed and convex .

conv S = cl (conv S)

conv S =∑κ+1

i=1 λixi

∣∣∣ xi ∈ S, λi ≥ 0 (i = 1, . . . , κ + 1),∑κ+1

i=1 λi = 1

(Caratheodory’s Theorem)

conv preserves compactness and boundedness, not necessarily closedness

Example: S := (00) ∪ (a

1) | a ≥ 0,(1

1/k

)= 1

k

(k1

)+

(1 − 1

k

) (00

)∈ conv S.

But:(

11/k

)→

(10

)< conv S.

1

1

Page 20: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The convex hull and the closed convex hullDefinition 1 (Convex hull/closed convex hull).

Let S ⊂ E nonempty. Then the convex hull of S is the smallest convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C convex .

The closed convex hull of S is the smallest closed, convex set containing S, i.e.

conv S :=⋂C ⊂ E | S ⊂ C , C closed and convex .

conv S = cl (conv S)

conv S =∑κ+1

i=1 λixi

∣∣∣ xi ∈ S, λi ≥ 0 (i = 1, . . . , κ + 1),∑κ+1

i=1 λi = 1

(Caratheodory’s Theorem)

conv preserves compactness and boundedness, not necessarily closedness

Example: S := (00) ∪ (a

1) | a ≥ 0,(1

1/k

)= 1

k

(k1

)+

(1 − 1

k

) (00

)∈ conv S.

But:(

11/k

)→

(10

)< conv S.

1

1

Page 21: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The topology relative to the affine hull

Affine set: A set S = U + x with x ∈ E and a subspace U ⊂ is called affine. This is characterized by

αS + (1 − α)S ⊂ S (α ∈ R).

Affine hull: affM :=⋂S ∈ E | M ⊂ S, S affine .

Relative interior/boundary: C ⊂ E convex.

ri C :=x ∈ C

∣∣∣ ∃ε > 0 : Bε(x) ∩ aff C ⊂ C

(relative interior)rbd C := cl C \ ri C (relative boundary)

x ∈ ri C ⇔ span C = R+(C − x)

aff Cri C

C

C aff C ri C

x x x[x, x′] λx + (1 − λ)x′ | λ ∈ R (x, x′)Bε(x) E Bε(x)

Table: Examples for relative interiors

Page 22: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The topology relative to the affine hull

Affine set: A set S = U + x with x ∈ E and a subspace U ⊂ is called affine. This is characterized by

αS + (1 − α)S ⊂ S (α ∈ R).

Affine hull: affM :=⋂S ∈ E | M ⊂ S, S affine .

Relative interior/boundary: C ⊂ E convex.

ri C :=x ∈ C

∣∣∣ ∃ε > 0 : Bε(x) ∩ aff C ⊂ C

(relative interior)rbd C := cl C \ ri C (relative boundary)

x ∈ ri C ⇔ span C = R+(C − x)

aff Cri C

C

C aff C ri C

x x x[x, x′] λx + (1 − λ)x′ | λ ∈ R (x, x′)Bε(x) E Bε(x)

Table: Examples for relative interiors

Page 23: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The topology relative to the affine hull

Affine set: A set S = U + x with x ∈ E and a subspace U ⊂ is called affine. This is characterized by

αS + (1 − α)S ⊂ S (α ∈ R).

Affine hull: affM :=⋂S ∈ E | M ⊂ S, S affine .

Relative interior/boundary: C ⊂ E convex.

ri C :=x ∈ C

∣∣∣ ∃ε > 0 : Bε(x) ∩ aff C ⊂ C

(relative interior)

rbd C := cl C \ ri C (relative boundary)x ∈ ri C ⇔ span C = R+(C − x)

aff Cri C

C

C aff C ri C

x x x[x, x′] λx + (1 − λ)x′ | λ ∈ R (x, x′)Bε(x) E Bε(x)

Table: Examples for relative interiors

Page 24: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The topology relative to the affine hull

Affine set: A set S = U + x with x ∈ E and a subspace U ⊂ is called affine. This is characterized by

αS + (1 − α)S ⊂ S (α ∈ R).

Affine hull: affM :=⋂S ∈ E | M ⊂ S, S affine .

Relative interior/boundary: C ⊂ E convex.

ri C :=x ∈ C

∣∣∣ ∃ε > 0 : Bε(x) ∩ aff C ⊂ C

(relative interior)rbd C := cl C \ ri C (relative boundary)

x ∈ ri C ⇔ span C = R+(C − x)

aff Cri C

C

C aff C ri C

x x x[x, x′] λx + (1 − λ)x′ | λ ∈ R (x, x′)Bε(x) E Bε(x)

Table: Examples for relative interiors

Page 25: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The topology relative to the affine hull

Affine set: A set S = U + x with x ∈ E and a subspace U ⊂ is called affine. This is characterized by

αS + (1 − α)S ⊂ S (α ∈ R).

Affine hull: affM :=⋂S ∈ E | M ⊂ S, S affine .

Relative interior/boundary: C ⊂ E convex.

ri C :=x ∈ C

∣∣∣ ∃ε > 0 : Bε(x) ∩ aff C ⊂ C

(relative interior)rbd C := cl C \ ri C (relative boundary)

x ∈ ri C ⇔ span C = R+(C − x)

aff Cri C

C

C aff C ri C

x x x[x, x′] λx + (1 − λ)x′ | λ ∈ R (x, x′)Bε(x) E Bε(x)

Table: Examples for relative interiors

Page 26: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The horizon coneDefinition 2 (Horizon cone).

For a nonempty set S ⊂ E the set

S∞ := v ∈ E | ∃xk ∈ S, tk ↓ 0 : tk xk → v

is called the horizon cone of S. We put ∅∞ := 0.

C

C∞

Figure: The horizon cone of an unbounded, nonconvex set

Proposition 3 (The convex case).

Let C ⊂ E be nonempty and convex. Then C∞ = v | ∀x ∈ cl C , λ ≥ 0 : x + λv ∈ cl C . In particular, C∞

is (a closed and) convex (cone) if C is convex.

Page 27: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The horizon coneDefinition 2 (Horizon cone).

For a nonempty set S ⊂ E the set

S∞ := v ∈ E | ∃xk ∈ S, tk ↓ 0 : tk xk → v

is called the horizon cone of S. We put ∅∞ := 0.

C

C∞

Figure: The horizon cone of an unbounded, nonconvex set

Proposition 3 (The convex case).

Let C ⊂ E be nonempty and convex. Then C∞ = v | ∀x ∈ cl C , λ ≥ 0 : x + λv ∈ cl C . In particular, C∞

is (a closed and) convex (cone) if C is convex.

Page 28: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

The horizon coneDefinition 2 (Horizon cone).

For a nonempty set S ⊂ E the set

S∞ := v ∈ E | ∃xk ∈ S, tk ↓ 0 : tk xk → v

is called the horizon cone of S. We put ∅∞ := 0.

C

C∞

Figure: The horizon cone of an unbounded, nonconvex set

Proposition 3 (The convex case).

Let C ⊂ E be nonempty and convex. Then C∞ = v | ∀x ∈ cl C , λ ≥ 0 : x + λv ∈ cl C . In particular, C∞

is (a closed and) convex (cone) if C is convex.

Page 29: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Extended real-valued functions: An epigraphical perspective

Let f : E→ R := R ∪ ±∞.

epi f :=(x, α) ∈ E × R

∣∣∣ f(x) ≤ α

(epigraph)

epi <f :=(x, α) ∈ E × R

∣∣∣ f(x) < α

(strict epigraph)

dom f :=x ∈ E

∣∣∣ f(x) < ∞

(domain).

→ f is uniquely determined through epi f !

gph f

epi f

x

f(x)

Figure: Epigraph of f : R→ R

f proper :⇔ −∞ < f . +∞ ⇔ 1 dom f , ∅

f convex :⇔ epi f/epi <f convex ⇔ 1 f(λx + (1 − λ)y) ≤ λf(x) + (1 − λ)f(y) (x, y ∈ E, λ ∈ [0, 1])

f pos. hom. :⇔ 1 epi f cone ⇔ αf(x) = f(αx) (x ∈ E, α ≥ 0)

f sublinear :⇔ 1 epi f cvx. cone ⇔ f(λx + µy) ≤ λf(x) + µf(y) (x, y ∈ E, λ, µ ≥ 0).

⇔ f convex + positively homogeneous

1Only for f : E→ R ∪ +∞

Page 30: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Extended real-valued functions: An epigraphical perspective

Let f : E→ R := R ∪ ±∞.

epi f :=(x, α) ∈ E × R

∣∣∣ f(x) ≤ α

(epigraph)

epi <f :=(x, α) ∈ E × R

∣∣∣ f(x) < α

(strict epigraph)

dom f :=x ∈ E

∣∣∣ f(x) < ∞

(domain).

→ f is uniquely determined through epi f !

gph f

epi f

x

f(x)

Figure: Epigraph of f : R→ R

f proper :⇔ −∞ < f . +∞ ⇔ 1 dom f , ∅

f convex :⇔ epi f/epi <f convex ⇔ 1 f(λx + (1 − λ)y) ≤ λf(x) + (1 − λ)f(y) (x, y ∈ E, λ ∈ [0, 1])

f pos. hom. :⇔ 1 epi f cone ⇔ αf(x) = f(αx) (x ∈ E, α ≥ 0)

f sublinear :⇔ 1 epi f cvx. cone ⇔ f(λx + µy) ≤ λf(x) + µf(y) (x, y ∈ E, λ, µ ≥ 0).

⇔ f convex + positively homogeneous

1Only for f : E→ R ∪ +∞

Page 31: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Extended real-valued functions: An epigraphical perspective

Let f : E→ R := R ∪ ±∞.

epi f :=(x, α) ∈ E × R

∣∣∣ f(x) ≤ α

(epigraph)

epi <f :=(x, α) ∈ E × R

∣∣∣ f(x) < α

(strict epigraph)

dom f :=x ∈ E

∣∣∣ f(x) < ∞

(domain).

→ f is uniquely determined through epi f !

gph f

epi f

x

f(x)

Figure: Epigraph of f : R→ R

f proper :⇔ −∞ < f . +∞ ⇔ 1 dom f , ∅

f convex :⇔ epi f/epi <f convex ⇔ 1 f(λx + (1 − λ)y) ≤ λf(x) + (1 − λ)f(y) (x, y ∈ E, λ ∈ [0, 1])

f pos. hom. :⇔ 1 epi f cone ⇔ αf(x) = f(αx) (x ∈ E, α ≥ 0)

f sublinear :⇔ 1 epi f cvx. cone ⇔ f(λx + µy) ≤ λf(x) + µf(y) (x, y ∈ E, λ, µ ≥ 0).

⇔ f convex + positively homogeneous

1Only for f : E→ R ∪ +∞

Page 32: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Extended real-valued functions: An epigraphical perspective

Let f : E→ R := R ∪ ±∞.

epi f :=(x, α) ∈ E × R

∣∣∣ f(x) ≤ α

(epigraph)

epi <f :=(x, α) ∈ E × R

∣∣∣ f(x) < α

(strict epigraph)

dom f :=x ∈ E

∣∣∣ f(x) < ∞

(domain).

→ f is uniquely determined through epi f !

gph f

epi f

x

f(x)

Figure: Epigraph of f : R→ R

f proper :⇔ −∞ < f . +∞ ⇔ 1 dom f , ∅

f convex :⇔ epi f/epi <f convex ⇔ 1 f(λx + (1 − λ)y) ≤ λf(x) + (1 − λ)f(y) (x, y ∈ E, λ ∈ [0, 1])

f pos. hom. :⇔ 1 epi f cone ⇔ αf(x) = f(αx) (x ∈ E, α ≥ 0)

f sublinear :⇔ 1 epi f cvx. cone ⇔ f(λx + µy) ≤ λf(x) + µf(y) (x, y ∈ E, λ, µ ≥ 0).

⇔ f convex + positively homogeneous

1Only for f : E→ R ∪ +∞

Page 33: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Extended real-valued functions: An epigraphical perspective

Let f : E→ R := R ∪ ±∞.

epi f :=(x, α) ∈ E × R

∣∣∣ f(x) ≤ α

(epigraph)

epi <f :=(x, α) ∈ E × R

∣∣∣ f(x) < α

(strict epigraph)

dom f :=x ∈ E

∣∣∣ f(x) < ∞

(domain).

→ f is uniquely determined through epi f !

gph f

epi f

x

f(x)

Figure: Epigraph of f : R→ R

f proper :⇔ −∞ < f . +∞ ⇔ 1 dom f , ∅

f convex :⇔ epi f/epi <f convex ⇔ 1 f(λx + (1 − λ)y) ≤ λf(x) + (1 − λ)f(y) (x, y ∈ E, λ ∈ [0, 1])

f pos. hom. :⇔ 1 epi f cone ⇔ αf(x) = f(αx) (x ∈ E, α ≥ 0)

f sublinear :⇔ 1 epi f cvx. cone ⇔ f(λx + µy) ≤ λf(x) + µf(y) (x, y ∈ E, λ, µ ≥ 0).

⇔ f convex + positively homogeneous

1Only for f : E→ R ∪ +∞

Page 34: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Extended real-valued functions: An epigraphical perspective

Let f : E→ R := R ∪ ±∞.

epi f :=(x, α) ∈ E × R

∣∣∣ f(x) ≤ α

(epigraph)

epi <f :=(x, α) ∈ E × R

∣∣∣ f(x) < α

(strict epigraph)

dom f :=x ∈ E

∣∣∣ f(x) < ∞

(domain).

→ f is uniquely determined through epi f !

gph f

epi f

x

f(x)

Figure: Epigraph of f : R→ R

f proper :⇔ −∞ < f . +∞ ⇔ 1 dom f , ∅

f convex :⇔ epi f/epi <f convex ⇔ 1 f(λx + (1 − λ)y) ≤ λf(x) + (1 − λ)f(y) (x, y ∈ E, λ ∈ [0, 1])

f pos. hom. :⇔ 1 epi f cone ⇔ αf(x) = f(αx) (x ∈ E, α ≥ 0)

f sublinear :⇔ 1 epi f cvx. cone ⇔ f(λx + µy) ≤ λf(x) + µf(y) (x, y ∈ E, λ, µ ≥ 0).

⇔ f convex + positively homogeneous

1Only for f : E→ R ∪ +∞

Page 35: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Extended real-valued functions: An epigraphical perspective

Let f : E→ R := R ∪ ±∞.

epi f :=(x, α) ∈ E × R

∣∣∣ f(x) ≤ α

(epigraph)

epi <f :=(x, α) ∈ E × R

∣∣∣ f(x) < α

(strict epigraph)

dom f :=x ∈ E

∣∣∣ f(x) < ∞

(domain).

→ f is uniquely determined through epi f !

gph f

epi f

x

f(x)

Figure: Epigraph of f : R→ R

f proper :⇔ −∞ < f . +∞ ⇔ 1 dom f , ∅

f convex :⇔ epi f/epi <f convex ⇔ 1 f(λx + (1 − λ)y) ≤ λf(x) + (1 − λ)f(y) (x, y ∈ E, λ ∈ [0, 1])

f pos. hom. :⇔ 1 epi f cone ⇔ αf(x) = f(αx) (x ∈ E, α ≥ 0)

f sublinear :⇔ 1 epi f cvx. cone ⇔ f(λx + µy) ≤ λf(x) + µf(y) (x, y ∈ E, λ, µ ≥ 0).

⇔ f convex + positively homogeneous

1Only for f : E→ R ∪ +∞

Page 36: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Extended real-valued functions: An epigraphical perspective

Let f : E→ R := R ∪ ±∞.

epi f :=(x, α) ∈ E × R

∣∣∣ f(x) ≤ α

(epigraph)

epi <f :=(x, α) ∈ E × R

∣∣∣ f(x) < α

(strict epigraph)

dom f :=x ∈ E

∣∣∣ f(x) < ∞

(domain).

→ f is uniquely determined through epi f !

gph f

epi f

x

f(x)

Figure: Epigraph of f : R→ R

f proper :⇔ −∞ < f . +∞ ⇔ 1 dom f , ∅

f convex :⇔ epi f/epi <f convex ⇔ 1 f(λx + (1 − λ)y) ≤ λf(x) + (1 − λ)f(y) (x, y ∈ E, λ ∈ [0, 1])

f pos. hom. :⇔ 1 epi f cone ⇔ αf(x) = f(αx) (x ∈ E, α ≥ 0)

f sublinear :⇔ 1 epi f cvx. cone ⇔ f(λx + µy) ≤ λf(x) + µf(y) (x, y ∈ E, λ, µ ≥ 0).

⇔ f convex + positively homogeneous

1Only for f : E→ R ∪ +∞

Page 37: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Lower semicontinuity

Let f : E→ R and x ∈ E.

Lower limit:lim infx→x f(x) := inf

α

∣∣∣ ∃ xk → x : f(xk )→ α

Lower semicontinuity: f is said to be lsc (or closed) at x if

lim infx→x

f(x) ≥ f(x).

Closure: cl f : E→ R, (cl f)(x) := lim infx→x f(x).

xx

f(x)

Figure: f not lsc at x

Facts:

f lsc ⇐⇒ epi f closed ⇐⇒ f = cl f ⇐⇒ levr fclosed (r ∈ R)

cl f ≤ f

f proper, lsc and coercive (i.e. lim‖x‖→∞ f(x) = ∞) then:

argminE

f , ∅ and infE

f ∈ R

epi f

x

f(x)

Figure: f : x 7→

1x x > 0,

+∞, else.

Page 38: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Lower semicontinuity

Let f : E→ R and x ∈ E.

Lower limit:lim infx→x f(x) := inf

α

∣∣∣ ∃ xk → x : f(xk )→ α

Lower semicontinuity: f is said to be lsc (or closed) at x if

lim infx→x

f(x) ≥ f(x).

Closure: cl f : E→ R, (cl f)(x) := lim infx→x f(x).

xx

f(x)

Figure: f not lsc at x

Facts:

f lsc ⇐⇒ epi f closed ⇐⇒ f = cl f ⇐⇒ levr fclosed (r ∈ R)

cl f ≤ f

f proper, lsc and coercive (i.e. lim‖x‖→∞ f(x) = ∞) then:

argminE

f , ∅ and infE

f ∈ R

epi f

x

f(x)

Figure: f : x 7→

1x x > 0,

+∞, else.

Page 39: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Lower semicontinuity

Let f : E→ R and x ∈ E.

Lower limit:lim infx→x f(x) := inf

α

∣∣∣ ∃ xk → x : f(xk )→ α

Lower semicontinuity: f is said to be lsc (or closed) at x if

lim infx→x

f(x) ≥ f(x).

Closure: cl f : E→ R, (cl f)(x) := lim infx→x f(x).

xx

f(x)

Figure: f not lsc at x

Facts:

f lsc ⇐⇒ epi f closed ⇐⇒ f = cl f ⇐⇒ levr fclosed (r ∈ R)

cl f ≤ f

f proper, lsc and coercive (i.e. lim‖x‖→∞ f(x) = ∞) then:

argminE

f , ∅ and infE

f ∈ R

epi f

x

f(x)

Figure: f : x 7→

1x x > 0,

+∞, else.

Page 40: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Lower semicontinuity

Let f : E→ R and x ∈ E.

Lower limit:lim infx→x f(x) := inf

α

∣∣∣ ∃ xk → x : f(xk )→ α

Lower semicontinuity: f is said to be lsc (or closed) at x if

lim infx→x

f(x) ≥ f(x).

Closure: cl f : E→ R, (cl f)(x) := lim infx→x f(x).

xx

f(x)

Figure: f not lsc at x

Facts:

f lsc ⇐⇒ epi f closed ⇐⇒ f = cl f ⇐⇒ levr fclosed (r ∈ R)

cl f ≤ f

f proper, lsc and coercive (i.e. lim‖x‖→∞ f(x) = ∞) then:

argminE

f , ∅ and infE

f ∈ R

epi f

x

f(x)

Figure: f : x 7→

1x x > 0,

+∞, else.

Page 41: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Lower semicontinuity

Let f : E→ R and x ∈ E.

Lower limit:lim infx→x f(x) := inf

α

∣∣∣ ∃ xk → x : f(xk )→ α

Lower semicontinuity: f is said to be lsc (or closed) at x if

lim infx→x

f(x) ≥ f(x).

Closure: cl f : E→ R, (cl f)(x) := lim infx→x f(x).

xx

f(x)

Figure: f not lsc at x

Facts:

f lsc ⇐⇒ epi f closed ⇐⇒ f = cl f ⇐⇒ levr fclosed (r ∈ R)

cl f ≤ f

f proper, lsc and coercive (i.e. lim‖x‖→∞ f(x) = ∞) then:

argminE

f , ∅ and infE

f ∈ R

epi f

x

f(x)

Figure: f : x 7→

1x x > 0,

+∞, else.

Page 42: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Lower semicontinuity

Let f : E→ R and x ∈ E.

Lower limit:lim infx→x f(x) := inf

α

∣∣∣ ∃ xk → x : f(xk )→ α

Lower semicontinuity: f is said to be lsc (or closed) at x if

lim infx→x

f(x) ≥ f(x).

Closure: cl f : E→ R, (cl f)(x) := lim infx→x f(x).

xx

f(x)

Figure: f not lsc at x

Facts:

f lsc ⇐⇒ epi f closed ⇐⇒ f = cl f ⇐⇒ levr fclosed (r ∈ R)

cl f ≤ f

f proper, lsc and coercive (i.e. lim‖x‖→∞ f(x) = ∞) then:

argminE

f , ∅ and infE

f ∈ R

epi f

x

f(x)

Figure: f : x 7→

1x x > 0,

+∞, else.

Page 43: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Lower semicontinuity

Let f : E→ R and x ∈ E.

Lower limit:lim infx→x f(x) := inf

α

∣∣∣ ∃ xk → x : f(xk )→ α

Lower semicontinuity: f is said to be lsc (or closed) at x if

lim infx→x

f(x) ≥ f(x).

Closure: cl f : E→ R, (cl f)(x) := lim infx→x f(x).

xx

f(x)

Figure: f not lsc at x

Facts:

f lsc ⇐⇒ epi f closed ⇐⇒ f = cl f ⇐⇒ levr fclosed (r ∈ R)

cl f ≤ f

f proper, lsc and coercive (i.e. lim‖x‖→∞ f(x) = ∞) then:

argminE

f , ∅ and infE

f ∈ R

epi f

x

f(x)

Figure: f : x 7→

1x x > 0,

+∞, else.

Page 44: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convexity preserving operations - new from old

1 Set Operations

For C ,Ci (i ∈ I) ⊂ E, D ⊂ E′ convex, F : E→ E′ affine the following sets are convex:

F(C) (affine image) F−1(D) (affine pre-image) C × D (Cartesian product) C1 + C2 (Minkowski sum)

⋂i∈I Ci (Intersection)

2 Functional operationsFor fi , g : E→ R convex and F : E′ → E affine the following functions are convex:

(Affine pre-composition) f := g F : epi f = T−1(epi g), T : (x, α) 7→ (T(x), α)

(Pointwise supremum) f := supi∈I fi : epi f =⋂

i∈I epi fi

(Moreau envelope) f := eλg : x 7→ infu

g(u) + 1

2λ ‖x − u‖2: epi f = epi g + epi 1

2 ‖ · ‖2.

Page 45: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convexity preserving operations - new from old

1 Set Operations

For C ,Ci (i ∈ I) ⊂ E, D ⊂ E′ convex, F : E→ E′ affine the following sets are convex:

F(C) (affine image)

F−1(D) (affine pre-image) C × D (Cartesian product) C1 + C2 (Minkowski sum)

⋂i∈I Ci (Intersection)

2 Functional operationsFor fi , g : E→ R convex and F : E′ → E affine the following functions are convex:

(Affine pre-composition) f := g F : epi f = T−1(epi g), T : (x, α) 7→ (T(x), α)

(Pointwise supremum) f := supi∈I fi : epi f =⋂

i∈I epi fi

(Moreau envelope) f := eλg : x 7→ infu

g(u) + 1

2λ ‖x − u‖2: epi f = epi g + epi 1

2 ‖ · ‖2.

Page 46: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convexity preserving operations - new from old

1 Set Operations

For C ,Ci (i ∈ I) ⊂ E, D ⊂ E′ convex, F : E→ E′ affine the following sets are convex:

F(C) (affine image) F−1(D) (affine pre-image)

C × D (Cartesian product) C1 + C2 (Minkowski sum)

⋂i∈I Ci (Intersection)

2 Functional operationsFor fi , g : E→ R convex and F : E′ → E affine the following functions are convex:

(Affine pre-composition) f := g F : epi f = T−1(epi g), T : (x, α) 7→ (T(x), α)

(Pointwise supremum) f := supi∈I fi : epi f =⋂

i∈I epi fi

(Moreau envelope) f := eλg : x 7→ infu

g(u) + 1

2λ ‖x − u‖2: epi f = epi g + epi 1

2 ‖ · ‖2.

Page 47: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convexity preserving operations - new from old

1 Set Operations

For C ,Ci (i ∈ I) ⊂ E, D ⊂ E′ convex, F : E→ E′ affine the following sets are convex:

F(C) (affine image) F−1(D) (affine pre-image) C × D (Cartesian product)

C1 + C2 (Minkowski sum)

⋂i∈I Ci (Intersection)

2 Functional operationsFor fi , g : E→ R convex and F : E′ → E affine the following functions are convex:

(Affine pre-composition) f := g F : epi f = T−1(epi g), T : (x, α) 7→ (T(x), α)

(Pointwise supremum) f := supi∈I fi : epi f =⋂

i∈I epi fi

(Moreau envelope) f := eλg : x 7→ infu

g(u) + 1

2λ ‖x − u‖2: epi f = epi g + epi 1

2 ‖ · ‖2.

Page 48: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convexity preserving operations - new from old

1 Set Operations

For C ,Ci (i ∈ I) ⊂ E, D ⊂ E′ convex, F : E→ E′ affine the following sets are convex:

F(C) (affine image) F−1(D) (affine pre-image) C × D (Cartesian product) C1 + C2 (Minkowski sum)

i∈I Ci (Intersection)

2 Functional operationsFor fi , g : E→ R convex and F : E′ → E affine the following functions are convex:

(Affine pre-composition) f := g F : epi f = T−1(epi g), T : (x, α) 7→ (T(x), α)

(Pointwise supremum) f := supi∈I fi : epi f =⋂

i∈I epi fi

(Moreau envelope) f := eλg : x 7→ infu

g(u) + 1

2λ ‖x − u‖2: epi f = epi g + epi 1

2 ‖ · ‖2.

Page 49: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convexity preserving operations - new from old

1 Set Operations

For C ,Ci (i ∈ I) ⊂ E, D ⊂ E′ convex, F : E→ E′ affine the following sets are convex:

F(C) (affine image) F−1(D) (affine pre-image) C × D (Cartesian product) C1 + C2 (Minkowski sum)

⋂i∈I Ci (Intersection)

2 Functional operationsFor fi , g : E→ R convex and F : E′ → E affine the following functions are convex:

(Affine pre-composition) f := g F : epi f = T−1(epi g), T : (x, α) 7→ (T(x), α)

(Pointwise supremum) f := supi∈I fi : epi f =⋂

i∈I epi fi

(Moreau envelope) f := eλg : x 7→ infu

g(u) + 1

2λ ‖x − u‖2: epi f = epi g + epi 1

2 ‖ · ‖2.

Page 50: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convexity preserving operations - new from old

1 Set Operations

For C ,Ci (i ∈ I) ⊂ E, D ⊂ E′ convex, F : E→ E′ affine the following sets are convex:

F(C) (affine image) F−1(D) (affine pre-image) C × D (Cartesian product) C1 + C2 (Minkowski sum)

⋂i∈I Ci (Intersection)

2 Functional operationsFor fi , g : E→ R convex and F : E′ → E affine the following functions are convex:

(Affine pre-composition) f := g F : epi f = T−1(epi g), T : (x, α) 7→ (T(x), α)

(Pointwise supremum) f := supi∈I fi : epi f =⋂

i∈I epi fi

(Moreau envelope) f := eλg : x 7→ infu

g(u) + 1

2λ ‖x − u‖2: epi f = epi g + epi 1

2 ‖ · ‖2.

Page 51: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convexity preserving operations - new from old

1 Set Operations

For C ,Ci (i ∈ I) ⊂ E, D ⊂ E′ convex, F : E→ E′ affine the following sets are convex:

F(C) (affine image) F−1(D) (affine pre-image) C × D (Cartesian product) C1 + C2 (Minkowski sum)

⋂i∈I Ci (Intersection)

2 Functional operationsFor fi , g : E→ R convex and F : E′ → E affine the following functions are convex:

(Affine pre-composition) f := g F : epi f = T−1(epi g), T : (x, α) 7→ (T(x), α)

(Pointwise supremum) f := supi∈I fi : epi f =⋂

i∈I epi fi

(Moreau envelope) f := eλg : x 7→ infu

g(u) + 1

2λ ‖x − u‖2: epi f = epi g + epi 1

2 ‖ · ‖2.

Page 52: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convexity preserving operations - new from old

1 Set Operations

For C ,Ci (i ∈ I) ⊂ E, D ⊂ E′ convex, F : E→ E′ affine the following sets are convex:

F(C) (affine image) F−1(D) (affine pre-image) C × D (Cartesian product) C1 + C2 (Minkowski sum)

⋂i∈I Ci (Intersection)

2 Functional operationsFor fi , g : E→ R convex and F : E′ → E affine the following functions are convex:

(Affine pre-composition) f := g F : epi f = T−1(epi g), T : (x, α) 7→ (T(x), α)

(Pointwise supremum) f := supi∈I fi : epi f =⋂

i∈I epi fi

(Moreau envelope) f := eλg : x 7→ infu

g(u) + 1

2λ ‖x − u‖2: epi f = epi g + epi 1

2 ‖ · ‖2.

Page 53: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Convex sets and functions

Convexity preserving operations - new from old

1 Set Operations

For C ,Ci (i ∈ I) ⊂ E, D ⊂ E′ convex, F : E→ E′ affine the following sets are convex:

F(C) (affine image) F−1(D) (affine pre-image) C × D (Cartesian product) C1 + C2 (Minkowski sum)

⋂i∈I Ci (Intersection)

2 Functional operationsFor fi , g : E→ R convex and F : E′ → E affine the following functions are convex:

(Affine pre-composition) f := g F : epi f = T−1(epi g), T : (x, α) 7→ (T(x), α)

(Pointwise supremum) f := supi∈I fi : epi f =⋂

i∈I epi fi

(Moreau envelope) f := eλg : x 7→ infu

g(u) + 1

2λ ‖x − u‖2: epi f = epi g + epi 1

2 ‖ · ‖2.

Page 54: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The convex subdifferentialDefinition 4.Let f : E→ R. A vector v ∈ E is called a subgradient of v at x if

f(x) ≥ f(x) + 〈v , x − x〉 (x ∈ E). (1)

We denote by ∂f(x) the set of all subgradients of f at x and call it the (convex) subdifferential of f at x.

The inequality (1) is referred to as subgradient inequality.

Slogan: ”The subgradients of f at x are the slopes of affine minorants of f that coincide with f at x”.

The subdifferential operator is a set-valued mapping ∂f : E⇒ E. Set

dom ∂f :=x ∈ E

∣∣∣ ∂f(x) , ∅.

0 ∈ ∂f(x) ⇐⇒ x ∈ argminE f (Fermat’s rule)

∂f(x) closed and convex (x ∈ E)

∂f(x) is a singleton ⇐⇒ f differentiable at x ⇐⇒ f continuously differentiable at x

ri (dom f) ⊂ dom ∂f ⊂ dom f (f convex).

Page 55: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The convex subdifferentialDefinition 4.Let f : E→ R. A vector v ∈ E is called a subgradient of v at x if

f(x) ≥ f(x) + 〈v , x − x〉 (x ∈ E). (1)

We denote by ∂f(x) the set of all subgradients of f at x and call it the (convex) subdifferential of f at x.

The inequality (1) is referred to as subgradient inequality.

Slogan: ”The subgradients of f at x are the slopes of affine minorants of f that coincide with f at x”.

The subdifferential operator is a set-valued mapping ∂f : E⇒ E. Set

dom ∂f :=x ∈ E

∣∣∣ ∂f(x) , ∅.

0 ∈ ∂f(x) ⇐⇒ x ∈ argminE f (Fermat’s rule)

∂f(x) closed and convex (x ∈ E)

∂f(x) is a singleton ⇐⇒ f differentiable at x ⇐⇒ f continuously differentiable at x

ri (dom f) ⊂ dom ∂f ⊂ dom f (f convex).

Page 56: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The convex subdifferentialDefinition 4.Let f : E→ R. A vector v ∈ E is called a subgradient of v at x if

f(x) ≥ f(x) + 〈v , x − x〉 (x ∈ E). (1)

We denote by ∂f(x) the set of all subgradients of f at x and call it the (convex) subdifferential of f at x.

The inequality (1) is referred to as subgradient inequality.

Slogan: ”The subgradients of f at x are the slopes of affine minorants of f that coincide with f at x”.

The subdifferential operator is a set-valued mapping ∂f : E⇒ E. Set

dom ∂f :=x ∈ E

∣∣∣ ∂f(x) , ∅.

0 ∈ ∂f(x) ⇐⇒ x ∈ argminE f (Fermat’s rule)

∂f(x) closed and convex (x ∈ E)

∂f(x) is a singleton ⇐⇒ f differentiable at x ⇐⇒ f continuously differentiable at x

ri (dom f) ⊂ dom ∂f ⊂ dom f (f convex).

Page 57: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The convex subdifferentialDefinition 4.Let f : E→ R. A vector v ∈ E is called a subgradient of v at x if

f(x) ≥ f(x) + 〈v , x − x〉 (x ∈ E). (1)

We denote by ∂f(x) the set of all subgradients of f at x and call it the (convex) subdifferential of f at x.

The inequality (1) is referred to as subgradient inequality.

Slogan: ”The subgradients of f at x are the slopes of affine minorants of f that coincide with f at x”.

The subdifferential operator is a set-valued mapping ∂f : E⇒ E. Set

dom ∂f :=x ∈ E

∣∣∣ ∂f(x) , ∅.

0 ∈ ∂f(x) ⇐⇒ x ∈ argminE f (Fermat’s rule)

∂f(x) closed and convex (x ∈ E)

∂f(x) is a singleton ⇐⇒ f differentiable at x ⇐⇒ f continuously differentiable at x

ri (dom f) ⊂ dom ∂f ⊂ dom f (f convex).

Page 58: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The convex subdifferentialDefinition 4.Let f : E→ R. A vector v ∈ E is called a subgradient of v at x if

f(x) ≥ f(x) + 〈v , x − x〉 (x ∈ E). (1)

We denote by ∂f(x) the set of all subgradients of f at x and call it the (convex) subdifferential of f at x.

The inequality (1) is referred to as subgradient inequality.

Slogan: ”The subgradients of f at x are the slopes of affine minorants of f that coincide with f at x”.

The subdifferential operator is a set-valued mapping ∂f : E⇒ E. Set

dom ∂f :=x ∈ E

∣∣∣ ∂f(x) , ∅.

0 ∈ ∂f(x) ⇐⇒ x ∈ argminE f (Fermat’s rule)

∂f(x) closed and convex (x ∈ E)

∂f(x) is a singleton ⇐⇒ f differentiable at x ⇐⇒ f continuously differentiable at x

ri (dom f) ⊂ dom ∂f ⊂ dom f (f convex).

Page 59: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The convex subdifferentialDefinition 4.Let f : E→ R. A vector v ∈ E is called a subgradient of v at x if

f(x) ≥ f(x) + 〈v , x − x〉 (x ∈ E). (1)

We denote by ∂f(x) the set of all subgradients of f at x and call it the (convex) subdifferential of f at x.

The inequality (1) is referred to as subgradient inequality.

Slogan: ”The subgradients of f at x are the slopes of affine minorants of f that coincide with f at x”.

The subdifferential operator is a set-valued mapping ∂f : E⇒ E. Set

dom ∂f :=x ∈ E

∣∣∣ ∂f(x) , ∅.

0 ∈ ∂f(x) ⇐⇒ x ∈ argminE f (Fermat’s rule)

∂f(x) closed and convex (x ∈ E)

∂f(x) is a singleton ⇐⇒ f differentiable at x ⇐⇒ f continuously differentiable at x

ri (dom f) ⊂ dom ∂f ⊂ dom f (f convex).

Page 60: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Examples of subdifferentiation(Indicator function/Normal cone) Let S ⊂ E.

Indicator function of S:

δS : E→ R ∪ +∞, δS (x) :=

0, x ∈ S,

+∞, else.

∂δS (x) =v

∣∣∣ δC (x) ≥ δC (x) + 〈v , x − x〉 (x ∈ E)

=v ∈ E

∣∣∣ 〈v , x − x〉 ≤ 0 (x ∈ S)

=: NS (x) (x ∈ S)

S

NS (0)

Figure: Normal cone

(Euclidean norm) ‖ · ‖ :=√〈·, ·〉. Then

∂‖ · ‖(x) =

x‖x‖

if x , 0,

B if x = 0.

(Empty subdifferential)

f : x ∈ R 7→−√

x if x ≥ 0,+∞ else.

∂f(x) =

− 1

2√

x

, x > 0,

∅, else.

Page 61: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Examples of subdifferentiation(Indicator function/Normal cone) Let S ⊂ E.

Indicator function of S:

δS : E→ R ∪ +∞, δS (x) :=

0, x ∈ S,

+∞, else.

∂δS (x) =v

∣∣∣ δC (x) ≥ δC (x) + 〈v , x − x〉 (x ∈ E)

=v ∈ E

∣∣∣ 〈v , x − x〉 ≤ 0 (x ∈ S)

=: NS (x) (x ∈ S)

S

NS (0)

Figure: Normal cone

(Euclidean norm) ‖ · ‖ :=√〈·, ·〉. Then

∂‖ · ‖(x) =

x‖x‖

if x , 0,

B if x = 0.

(Empty subdifferential)

f : x ∈ R 7→−√

x if x ≥ 0,+∞ else.

∂f(x) =

− 1

2√

x

, x > 0,

∅, else.

Page 62: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Examples of subdifferentiation(Indicator function/Normal cone) Let S ⊂ E.

Indicator function of S:

δS : E→ R ∪ +∞, δS (x) :=

0, x ∈ S,

+∞, else.

∂δS (x) =v

∣∣∣ δC (x) ≥ δC (x) + 〈v , x − x〉 (x ∈ E)

=v ∈ E

∣∣∣ 〈v , x − x〉 ≤ 0 (x ∈ S)

=: NS (x) (x ∈ S)

S

NS (0)

Figure: Normal cone

(Euclidean norm) ‖ · ‖ :=√〈·, ·〉. Then

∂‖ · ‖(x) =

x‖x‖

if x , 0,

B if x = 0.

(Empty subdifferential)

f : x ∈ R 7→−√

x if x ≥ 0,+∞ else.

∂f(x) =

− 1

2√

x

, x > 0,

∅, else.

Page 63: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Examples of subdifferentiation(Indicator function/Normal cone) Let S ⊂ E.

Indicator function of S:

δS : E→ R ∪ +∞, δS (x) :=

0, x ∈ S,

+∞, else.

∂δS (x) =v

∣∣∣ δC (x) ≥ δC (x) + 〈v , x − x〉 (x ∈ E)

=v ∈ E

∣∣∣ 〈v , x − x〉 ≤ 0 (x ∈ S)

=: NS (x) (x ∈ S)

S

NS (0)

Figure: Normal cone

(Euclidean norm) ‖ · ‖ :=√〈·, ·〉. Then

∂‖ · ‖(x) =

x‖x‖

if x , 0,

B if x = 0.

(Empty subdifferential)

f : x ∈ R 7→−√

x if x ≥ 0,+∞ else.

∂f(x) =

− 1

2√

x

, x > 0,

∅, else.

Page 64: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Examples of subdifferentiation(Indicator function/Normal cone) Let S ⊂ E.

Indicator function of S:

δS : E→ R ∪ +∞, δS (x) :=

0, x ∈ S,

+∞, else.

∂δS (x) =v

∣∣∣ δC (x) ≥ δC (x) + 〈v , x − x〉 (x ∈ E)

=v ∈ E

∣∣∣ 〈v , x − x〉 ≤ 0 (x ∈ S)

=: NS (x) (x ∈ S)

S

NS (0)

Figure: Normal cone

(Euclidean norm) ‖ · ‖ :=√〈·, ·〉. Then

∂‖ · ‖(x) =

x‖x‖

if x , 0,

B if x = 0.

(Empty subdifferential)

f : x ∈ R 7→−√

x if x ≥ 0,+∞ else.

∂f(x) =

− 1

2√

x

, x > 0,

∅, else.

Page 65: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Examples of subdifferentiation(Indicator function/Normal cone) Let S ⊂ E.

Indicator function of S:

δS : E→ R ∪ +∞, δS (x) :=

0, x ∈ S,

+∞, else.

∂δS (x) =v

∣∣∣ δC (x) ≥ δC (x) + 〈v , x − x〉 (x ∈ E)

=v ∈ E

∣∣∣ 〈v , x − x〉 ≤ 0 (x ∈ S)

=: NS (x) (x ∈ S)

S

NS (0)

Figure: Normal cone

(Euclidean norm) ‖ · ‖ :=√〈·, ·〉. Then

∂‖ · ‖(x) =

x‖x‖

if x , 0,

B if x = 0.

(Empty subdifferential)

f : x ∈ R 7→−√

x if x ≥ 0,+∞ else.

∂f(x) =

− 1

2√

x

, x > 0,

∅, else.

Page 66: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The Fenchel conjugate

For f : E→ R∪ +∞ let f∗ : E→ R be the function whose epigraph encodes the affine minorants of epi f :

epi f∗ !=

(v , β)

∣∣∣ 〈v , x〉 − β ≤ f(x) (x ∈ E)

=⇒ f∗(v) ≤ β ⇐⇒ supx∈E〈v , x〉 − f(x) ≤ β ((v , β) ∈ E × R)

=⇒ f∗(v) = supx∈E〈v , x〉 − f(x) (v ∈ E). (2)

Definition 5 (Fenchel conjugate).

Let f : E→ R proper. The function f∗ : E→ R defined through (2) is called the (Fenchel) conjugate of f .The function (f∗∗) := (f∗)∗ is called the biconjugate of f .

Define Γ :=f : E→ R | f convex and proper

and Γ0 := f ∈ Γ | f closed .

f∗ closed and convex - proper if f . +∞ with an affine minorant

f = f∗∗proper ⇐⇒ f ∈ Γ0 (Fenchel-Moreau)

f∗ = (cl f)∗ (f ∈ Γ)

f(x) + f∗(y) ≥ 〈x, y〉 (x, y ∈ E) (Fenchel-Young Inequality)

Page 67: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The Fenchel conjugate

For f : E→ R∪ +∞ let f∗ : E→ R be the function whose epigraph encodes the affine minorants of epi f :

epi f∗ !=

(v , β)

∣∣∣ 〈v , x〉 − β ≤ f(x) (x ∈ E)

=⇒ f∗(v) ≤ β ⇐⇒ supx∈E〈v , x〉 − f(x) ≤ β ((v , β) ∈ E × R)

=⇒ f∗(v) = supx∈E〈v , x〉 − f(x) (v ∈ E). (2)

Definition 5 (Fenchel conjugate).

Let f : E→ R proper. The function f∗ : E→ R defined through (2) is called the (Fenchel) conjugate of f .The function (f∗∗) := (f∗)∗ is called the biconjugate of f .

Define Γ :=f : E→ R | f convex and proper

and Γ0 := f ∈ Γ | f closed .

f∗ closed and convex - proper if f . +∞ with an affine minorant

f = f∗∗proper ⇐⇒ f ∈ Γ0 (Fenchel-Moreau)

f∗ = (cl f)∗ (f ∈ Γ)

f(x) + f∗(y) ≥ 〈x, y〉 (x, y ∈ E) (Fenchel-Young Inequality)

Page 68: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The Fenchel conjugate

For f : E→ R∪ +∞ let f∗ : E→ R be the function whose epigraph encodes the affine minorants of epi f :

epi f∗ !=

(v , β)

∣∣∣ 〈v , x〉 − β ≤ f(x) (x ∈ E)

=⇒ f∗(v) ≤ β ⇐⇒ supx∈E〈v , x〉 − f(x) ≤ β ((v , β) ∈ E × R)

=⇒ f∗(v) = supx∈E〈v , x〉 − f(x) (v ∈ E). (2)

Definition 5 (Fenchel conjugate).

Let f : E→ R proper. The function f∗ : E→ R defined through (2) is called the (Fenchel) conjugate of f .The function (f∗∗) := (f∗)∗ is called the biconjugate of f .

Define Γ :=f : E→ R | f convex and proper

and Γ0 := f ∈ Γ | f closed .

f∗ closed and convex - proper if f . +∞ with an affine minorant

f = f∗∗proper ⇐⇒ f ∈ Γ0 (Fenchel-Moreau)

f∗ = (cl f)∗ (f ∈ Γ)

f(x) + f∗(y) ≥ 〈x, y〉 (x, y ∈ E) (Fenchel-Young Inequality)

Page 69: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The Fenchel conjugate

For f : E→ R∪ +∞ let f∗ : E→ R be the function whose epigraph encodes the affine minorants of epi f :

epi f∗ !=

(v , β)

∣∣∣ 〈v , x〉 − β ≤ f(x) (x ∈ E)

=⇒ f∗(v) ≤ β ⇐⇒ supx∈E〈v , x〉 − f(x) ≤ β ((v , β) ∈ E × R)

=⇒ f∗(v) = supx∈E〈v , x〉 − f(x) (v ∈ E). (2)

Definition 5 (Fenchel conjugate).

Let f : E→ R proper. The function f∗ : E→ R defined through (2) is called the (Fenchel) conjugate of f .The function (f∗∗) := (f∗)∗ is called the biconjugate of f .

Define Γ :=f : E→ R | f convex and proper

and Γ0 := f ∈ Γ | f closed .

f∗ closed and convex - proper if f . +∞ with an affine minorant

f = f∗∗proper ⇐⇒ f ∈ Γ0 (Fenchel-Moreau)

f∗ = (cl f)∗ (f ∈ Γ)

f(x) + f∗(y) ≥ 〈x, y〉 (x, y ∈ E) (Fenchel-Young Inequality)

Page 70: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The Fenchel conjugate

For f : E→ R∪ +∞ let f∗ : E→ R be the function whose epigraph encodes the affine minorants of epi f :

epi f∗ !=

(v , β)

∣∣∣ 〈v , x〉 − β ≤ f(x) (x ∈ E)

=⇒ f∗(v) ≤ β ⇐⇒ supx∈E〈v , x〉 − f(x) ≤ β ((v , β) ∈ E × R)

=⇒ f∗(v) = supx∈E〈v , x〉 − f(x) (v ∈ E). (2)

Definition 5 (Fenchel conjugate).

Let f : E→ R proper. The function f∗ : E→ R defined through (2) is called the (Fenchel) conjugate of f .The function (f∗∗) := (f∗)∗ is called the biconjugate of f .

Define Γ :=f : E→ R | f convex and proper

and Γ0 := f ∈ Γ | f closed .

f∗ closed and convex - proper if f . +∞ with an affine minorant

f = f∗∗proper ⇐⇒ f ∈ Γ0 (Fenchel-Moreau)

f∗ = (cl f)∗ (f ∈ Γ)

f(x) + f∗(y) ≥ 〈x, y〉 (x, y ∈ E) (Fenchel-Young Inequality)

Page 71: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The Fenchel conjugate

For f : E→ R∪ +∞ let f∗ : E→ R be the function whose epigraph encodes the affine minorants of epi f :

epi f∗ !=

(v , β)

∣∣∣ 〈v , x〉 − β ≤ f(x) (x ∈ E)

=⇒ f∗(v) ≤ β ⇐⇒ supx∈E〈v , x〉 − f(x) ≤ β ((v , β) ∈ E × R)

=⇒ f∗(v) = supx∈E〈v , x〉 − f(x) (v ∈ E). (2)

Definition 5 (Fenchel conjugate).

Let f : E→ R proper. The function f∗ : E→ R defined through (2) is called the (Fenchel) conjugate of f .The function (f∗∗) := (f∗)∗ is called the biconjugate of f .

Define Γ :=f : E→ R | f convex and proper

and Γ0 := f ∈ Γ | f closed .

f∗ closed and convex - proper if f . +∞ with an affine minorant

f = f∗∗proper ⇐⇒ f ∈ Γ0 (Fenchel-Moreau)

f∗ = (cl f)∗ (f ∈ Γ)

f(x) + f∗(y) ≥ 〈x, y〉 (x, y ∈ E) (Fenchel-Young Inequality)

Page 72: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The Fenchel conjugate

For f : E→ R∪ +∞ let f∗ : E→ R be the function whose epigraph encodes the affine minorants of epi f :

epi f∗ !=

(v , β)

∣∣∣ 〈v , x〉 − β ≤ f(x) (x ∈ E)

=⇒ f∗(v) ≤ β ⇐⇒ supx∈E〈v , x〉 − f(x) ≤ β ((v , β) ∈ E × R)

=⇒ f∗(v) = supx∈E〈v , x〉 − f(x) (v ∈ E). (2)

Definition 5 (Fenchel conjugate).

Let f : E→ R proper. The function f∗ : E→ R defined through (2) is called the (Fenchel) conjugate of f .The function (f∗∗) := (f∗)∗ is called the biconjugate of f .

Define Γ :=f : E→ R | f convex and proper

and Γ0 := f ∈ Γ | f closed .

f∗ closed and convex - proper if f . +∞ with an affine minorant

f = f∗∗proper ⇐⇒ f ∈ Γ0 (Fenchel-Moreau)

f∗ = (cl f)∗ (f ∈ Γ)

f(x) + f∗(y) ≥ 〈x, y〉 (x, y ∈ E) (Fenchel-Young Inequality)

Page 73: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The Fenchel conjugate

For f : E→ R∪ +∞ let f∗ : E→ R be the function whose epigraph encodes the affine minorants of epi f :

epi f∗ !=

(v , β)

∣∣∣ 〈v , x〉 − β ≤ f(x) (x ∈ E)

=⇒ f∗(v) ≤ β ⇐⇒ supx∈E〈v , x〉 − f(x) ≤ β ((v , β) ∈ E × R)

=⇒ f∗(v) = supx∈E〈v , x〉 − f(x) (v ∈ E). (2)

Definition 5 (Fenchel conjugate).

Let f : E→ R proper. The function f∗ : E→ R defined through (2) is called the (Fenchel) conjugate of f .The function (f∗∗) := (f∗)∗ is called the biconjugate of f .

Define Γ :=f : E→ R | f convex and proper

and Γ0 := f ∈ Γ | f closed .

f∗ closed and convex - proper if f . +∞ with an affine minorant

f = f∗∗proper ⇐⇒ f ∈ Γ0 (Fenchel-Moreau)

f∗ = (cl f)∗ (f ∈ Γ)

f(x) + f∗(y) ≥ 〈x, y〉 (x, y ∈ E) (Fenchel-Young Inequality)

Page 74: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

The Fenchel conjugate

For f : E→ R∪ +∞ let f∗ : E→ R be the function whose epigraph encodes the affine minorants of epi f :

epi f∗ !=

(v , β)

∣∣∣ 〈v , x〉 − β ≤ f(x) (x ∈ E)

=⇒ f∗(v) ≤ β ⇐⇒ supx∈E〈v , x〉 − f(x) ≤ β ((v , β) ∈ E × R)

=⇒ f∗(v) = supx∈E〈v , x〉 − f(x) (v ∈ E). (2)

Definition 5 (Fenchel conjugate).

Let f : E→ R proper. The function f∗ : E→ R defined through (2) is called the (Fenchel) conjugate of f .The function (f∗∗) := (f∗)∗ is called the biconjugate of f .

Define Γ :=f : E→ R | f convex and proper

and Γ0 := f ∈ Γ | f closed .

f∗ closed and convex - proper if f . +∞ with an affine minorant

f = f∗∗proper ⇐⇒ f ∈ Γ0 (Fenchel-Moreau)

f∗ = (cl f)∗ (f ∈ Γ)

f(x) + f∗(y) ≥ 〈x, y〉 (x, y ∈ E) (Fenchel-Young Inequality)

Page 75: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Interplay of conjugation and subdifferentiation

Theorem 6 (Subdifferential and conjugate function).

Let f ∈ Γ0. TFAE:

i) y ∈ ∂f(x);

ii) f(x) + f∗(y) = 〈x, y〉;

iii) x ∈ ∂f∗(y).

In particular, ∂f∗ = (∂f)−1.

Proof.Notice that

y ∈ ∂f(x) ⇐⇒ f(z) ≥ f(x) + 〈y, z − x〉 (z ∈ E)

⇐⇒ 〈y, x〉 − f(x) ≥ supz〈y, z〉 − f(z)

⇐⇒ f(x) + f∗(y) ≤ 〈x, y〉Fenchel−Young⇐⇒ f(x) + f∗(y) = 〈x, y〉 ,

Applying the same reasoning to f∗ and noticing that f∗∗ = f if f ∈ Γ0, gives the missing equivalence.

Page 76: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Interplay of conjugation and subdifferentiation

Theorem 6 (Subdifferential and conjugate function).

Let f ∈ Γ0. TFAE:

i) y ∈ ∂f(x);

ii) f(x) + f∗(y) = 〈x, y〉;

iii) x ∈ ∂f∗(y).

In particular, ∂f∗ = (∂f)−1.

Proof.Notice that

y ∈ ∂f(x) ⇐⇒ f(z) ≥ f(x) + 〈y, z − x〉 (z ∈ E)

⇐⇒ 〈y, x〉 − f(x) ≥ supz〈y, z〉 − f(z)

⇐⇒ f(x) + f∗(y) ≤ 〈x, y〉Fenchel−Young⇐⇒ f(x) + f∗(y) = 〈x, y〉 ,

Applying the same reasoning to f∗ and noticing that f∗∗ = f if f ∈ Γ0, gives the missing equivalence.

Page 77: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Interplay of conjugation and subdifferentiation

Theorem 6 (Subdifferential and conjugate function).

Let f ∈ Γ0. TFAE:

i) y ∈ ∂f(x);

ii) f(x) + f∗(y) = 〈x, y〉;

iii) x ∈ ∂f∗(y).

In particular, ∂f∗ = (∂f)−1.

Proof.Notice that

y ∈ ∂f(x) ⇐⇒ f(z) ≥ f(x) + 〈y, z − x〉 (z ∈ E)

⇐⇒ 〈y, x〉 − f(x) ≥ supz〈y, z〉 − f(z)

⇐⇒ f(x) + f∗(y) ≤ 〈x, y〉Fenchel−Young⇐⇒ f(x) + f∗(y) = 〈x, y〉 ,

Applying the same reasoning to f∗ and noticing that f∗∗ = f if f ∈ Γ0, gives the missing equivalence.

Page 78: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Interplay of conjugation and subdifferentiation

Theorem 6 (Subdifferential and conjugate function).

Let f ∈ Γ0. TFAE:

i) y ∈ ∂f(x);

ii) f(x) + f∗(y) = 〈x, y〉;

iii) x ∈ ∂f∗(y).

In particular, ∂f∗ = (∂f)−1.

Proof.Notice that

y ∈ ∂f(x) ⇐⇒ f(z) ≥ f(x) + 〈y, z − x〉 (z ∈ E)

⇐⇒ 〈y, x〉 − f(x) ≥ supz〈y, z〉 − f(z)

⇐⇒ f(x) + f∗(y) ≤ 〈x, y〉

Fenchel−Young⇐⇒ f(x) + f∗(y) = 〈x, y〉 ,

Applying the same reasoning to f∗ and noticing that f∗∗ = f if f ∈ Γ0, gives the missing equivalence.

Page 79: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Interplay of conjugation and subdifferentiation

Theorem 6 (Subdifferential and conjugate function).

Let f ∈ Γ0. TFAE:

i) y ∈ ∂f(x);

ii) f(x) + f∗(y) = 〈x, y〉;

iii) x ∈ ∂f∗(y).

In particular, ∂f∗ = (∂f)−1.

Proof.Notice that

y ∈ ∂f(x) ⇐⇒ f(z) ≥ f(x) + 〈y, z − x〉 (z ∈ E)

⇐⇒ 〈y, x〉 − f(x) ≥ supz〈y, z〉 − f(z)

⇐⇒ f(x) + f∗(y) ≤ 〈x, y〉Fenchel−Young⇐⇒ f(x) + f∗(y) = 〈x, y〉 ,

Applying the same reasoning to f∗ and noticing that f∗∗ = f if f ∈ Γ0, gives the missing equivalence.

Page 80: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Interplay of conjugation and subdifferentiation

Theorem 6 (Subdifferential and conjugate function).

Let f ∈ Γ0. TFAE:

i) y ∈ ∂f(x);

ii) f(x) + f∗(y) = 〈x, y〉;

iii) x ∈ ∂f∗(y).

In particular, ∂f∗ = (∂f)−1.

Proof.Notice that

y ∈ ∂f(x) ⇐⇒ f(z) ≥ f(x) + 〈y, z − x〉 (z ∈ E)

⇐⇒ 〈y, x〉 − f(x) ≥ supz〈y, z〉 − f(z)

⇐⇒ f(x) + f∗(y) ≤ 〈x, y〉Fenchel−Young⇐⇒ f(x) + f∗(y) = 〈x, y〉 ,

Applying the same reasoning to f∗ and noticing that f∗∗ = f if f ∈ Γ0, gives the missing equivalence.

Page 81: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Support functions: A special case of conjugacyThe support function σS of S ⊂ E (nonempty) is defined by

σS : E→ R ∪ +∞, σS (z) := δ∗S (z) = supx∈S〈x, z〉 .

σS is finite-valued if and only if S is bounded (and nonempty)

σS = σconv S = σconv S = σcl S

σ∗S = δconv S

∂σS (x) =z ∈ conv S

∣∣∣ x ∈ Nconv S (z)

epiσS =⋂

s∈S epi 〈s, ·〉 is a nonempty, closed, convex cone, i.e. σS is proper, closed andsublinear.

Here’s the complete picture:

Theorem 7 (Hormander).

A function f : E→ R is proper, closed and sublinear if and only if it is a support function.

Proof.Blackboard/Notes.

Page 82: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Support functions: A special case of conjugacyThe support function σS of S ⊂ E (nonempty) is defined by

σS : E→ R ∪ +∞, σS (z) := δ∗S (z) = supx∈S〈x, z〉 .

σS is finite-valued if and only if S is bounded (and nonempty)

σS = σconv S = σconv S = σcl S

σ∗S = δconv S

∂σS (x) =z ∈ conv S

∣∣∣ x ∈ Nconv S (z)

epiσS =⋂

s∈S epi 〈s, ·〉 is a nonempty, closed, convex cone, i.e. σS is proper, closed andsublinear.

Here’s the complete picture:

Theorem 7 (Hormander).

A function f : E→ R is proper, closed and sublinear if and only if it is a support function.

Proof.Blackboard/Notes.

Page 83: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Support functions: A special case of conjugacyThe support function σS of S ⊂ E (nonempty) is defined by

σS : E→ R ∪ +∞, σS (z) := δ∗S (z) = supx∈S〈x, z〉 .

σS is finite-valued if and only if S is bounded (and nonempty)

σS = σconv S = σconv S = σcl S

σ∗S = δconv S

∂σS (x) =z ∈ conv S

∣∣∣ x ∈ Nconv S (z)

epiσS =⋂

s∈S epi 〈s, ·〉 is a nonempty, closed, convex cone, i.e. σS is proper, closed andsublinear.

Here’s the complete picture:

Theorem 7 (Hormander).

A function f : E→ R is proper, closed and sublinear if and only if it is a support function.

Proof.Blackboard/Notes.

Page 84: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Support functions: A special case of conjugacyThe support function σS of S ⊂ E (nonempty) is defined by

σS : E→ R ∪ +∞, σS (z) := δ∗S (z) = supx∈S〈x, z〉 .

σS is finite-valued if and only if S is bounded (and nonempty)

σS = σconv S = σconv S = σcl S

σ∗S = δconv S

∂σS (x) =z ∈ conv S

∣∣∣ x ∈ Nconv S (z)

epiσS =⋂

s∈S epi 〈s, ·〉 is a nonempty, closed, convex cone, i.e. σS is proper, closed andsublinear.

Here’s the complete picture:

Theorem 7 (Hormander).

A function f : E→ R is proper, closed and sublinear if and only if it is a support function.

Proof.Blackboard/Notes.

Page 85: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Support functions: A special case of conjugacyThe support function σS of S ⊂ E (nonempty) is defined by

σS : E→ R ∪ +∞, σS (z) := δ∗S (z) = supx∈S〈x, z〉 .

σS is finite-valued if and only if S is bounded (and nonempty)

σS = σconv S = σconv S = σcl S

σ∗S = δconv S

∂σS (x) =z ∈ conv S

∣∣∣ x ∈ Nconv S (z)

epiσS =⋂

s∈S epi 〈s, ·〉 is a nonempty, closed, convex cone, i.e. σS is proper, closed andsublinear.

Here’s the complete picture:

Theorem 7 (Hormander).

A function f : E→ R is proper, closed and sublinear if and only if it is a support function.

Proof.Blackboard/Notes.

Page 86: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Support functions: A special case of conjugacyThe support function σS of S ⊂ E (nonempty) is defined by

σS : E→ R ∪ +∞, σS (z) := δ∗S (z) = supx∈S〈x, z〉 .

σS is finite-valued if and only if S is bounded (and nonempty)

σS = σconv S = σconv S = σcl S

σ∗S = δconv S

∂σS (x) =z ∈ conv S

∣∣∣ x ∈ Nconv S (z)

epiσS =⋂

s∈S epi 〈s, ·〉 is a nonempty, closed, convex cone, i.e. σS is proper, closed andsublinear.

Here’s the complete picture:

Theorem 7 (Hormander).

A function f : E→ R is proper, closed and sublinear if and only if it is a support function.

Proof.Blackboard/Notes.

Page 87: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Support functions: A special case of conjugacyThe support function σS of S ⊂ E (nonempty) is defined by

σS : E→ R ∪ +∞, σS (z) := δ∗S (z) = supx∈S〈x, z〉 .

σS is finite-valued if and only if S is bounded (and nonempty)

σS = σconv S = σconv S = σcl S

σ∗S = δconv S

∂σS (x) =z ∈ conv S

∣∣∣ x ∈ Nconv S (z)

epiσS =⋂

s∈S epi 〈s, ·〉 is a nonempty, closed, convex cone, i.e. σS is proper, closed andsublinear.

Here’s the complete picture:

Theorem 7 (Hormander).

A function f : E→ R is proper, closed and sublinear if and only if it is a support function.

Proof.Blackboard/Notes.

Page 88: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Gauges and polar setsDefinition 8 (Gauge function).

Let C ⊂ E. The gauge (function) of C is defined by γC : x ∈ E 7→ inf λ ≥ 0 | x ∈ λC .

If C ⊂ E be nonempty, closed and convex with 0 ∈ C, then γC is proper, lsc and sublinear.

Definition 9 (Polar sets).

Let C ⊂ E. Then its polar set is defined by

C :=v ∈ E

∣∣∣ 〈v , x〉 ≤ 1 (x ∈ C).

Moreover, we put C := (C) and call it the bipolar set of C.

If K is a cone then K =v ∈ E

∣∣∣ 〈v , x〉 ≤ 0 (x ∈ K).

For C ⊂ E we have C = conv (C ∪ 0). (bipolar theorem)

Proposition 10.

Let C ⊂ E be closed and convex with 0 ∈ C. Then

γC = σC∗←→ δC and γC = σC

∗←→ δC .

Page 89: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Gauges and polar setsDefinition 8 (Gauge function).

Let C ⊂ E. The gauge (function) of C is defined by γC : x ∈ E 7→ inf λ ≥ 0 | x ∈ λC .

If C ⊂ E be nonempty, closed and convex with 0 ∈ C, then γC is proper, lsc and sublinear.

Definition 9 (Polar sets).

Let C ⊂ E. Then its polar set is defined by

C :=v ∈ E

∣∣∣ 〈v , x〉 ≤ 1 (x ∈ C).

Moreover, we put C := (C) and call it the bipolar set of C.

If K is a cone then K =v ∈ E

∣∣∣ 〈v , x〉 ≤ 0 (x ∈ K).

For C ⊂ E we have C = conv (C ∪ 0). (bipolar theorem)

Proposition 10.

Let C ⊂ E be closed and convex with 0 ∈ C. Then

γC = σC∗←→ δC and γC = σC

∗←→ δC .

Page 90: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Gauges and polar setsDefinition 8 (Gauge function).

Let C ⊂ E. The gauge (function) of C is defined by γC : x ∈ E 7→ inf λ ≥ 0 | x ∈ λC .

If C ⊂ E be nonempty, closed and convex with 0 ∈ C, then γC is proper, lsc and sublinear.

Definition 9 (Polar sets).

Let C ⊂ E. Then its polar set is defined by

C :=v ∈ E

∣∣∣ 〈v , x〉 ≤ 1 (x ∈ C).

Moreover, we put C := (C) and call it the bipolar set of C.

If K is a cone then K =v ∈ E

∣∣∣ 〈v , x〉 ≤ 0 (x ∈ K).

For C ⊂ E we have C = conv (C ∪ 0). (bipolar theorem)

Proposition 10.

Let C ⊂ E be closed and convex with 0 ∈ C. Then

γC = σC∗←→ δC and γC = σC

∗←→ δC .

Page 91: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Subdifferentiation and conjugacy of convex functions

Gauges and polar setsDefinition 8 (Gauge function).

Let C ⊂ E. The gauge (function) of C is defined by γC : x ∈ E 7→ inf λ ≥ 0 | x ∈ λC .

If C ⊂ E be nonempty, closed and convex with 0 ∈ C, then γC is proper, lsc and sublinear.

Definition 9 (Polar sets).

Let C ⊂ E. Then its polar set is defined by

C :=v ∈ E

∣∣∣ 〈v , x〉 ≤ 1 (x ∈ C).

Moreover, we put C := (C) and call it the bipolar set of C.

If K is a cone then K =v ∈ E

∣∣∣ 〈v , x〉 ≤ 0 (x ∈ K).

For C ⊂ E we have C = conv (C ∪ 0). (bipolar theorem)

Proposition 10.

Let C ⊂ E be closed and convex with 0 ∈ C. Then

γC = σC∗←→ δC and γC = σC

∗←→ δC .

Page 92: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Infimal projection

Theorem 11 (Infimal projection).

Let ψ : E1 × E2 → R ∪ +∞ be convex. Then the optimal value function

p : E1 → R, p(x) := infy∈E2

ψ(x, y)

is convex.

Proof.Let L : (x, y, α) 7→ (x, α) and observe that

epi <p =

(x, α)

∣∣∣∣∣ infyψ(x, y) < α

=

(x, α)

∣∣∣ ∃y : ψ(x, y) < α

= L(epi <ψ).

Hence epi <p is a convex set, and thus p is convex.

Page 93: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Infimal projection

Theorem 11 (Infimal projection).

Let ψ : E1 × E2 → R ∪ +∞ be convex. Then the optimal value function

p : E1 → R, p(x) := infy∈E2

ψ(x, y)

is convex.

Proof.Let L : (x, y, α) 7→ (x, α) and observe that

epi <p =

(x, α)

∣∣∣∣∣ infyψ(x, y) < α

=(x, α)

∣∣∣ ∃y : ψ(x, y) < α

= L(epi <ψ).

Hence epi <p is a convex set, and thus p is convex.

Page 94: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Infimal projection

Theorem 11 (Infimal projection).

Let ψ : E1 × E2 → R ∪ +∞ be convex. Then the optimal value function

p : E1 → R, p(x) := infy∈E2

ψ(x, y)

is convex.

Proof.Let L : (x, y, α) 7→ (x, α) and observe that

epi <p =

(x, α)

∣∣∣∣∣ infyψ(x, y) < α

=

(x, α)

∣∣∣ ∃y : ψ(x, y) < α

= L(epi <ψ).

Hence epi <p is a convex set, and thus p is convex.

Page 95: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Infimal projection

Theorem 11 (Infimal projection).

Let ψ : E1 × E2 → R ∪ +∞ be convex. Then the optimal value function

p : E1 → R, p(x) := infy∈E2

ψ(x, y)

is convex.

Proof.Let L : (x, y, α) 7→ (x, α) and observe that

epi <p =

(x, α)

∣∣∣∣∣ infyψ(x, y) < α

=

(x, α)

∣∣∣ ∃y : ψ(x, y) < α

= L(epi <ψ).

Hence epi <p is a convex set, and thus p is convex.

Page 96: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Infimal projection

Theorem 11 (Infimal projection).

Let ψ : E1 × E2 → R ∪ +∞ be convex. Then the optimal value function

p : E1 → R, p(x) := infy∈E2

ψ(x, y)

is convex.

Proof.Let L : (x, y, α) 7→ (x, α) and observe that

epi <p =

(x, α)

∣∣∣∣∣ infyψ(x, y) < α

=

(x, α)

∣∣∣ ∃y : ψ(x, y) < α

= L(epi <ψ).

Hence epi <p is a convex set, and thus p is convex.

Page 97: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Infimal convolution - a special case of infimal projectionDefinition 12 (Infimal convolution).

Let f , g : E→ R ∪ +∞. Then the function

f#g : E→ R, (f#g)(x) := infu∈Ef(u) + g(x − u)

is called the infimal convolution of f and g. We call the infimal convolution f#g exact at x ∈ E if

argminu∈E

f(u) + g(x − u) , ∅.

We simply call f#g exact if it is exact at every x ∈ dom f#g.

We always have:dom f#g = dom f + dom g;f#g = g#f ;f , g convex, then f#g convex (as (f#g)(x) = infy h(x, y) with h : (x, y) 7→ f(y) + g(x − y)convex).

Example 13 (Distance functions).

Let C ⊂ E. Then dC := δC #‖ · ‖, i.e.dC (x) = inf

u∈C‖x − u‖

is the distance function of C, which is hence convex if C is a convex.

Page 98: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Infimal convolution - a special case of infimal projectionDefinition 12 (Infimal convolution).

Let f , g : E→ R ∪ +∞. Then the function

f#g : E→ R, (f#g)(x) := infu∈Ef(u) + g(x − u)

is called the infimal convolution of f and g. We call the infimal convolution f#g exact at x ∈ E if

argminu∈E

f(u) + g(x − u) , ∅.

We simply call f#g exact if it is exact at every x ∈ dom f#g.

We always have:dom f#g = dom f + dom g;f#g = g#f ;f , g convex, then f#g convex (as (f#g)(x) = infy h(x, y) with h : (x, y) 7→ f(y) + g(x − y)convex).

Example 13 (Distance functions).

Let C ⊂ E. Then dC := δC #‖ · ‖, i.e.dC (x) = inf

u∈C‖x − u‖

is the distance function of C, which is hence convex if C is a convex.

Page 99: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Infimal convolution - a special case of infimal projectionDefinition 12 (Infimal convolution).

Let f , g : E→ R ∪ +∞. Then the function

f#g : E→ R, (f#g)(x) := infu∈Ef(u) + g(x − u)

is called the infimal convolution of f and g. We call the infimal convolution f#g exact at x ∈ E if

argminu∈E

f(u) + g(x − u) , ∅.

We simply call f#g exact if it is exact at every x ∈ dom f#g.

We always have:dom f#g = dom f + dom g;f#g = g#f ;f , g convex, then f#g convex (as (f#g)(x) = infy h(x, y) with h : (x, y) 7→ f(y) + g(x − y)convex).

Example 13 (Distance functions).

Let C ⊂ E. Then dC := δC #‖ · ‖, i.e.dC (x) = inf

u∈C‖x − u‖

is the distance function of C, which is hence convex if C is a convex.

Page 100: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Conjugacy of infimal convolutionProposition 14 (Conjugacy of inf-convolution).

Let f , g : E→ R ∪ +∞. Then the following hold:

a) (f#g)∗ = f∗ + g∗;

b) If f , g ∈ Γ0 such that dom f ∩ dom g , ∅, then (f + g)∗ = cl (f∗#g∗).

Proof.a) For all y ∈ E, we have

(f#g)∗(y) = supx

〈x, y〉 − inf

u

f(u) + g(x − u)

= sup

x,u

〈x, y〉 − f(u) − g(x − u)

= sup

x,u

(〈u, y〉 − f(u)) + (〈x − u, y〉 − g(x − u))

= f∗(y) + g∗(y).

b) (f∗#g∗)∗a)= f∗∗ + g∗∗

f ,g∈Γ0= f + g

clear?∈ Γ

=⇒ cl (f∗#g∗) = (f∗#g∗)∗∗ = (f + g)∗.

Page 101: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Conjugacy of infimal convolutionProposition 14 (Conjugacy of inf-convolution).

Let f , g : E→ R ∪ +∞. Then the following hold:

a) (f#g)∗ = f∗ + g∗;

b) If f , g ∈ Γ0 such that dom f ∩ dom g , ∅, then (f + g)∗ = cl (f∗#g∗).

Proof.a) For all y ∈ E, we have

(f#g)∗(y) = supx

〈x, y〉 − inf

u

f(u) + g(x − u)

= supx,u

〈x, y〉 − f(u) − g(x − u)

= sup

x,u

(〈u, y〉 − f(u)) + (〈x − u, y〉 − g(x − u))

= f∗(y) + g∗(y).

b) (f∗#g∗)∗a)= f∗∗ + g∗∗

f ,g∈Γ0= f + g

clear?∈ Γ

=⇒ cl (f∗#g∗) = (f∗#g∗)∗∗ = (f + g)∗.

Page 102: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Conjugacy of infimal convolutionProposition 14 (Conjugacy of inf-convolution).

Let f , g : E→ R ∪ +∞. Then the following hold:

a) (f#g)∗ = f∗ + g∗;

b) If f , g ∈ Γ0 such that dom f ∩ dom g , ∅, then (f + g)∗ = cl (f∗#g∗).

Proof.a) For all y ∈ E, we have

(f#g)∗(y) = supx

〈x, y〉 − inf

u

f(u) + g(x − u)

= sup

x,u

〈x, y〉 − f(u) − g(x − u)

= supx,u

(〈u, y〉 − f(u)) + (〈x − u, y〉 − g(x − u))

= f∗(y) + g∗(y).

b) (f∗#g∗)∗a)= f∗∗ + g∗∗

f ,g∈Γ0= f + g

clear?∈ Γ

=⇒ cl (f∗#g∗) = (f∗#g∗)∗∗ = (f + g)∗.

Page 103: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Conjugacy of infimal convolutionProposition 14 (Conjugacy of inf-convolution).

Let f , g : E→ R ∪ +∞. Then the following hold:

a) (f#g)∗ = f∗ + g∗;

b) If f , g ∈ Γ0 such that dom f ∩ dom g , ∅, then (f + g)∗ = cl (f∗#g∗).

Proof.a) For all y ∈ E, we have

(f#g)∗(y) = supx

〈x, y〉 − inf

u

f(u) + g(x − u)

= sup

x,u

〈x, y〉 − f(u) − g(x − u)

= sup

x,u

(〈u, y〉 − f(u)) + (〈x − u, y〉 − g(x − u))

= f∗(y) + g∗(y).

b) (f∗#g∗)∗a)= f∗∗ + g∗∗

f ,g∈Γ0= f + g

clear?∈ Γ

=⇒ cl (f∗#g∗) = (f∗#g∗)∗∗ = (f + g)∗.

Page 104: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Conjugacy of infimal convolutionProposition 14 (Conjugacy of inf-convolution).

Let f , g : E→ R ∪ +∞. Then the following hold:

a) (f#g)∗ = f∗ + g∗;

b) If f , g ∈ Γ0 such that dom f ∩ dom g , ∅, then (f + g)∗ = cl (f∗#g∗).

Proof.a) For all y ∈ E, we have

(f#g)∗(y) = supx

〈x, y〉 − inf

u

f(u) + g(x − u)

= sup

x,u

〈x, y〉 − f(u) − g(x − u)

= sup

x,u

(〈u, y〉 − f(u)) + (〈x − u, y〉 − g(x − u))

= f∗(y) + g∗(y).

b) (f∗#g∗)∗a)= f∗∗ + g∗∗

f ,g∈Γ0= f + g

clear?∈ Γ

=⇒ cl (f∗#g∗) = (f∗#g∗)∗∗ = (f + g)∗.

Page 105: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Conjugacy of infimal convolutionProposition 14 (Conjugacy of inf-convolution).

Let f , g : E→ R ∪ +∞. Then the following hold:

a) (f#g)∗ = f∗ + g∗;

b) If f , g ∈ Γ0 such that dom f ∩ dom g , ∅, then (f + g)∗ = cl (f∗#g∗).

Proof.a) For all y ∈ E, we have

(f#g)∗(y) = supx

〈x, y〉 − inf

u

f(u) + g(x − u)

= sup

x,u

〈x, y〉 − f(u) − g(x − u)

= sup

x,u

(〈u, y〉 − f(u)) + (〈x − u, y〉 − g(x − u))

= f∗(y) + g∗(y).

b) (f∗#g∗)∗a)= f∗∗ + g∗∗

f ,g∈Γ0= f + g

clear?∈ Γ

=⇒ cl (f∗#g∗) = (f∗#g∗)∗∗ = (f + g)∗.

Page 106: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Conjugacy of infimal convolutionProposition 14 (Conjugacy of inf-convolution).

Let f , g : E→ R ∪ +∞. Then the following hold:

a) (f#g)∗ = f∗ + g∗;

b) If f , g ∈ Γ0 such that dom f ∩ dom g , ∅, then (f + g)∗ = cl (f∗#g∗).

Proof.a) For all y ∈ E, we have

(f#g)∗(y) = supx

〈x, y〉 − inf

u

f(u) + g(x − u)

= sup

x,u

〈x, y〉 − f(u) − g(x − u)

= sup

x,u

(〈u, y〉 − f(u)) + (〈x − u, y〉 − g(x − u))

= f∗(y) + g∗(y).

b) (f∗#g∗)∗a)= f∗∗ + g∗∗

f ,g∈Γ0= f + g

clear?∈ Γ

=⇒ cl (f∗#g∗) = (f∗#g∗)∗∗ = (f + g)∗.

Page 107: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Attouch-Brezis - drop the closure!

Theorem 15 (Attouch-Brezis).

Let f , g ∈ Γ0 such thatri (dom f) ∩ ri (dom g) , 0 (CQ).

Then (f + g)∗ = f∗#g∗, and the infimal convolution is exact, i.e. the infimum in the infimal convolution isattained on dom f∗#g∗.

Proof.On blackboard.

We note that (CQ) is always satisfied under any of the following:

int (dom f) ∩ dom g , ∅,

dom f = E,

and is equivalent to saying that0 ∈ ri (dom f − dom g).

Page 108: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Attouch-Brezis - drop the closure!

Theorem 15 (Attouch-Brezis).

Let f , g ∈ Γ0 such thatri (dom f) ∩ ri (dom g) , 0 (CQ).

Then (f + g)∗ = f∗#g∗, and the infimal convolution is exact, i.e. the infimum in the infimal convolution isattained on dom f∗#g∗.

Proof.On blackboard.

We note that (CQ) is always satisfied under any of the following:

int (dom f) ∩ dom g , ∅,

dom f = E,

and is equivalent to saying that0 ∈ ri (dom f − dom g).

Page 109: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Excursion: Moreau envelope and proximal operator 1

Let f ∈ Γ0 and λ > 0. Then

eλf := f#1

2λ‖ · ‖2

is called the Moreau envelope of f .

The map Pλf : E→ E given by

Pλf(x) := argminu

f(u) +

12λ‖x − u‖2

.

We have

Pλf is 1-Lipschitz (in fact, firmly non-expansive)

eλf ∈ C1,1 ∩ Γ0

∇eλf = 1λ (id − Pλf)

x ∈ argmin f ⇐⇒ x ∈ argmin eλf ⇐⇒ x = Pλf(x) (→ proximal point/gradient method)

eλf ↑ f (λ ↓ 0) (monotone pointwise convergence)

epi eλf → epi f (λ ↓ 0) (epi-convergence)

1Not in lecture notes!

Page 110: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Excursion: Moreau envelope and proximal operator 1

Let f ∈ Γ0 and λ > 0. Then

eλf := f#1

2λ‖ · ‖2

is called the Moreau envelope of f . The map Pλf : E→ E given by

Pλf(x) := argminu

f(u) +

12λ‖x − u‖2

.

We have

Pλf is 1-Lipschitz (in fact, firmly non-expansive)

eλf ∈ C1,1 ∩ Γ0

∇eλf = 1λ (id − Pλf)

x ∈ argmin f ⇐⇒ x ∈ argmin eλf ⇐⇒ x = Pλf(x) (→ proximal point/gradient method)

eλf ↑ f (λ ↓ 0) (monotone pointwise convergence)

epi eλf → epi f (λ ↓ 0) (epi-convergence)

1Not in lecture notes!

Page 111: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Excursion: Moreau envelope and proximal operator 1

Let f ∈ Γ0 and λ > 0. Then

eλf := f#1

2λ‖ · ‖2

is called the Moreau envelope of f . The map Pλf : E→ E given by

Pλf(x) := argminu

f(u) +

12λ‖x − u‖2

.

We have

Pλf is 1-Lipschitz (in fact, firmly non-expansive)

eλf ∈ C1,1 ∩ Γ0

∇eλf = 1λ (id − Pλf)

x ∈ argmin f ⇐⇒ x ∈ argmin eλf ⇐⇒ x = Pλf(x) (→ proximal point/gradient method)

eλf ↑ f (λ ↓ 0) (monotone pointwise convergence)

epi eλf → epi f (λ ↓ 0) (epi-convergence)

1Not in lecture notes!

Page 112: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Excursion: Moreau envelope and proximal operator 1

Let f ∈ Γ0 and λ > 0. Then

eλf := f#1

2λ‖ · ‖2

is called the Moreau envelope of f . The map Pλf : E→ E given by

Pλf(x) := argminu

f(u) +

12λ‖x − u‖2

.

We have

Pλf is 1-Lipschitz (in fact, firmly non-expansive)

eλf ∈ C1,1 ∩ Γ0

∇eλf = 1λ (id − Pλf)

x ∈ argmin f ⇐⇒ x ∈ argmin eλf ⇐⇒ x = Pλf(x) (→ proximal point/gradient method)

eλf ↑ f (λ ↓ 0) (monotone pointwise convergence)

epi eλf → epi f (λ ↓ 0) (epi-convergence)

1Not in lecture notes!

Page 113: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Excursion: Moreau envelope and proximal operator 1

Let f ∈ Γ0 and λ > 0. Then

eλf := f#1

2λ‖ · ‖2

is called the Moreau envelope of f . The map Pλf : E→ E given by

Pλf(x) := argminu

f(u) +

12λ‖x − u‖2

.

We have

Pλf is 1-Lipschitz (in fact, firmly non-expansive)

eλf ∈ C1,1 ∩ Γ0

∇eλf = 1λ (id − Pλf)

x ∈ argmin f ⇐⇒ x ∈ argmin eλf ⇐⇒ x = Pλf(x) (→ proximal point/gradient method)

eλf ↑ f (λ ↓ 0) (monotone pointwise convergence)

epi eλf → epi f (λ ↓ 0) (epi-convergence)

1Not in lecture notes!

Page 114: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Excursion: Moreau envelope and proximal operator 1

Let f ∈ Γ0 and λ > 0. Then

eλf := f#1

2λ‖ · ‖2

is called the Moreau envelope of f . The map Pλf : E→ E given by

Pλf(x) := argminu

f(u) +

12λ‖x − u‖2

.

We have

Pλf is 1-Lipschitz (in fact, firmly non-expansive)

eλf ∈ C1,1 ∩ Γ0

∇eλf = 1λ (id − Pλf)

x ∈ argmin f ⇐⇒ x ∈ argmin eλf ⇐⇒ x = Pλf(x) (→ proximal point/gradient method)

eλf ↑ f (λ ↓ 0) (monotone pointwise convergence)

epi eλf → epi f (λ ↓ 0) (epi-convergence)

1Not in lecture notes!

Page 115: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Infimal convolution and the Attouch-Brezis Theorem

Excursion: Moreau envelope and proximal operator 1

Let f ∈ Γ0 and λ > 0. Then

eλf := f#1

2λ‖ · ‖2

is called the Moreau envelope of f . The map Pλf : E→ E given by

Pλf(x) := argminu

f(u) +

12λ‖x − u‖2

.

We have

Pλf is 1-Lipschitz (in fact, firmly non-expansive)

eλf ∈ C1,1 ∩ Γ0

∇eλf = 1λ (id − Pλf)

x ∈ argmin f ⇐⇒ x ∈ argmin eλf ⇐⇒ x = Pλf(x) (→ proximal point/gradient method)

eλf ↑ f (λ ↓ 0) (monotone pointwise convergence)

epi eλf → epi f (λ ↓ 0) (epi-convergence)

1Not in lecture notes!

Page 116: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Consequences of Attouch-Brezis

Conjugacy for convex-linear composites

Let f ∈ Γ and L ∈ L(E,E′). Then

Lf : E′ → R, (Lf)(y) := inff(x)

∣∣∣ L(x) = y

is convex2.

Proposition 16.

Let g : E→ R be proper and L ∈ L(E,E′) and T ∈ L(E′,E). Then the following hold:

a) (Lg)∗ = g∗ L∗.

b) (g T)∗ = cl (T∗g∗) if g ∈ Γ.

c) The closure in b) can be dropped and the infimum is attained when finite if g ∈ Γ0 and

ri (rge T) ∩ ri (dom g) , ∅. (3)

Proof.Notes and Part 2.

2Show that epi <Lf = T(epi < f) for T : (x, y) 7→ (Tx, y).

Page 117: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Consequences of Attouch-Brezis

Conjugacy for convex-linear composites

Let f ∈ Γ and L ∈ L(E,E′). Then

Lf : E′ → R, (Lf)(y) := inff(x)

∣∣∣ L(x) = y

is convex2.

Proposition 16.

Let g : E→ R be proper and L ∈ L(E,E′) and T ∈ L(E′,E). Then the following hold:

a) (Lg)∗ = g∗ L∗.

b) (g T)∗ = cl (T∗g∗) if g ∈ Γ.

c) The closure in b) can be dropped and the infimum is attained when finite if g ∈ Γ0 and

ri (rge T) ∩ ri (dom g) , ∅. (3)

Proof.Notes and Part 2.

2Show that epi <Lf = T(epi < f) for T : (x, y) 7→ (Tx, y).

Page 118: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Consequences of Attouch-Brezis

Infimal projection revisited

Theorem 17 (Infimal projection II).

Let ψ ∈ Γ0(E1 × E2) and define p : E1 → R by

p(x) := infvψ(x, v). (4)

Then the following hold:

a) p is convex.

b) p∗ = ψ∗(·, 0) which is closed and convex.

c) The conditiondomψ∗(·, 0) , 0 (5)

is equivalent to having p∗ ∈ Γ0.

d) If (5) holds then p ∈ Γ0 and the infimum in its definition is attained when finite.

Proof.Blackboard/Notes.

Page 119: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

2. Conjugacy of composite functions viaK -convexity and inf-convolution

Page 120: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

Cone-induced ordering

Given a cone K ⊂ E, the relation

x ≤K y :⇐⇒ y − x ∈ K (x, y ∈ E)

induces an ordering on E which is a partial ordering if K is convex and pointed3.

Attach to E a largest element +∞• w.r.t. ≤K which satisfies x ≤K +∞• (x ∈ E).

Set E• := E ∪ +∞•.

For F : E1 → E•2 define

dom F :=x ∈ E1

∣∣∣ F(x) ∈ E2

(domain),

gph F :=(x,F(x)) ∈ E1 × E2 | x ∈ dom F

(graph),

rge F :=F(x) ∈ E2 | x ∈ dom F

(range).

3 i.e. K ∩ (−K) = 0

Page 121: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

Cone-induced ordering

Given a cone K ⊂ E, the relation

x ≤K y :⇐⇒ y − x ∈ K (x, y ∈ E)

induces an ordering on E which is a partial ordering if K is convex and pointed3.

Attach to E a largest element +∞• w.r.t. ≤K which satisfies x ≤K +∞• (x ∈ E).

Set E• := E ∪ +∞•.

For F : E1 → E•2 define

dom F :=x ∈ E1

∣∣∣ F(x) ∈ E2

(domain),

gph F :=(x,F(x)) ∈ E1 × E2 | x ∈ dom F

(graph),

rge F :=F(x) ∈ E2 | x ∈ dom F

(range).

3 i.e. K ∩ (−K) = 0

Page 122: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

Cone-induced ordering

Given a cone K ⊂ E, the relation

x ≤K y :⇐⇒ y − x ∈ K (x, y ∈ E)

induces an ordering on E which is a partial ordering if K is convex and pointed3.

Attach to E a largest element +∞• w.r.t. ≤K which satisfies x ≤K +∞• (x ∈ E).

Set E• := E ∪ +∞•.

For F : E1 → E•2 define

dom F :=x ∈ E1

∣∣∣ F(x) ∈ E2

(domain),

gph F :=(x,F(x)) ∈ E1 × E2 | x ∈ dom F

(graph),

rge F :=F(x) ∈ E2 | x ∈ dom F

(range).

3 i.e. K ∩ (−K) = 0

Page 123: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

K -convexityDefinition 18 (K -convexity).

Let K ⊂ E2 be a cone and F : E1 → E•2. Then we call F K-convex if

K -epi F :=(x, v) ∈ E1 × E2

∣∣∣ F(x) ≤K v

(K -epigraph)

is convex (in E1 × E2).

F is K -convex ⇐⇒ F(λx + (1 − λ)y) ≤K λF(x) + (1 − λ)F(y) (x, y ∈ E1, λ ∈ [0, 1])

F K -convex, then ri (K -epi F) =(x, v)

∣∣∣ x ∈ ri (dom F), F(x) ri (K) v

K ⊂ L cones: F K -convex ⇒ L -convex

Examples:

K = Rm+ and F : Rn → (Rm)• with Fi ∈ Γ (i = 1, . . . ,m)

K =(x, t) ∈ Rn × R | ‖x‖ ≤ t

and F : Rn → Rn × R, F(x) = (x, ‖x‖)

K = Sn+ and F : Sn → (Sn)•,F(X) =

X−1, X 0,

+∞•, else

K = Sn+ and F : Rm×n → Sn , F(X) = XXT

K arbitrary, F affine.

Page 124: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

K -convexityDefinition 18 (K -convexity).

Let K ⊂ E2 be a cone and F : E1 → E•2. Then we call F K-convex if

K -epi F :=(x, v) ∈ E1 × E2

∣∣∣ F(x) ≤K v

(K -epigraph)

is convex (in E1 × E2).

F is K -convex ⇐⇒ F(λx + (1 − λ)y) ≤K λF(x) + (1 − λ)F(y) (x, y ∈ E1, λ ∈ [0, 1])

F K -convex, then ri (K -epi F) =(x, v)

∣∣∣ x ∈ ri (dom F), F(x) ri (K) v

K ⊂ L cones: F K -convex ⇒ L -convex

Examples:

K = Rm+ and F : Rn → (Rm)• with Fi ∈ Γ (i = 1, . . . ,m)

K =(x, t) ∈ Rn × R | ‖x‖ ≤ t

and F : Rn → Rn × R, F(x) = (x, ‖x‖)

K = Sn+ and F : Sn → (Sn)•,F(X) =

X−1, X 0,

+∞•, else

K = Sn+ and F : Rm×n → Sn , F(X) = XXT

K arbitrary, F affine.

Page 125: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

K -convexityDefinition 18 (K -convexity).

Let K ⊂ E2 be a cone and F : E1 → E•2. Then we call F K-convex if

K -epi F :=(x, v) ∈ E1 × E2

∣∣∣ F(x) ≤K v

(K -epigraph)

is convex (in E1 × E2).

F is K -convex ⇐⇒ F(λx + (1 − λ)y) ≤K λF(x) + (1 − λ)F(y) (x, y ∈ E1, λ ∈ [0, 1])

F K -convex, then ri (K -epi F) =(x, v)

∣∣∣ x ∈ ri (dom F), F(x) ri (K) v

K ⊂ L cones: F K -convex ⇒ L -convex

Examples:

K = Rm+ and F : Rn → (Rm)• with Fi ∈ Γ (i = 1, . . . ,m)

K =(x, t) ∈ Rn × R | ‖x‖ ≤ t

and F : Rn → Rn × R, F(x) = (x, ‖x‖)

K = Sn+ and F : Sn → (Sn)•,F(X) =

X−1, X 0,

+∞•, else

K = Sn+ and F : Rm×n → Sn , F(X) = XXT

K arbitrary, F affine.

Page 126: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

K -convexityDefinition 18 (K -convexity).

Let K ⊂ E2 be a cone and F : E1 → E•2. Then we call F K-convex if

K -epi F :=(x, v) ∈ E1 × E2

∣∣∣ F(x) ≤K v

(K -epigraph)

is convex (in E1 × E2).

F is K -convex ⇐⇒ F(λx + (1 − λ)y) ≤K λF(x) + (1 − λ)F(y) (x, y ∈ E1, λ ∈ [0, 1])

F K -convex, then ri (K -epi F) =(x, v)

∣∣∣ x ∈ ri (dom F), F(x) ri (K) v

K ⊂ L cones: F K -convex ⇒ L -convex

Examples:

K = Rm+ and F : Rn → (Rm)• with Fi ∈ Γ (i = 1, . . . ,m)

K =(x, t) ∈ Rn × R | ‖x‖ ≤ t

and F : Rn → Rn × R, F(x) = (x, ‖x‖)

K = Sn+ and F : Sn → (Sn)•,F(X) =

X−1, X 0,

+∞•, else

K = Sn+ and F : Rm×n → Sn , F(X) = XXT

K arbitrary, F affine.

Page 127: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

K -convexityDefinition 18 (K -convexity).

Let K ⊂ E2 be a cone and F : E1 → E•2. Then we call F K-convex if

K -epi F :=(x, v) ∈ E1 × E2

∣∣∣ F(x) ≤K v

(K -epigraph)

is convex (in E1 × E2).

F is K -convex ⇐⇒ F(λx + (1 − λ)y) ≤K λF(x) + (1 − λ)F(y) (x, y ∈ E1, λ ∈ [0, 1])

F K -convex, then ri (K -epi F) =(x, v)

∣∣∣ x ∈ ri (dom F), F(x) ri (K) v

K ⊂ L cones: F K -convex ⇒ L -convex

Examples:

K = Rm+ and F : Rn → (Rm)• with Fi ∈ Γ (i = 1, . . . ,m)

K =(x, t) ∈ Rn × R | ‖x‖ ≤ t

and F : Rn → Rn × R, F(x) = (x, ‖x‖)

K = Sn+ and F : Sn → (Sn)•,F(X) =

X−1, X 0,

+∞•, else

K = Sn+ and F : Rm×n → Sn , F(X) = XXT

K arbitrary, F affine.

Page 128: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

K -convexityDefinition 18 (K -convexity).

Let K ⊂ E2 be a cone and F : E1 → E•2. Then we call F K-convex if

K -epi F :=(x, v) ∈ E1 × E2

∣∣∣ F(x) ≤K v

(K -epigraph)

is convex (in E1 × E2).

F is K -convex ⇐⇒ F(λx + (1 − λ)y) ≤K λF(x) + (1 − λ)F(y) (x, y ∈ E1, λ ∈ [0, 1])

F K -convex, then ri (K -epi F) =(x, v)

∣∣∣ x ∈ ri (dom F), F(x) ri (K) v

K ⊂ L cones: F K -convex ⇒ L -convex

Examples:

K = Rm+ and F : Rn → (Rm)• with Fi ∈ Γ (i = 1, . . . ,m)

K =(x, t) ∈ Rn × R | ‖x‖ ≤ t

and F : Rn → Rn × R, F(x) = (x, ‖x‖)

K = Sn+ and F : Sn → (Sn)•,F(X) =

X−1, X 0,

+∞•, else

K = Sn+ and F : Rm×n → Sn , F(X) = XXT

K arbitrary, F affine.

Page 129: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

K -convexityDefinition 18 (K -convexity).

Let K ⊂ E2 be a cone and F : E1 → E•2. Then we call F K-convex if

K -epi F :=(x, v) ∈ E1 × E2

∣∣∣ F(x) ≤K v

(K -epigraph)

is convex (in E1 × E2).

F is K -convex ⇐⇒ F(λx + (1 − λ)y) ≤K λF(x) + (1 − λ)F(y) (x, y ∈ E1, λ ∈ [0, 1])

F K -convex, then ri (K -epi F) =(x, v)

∣∣∣ x ∈ ri (dom F), F(x) ri (K) v

K ⊂ L cones: F K -convex ⇒ L -convex

Examples:

K = Rm+ and F : Rn → (Rm)• with Fi ∈ Γ (i = 1, . . . ,m)

K =(x, t) ∈ Rn × R | ‖x‖ ≤ t

and F : Rn → Rn × R, F(x) = (x, ‖x‖)

K = Sn+ and F : Sn → (Sn)•,F(X) =

X−1, X 0,

+∞•, else

K = Sn+ and F : Rm×n → Sn , F(X) = XXT

K arbitrary, F affine.

Page 130: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

K -convexityDefinition 18 (K -convexity).

Let K ⊂ E2 be a cone and F : E1 → E•2. Then we call F K-convex if

K -epi F :=(x, v) ∈ E1 × E2

∣∣∣ F(x) ≤K v

(K -epigraph)

is convex (in E1 × E2).

F is K -convex ⇐⇒ F(λx + (1 − λ)y) ≤K λF(x) + (1 − λ)F(y) (x, y ∈ E1, λ ∈ [0, 1])

F K -convex, then ri (K -epi F) =(x, v)

∣∣∣ x ∈ ri (dom F), F(x) ri (K) v

K ⊂ L cones: F K -convex ⇒ L -convex

Examples:

K = Rm+ and F : Rn → (Rm)• with Fi ∈ Γ (i = 1, . . . ,m)

K =(x, t) ∈ Rn × R | ‖x‖ ≤ t

and F : Rn → Rn × R, F(x) = (x, ‖x‖)

K = Sn+ and F : Sn → (Sn)•,F(X) =

X−1, X 0,

+∞•, else

K = Sn+ and F : Rm×n → Sn , F(X) = XXT

K arbitrary, F affine.

Page 131: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

K -convexity

K -convexityDefinition 18 (K -convexity).

Let K ⊂ E2 be a cone and F : E1 → E•2. Then we call F K-convex if

K -epi F :=(x, v) ∈ E1 × E2

∣∣∣ F(x) ≤K v

(K -epigraph)

is convex (in E1 × E2).

F is K -convex ⇐⇒ F(λx + (1 − λ)y) ≤K λF(x) + (1 − λ)F(y) (x, y ∈ E1, λ ∈ [0, 1])

F K -convex, then ri (K -epi F) =(x, v)

∣∣∣ x ∈ ri (dom F), F(x) ri (K) v

K ⊂ L cones: F K -convex ⇒ L -convex

Examples:

K = Rm+ and F : Rn → (Rm)• with Fi ∈ Γ (i = 1, . . . ,m)

K =(x, t) ∈ Rn × R | ‖x‖ ≤ t

and F : Rn → Rn × R, F(x) = (x, ‖x‖)

K = Sn+ and F : Sn → (Sn)•,F(X) =

X−1, X 0,

+∞•, else

K = Sn+ and F : Rm×n → Sn , F(X) = XXT

K arbitrary, F affine.

Page 132: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Composite functions and scalarization

Convexity of composite functions

For F : E1 → E•2 and g : E2 → R ∪ +∞ we define

(g F)(x) :=

g(F(x)) if x ∈ dom F ,

+∞ else.

Proposition 19.

Let K ⊂ E2 be a convex cone, F : E1 → E•2 K-convex and g ∈ Γ(E2) such that rge F ∩ dom g , ∅. If

g(F(x)) ≤ g(y) ((x, y) ∈ K-epi F) (6)

then the following hold:

a) g F is convex and proper.

b) If g is lsc and F is continuous then g F is lower semicontinuous.

Condition (6) holds if g is K-increasing, i.e.

x ≤K y =⇒ g(x) ≤ g(y).

Page 133: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Composite functions and scalarization

Convexity of composite functions

For F : E1 → E•2 and g : E2 → R ∪ +∞ we define

(g F)(x) :=

g(F(x)) if x ∈ dom F ,

+∞ else.

Proposition 19.

Let K ⊂ E2 be a convex cone, F : E1 → E•2 K-convex and g ∈ Γ(E2) such that rge F ∩ dom g , ∅. If

g(F(x)) ≤ g(y) ((x, y) ∈ K-epi F) (6)

then the following hold:

a) g F is convex and proper.

b) If g is lsc and F is continuous then g F is lower semicontinuous.

Condition (6) holds if g is K-increasing, i.e.

x ≤K y =⇒ g(x) ≤ g(y).

Page 134: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Composite functions and scalarization

Convexity of composite functions

For F : E1 → E•2 and g : E2 → R ∪ +∞ we define

(g F)(x) :=

g(F(x)) if x ∈ dom F ,

+∞ else.

Proposition 19.

Let K ⊂ E2 be a convex cone, F : E1 → E•2 K-convex and g ∈ Γ(E2) such that rge F ∩ dom g , ∅. If

g(F(x)) ≤ g(y) ((x, y) ∈ K-epi F) (6)

then the following hold:

a) g F is convex and proper.

b) If g is lsc and F is continuous then g F is lower semicontinuous.

Condition (6) holds if g is K-increasing, i.e.

x ≤K y =⇒ g(x) ≤ g(y).

Page 135: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Composite functions and scalarization

Scalarization

Given v ∈ E2 and the linear form 〈v , ·〉 : E2 → R, we set 〈v , F〉 := 〈v , ·〉 F , i.e.

〈v , F〉 (x) =

⟨v , F(x)

⟩if x ∈ dom F ,

+∞ else.

For K a closed, convex cone we have:

F is K -convex ⇐⇒ 〈v , F〉 is convex (v ∈ −K )

σgph F (u,−v) = 〈v , F〉∗ (u).

σK-epi F (u, v) = σgph F (u, v) + δK (v)

Lemma 20 (Pennanen, JCA 1999).

Let f : E1 → E•2 with a convex domain and let K ⊂ E2 be the smallest closed convex cone with respect to

which F is convex. Then(−K) = v ∈ E2 | 〈v , F〉 is convex .

Page 136: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Composite functions and scalarization

Scalarization

Given v ∈ E2 and the linear form 〈v , ·〉 : E2 → R, we set 〈v , F〉 := 〈v , ·〉 F , i.e.

〈v , F〉 (x) =

⟨v , F(x)

⟩if x ∈ dom F ,

+∞ else.

For K a closed, convex cone we have:

F is K -convex ⇐⇒ 〈v , F〉 is convex (v ∈ −K )

σgph F (u,−v) = 〈v , F〉∗ (u).

σK-epi F (u, v) = σgph F (u, v) + δK (v)

Lemma 20 (Pennanen, JCA 1999).

Let f : E1 → E•2 with a convex domain and let K ⊂ E2 be the smallest closed convex cone with respect to

which F is convex. Then(−K) = v ∈ E2 | 〈v , F〉 is convex .

Page 137: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Composite functions and scalarization

Scalarization

Given v ∈ E2 and the linear form 〈v , ·〉 : E2 → R, we set 〈v , F〉 := 〈v , ·〉 F , i.e.

〈v , F〉 (x) =

⟨v , F(x)

⟩if x ∈ dom F ,

+∞ else.

For K a closed, convex cone we have:

F is K -convex ⇐⇒ 〈v , F〉 is convex (v ∈ −K )

σgph F (u,−v) = 〈v , F〉∗ (u).

σK-epi F (u, v) = σgph F (u, v) + δK (v)

Lemma 20 (Pennanen, JCA 1999).

Let f : E1 → E•2 with a convex domain and let K ⊂ E2 be the smallest closed convex cone with respect to

which F is convex. Then(−K) = v ∈ E2 | 〈v , F〉 is convex .

Page 138: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

The main result

Theorem 21 (Conjugacy for composite function, H./Nguyen ’19, Bot et. al ’11).

Let K ⊂ E2 be a closed convex cone, F : E1 → E•2 K-convex such that K-epi F is closed and g0 ∈ Γ(E2)

such that (6) is satisfied, i.e.x ≤K y =⇒ g(x) ≤ g(y).

Under the CQF(ri (dom F)) ∩ ri (dom g − K) , ∅ (7)

we have(g F)∗(p) = min

v∈−Kg∗(v) + 〈v , F〉∗ (p)

with dom (g F)∗ =p ∈ E1

∣∣∣ ∃v ∈ dom g∗ ∩ (−K ) : 〈v , F〉∗ (p) < +∞.

Proof.Blackboard/Notes.

Remark:

The CQ (7) is trivially satisfied if g is finite-valued.

Condition (6) can be replaced by the stronger condition that g be K -increasing.

K -epi F is closed if F is continuous.

Page 139: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

The main result

Theorem 21 (Conjugacy for composite function, H./Nguyen ’19, Bot et. al ’11).

Let K ⊂ E2 be a closed convex cone, F : E1 → E•2 K-convex such that K-epi F is closed and g0 ∈ Γ(E2)

such that (6) is satisfied, i.e.x ≤K y =⇒ g(x) ≤ g(y).

Under the CQF(ri (dom F)) ∩ ri (dom g − K) , ∅ (7)

we have(g F)∗(p) = min

v∈−Kg∗(v) + 〈v , F〉∗ (p)

with dom (g F)∗ =p ∈ E1

∣∣∣ ∃v ∈ dom g∗ ∩ (−K ) : 〈v , F〉∗ (p) < +∞.

Proof.Blackboard/Notes.

Remark:

The CQ (7) is trivially satisfied if g is finite-valued.

Condition (6) can be replaced by the stronger condition that g be K -increasing.

K -epi F is closed if F is continuous.

Page 140: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

The main result

Theorem 21 (Conjugacy for composite function, H./Nguyen ’19, Bot et. al ’11).

Let K ⊂ E2 be a closed convex cone, F : E1 → E•2 K-convex such that K-epi F is closed and g0 ∈ Γ(E2)

such that (6) is satisfied, i.e.x ≤K y =⇒ g(x) ≤ g(y).

Under the CQF(ri (dom F)) ∩ ri (dom g − K) , ∅ (7)

we have(g F)∗(p) = min

v∈−Kg∗(v) + 〈v , F〉∗ (p)

with dom (g F)∗ =p ∈ E1

∣∣∣ ∃v ∈ dom g∗ ∩ (−K ) : 〈v , F〉∗ (p) < +∞.

Proof.Blackboard/Notes.

Remark:

The CQ (7) is trivially satisfied if g is finite-valued.

Condition (6) can be replaced by the stronger condition that g be K -increasing.

K -epi F is closed if F is continuous.

Page 141: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

The main result

Theorem 21 (Conjugacy for composite function, H./Nguyen ’19, Bot et. al ’11).

Let K ⊂ E2 be a closed convex cone, F : E1 → E•2 K-convex such that K-epi F is closed and g0 ∈ Γ(E2)

such that (6) is satisfied, i.e.x ≤K y =⇒ g(x) ≤ g(y).

Under the CQF(ri (dom F)) ∩ ri (dom g − K) , ∅ (7)

we have(g F)∗(p) = min

v∈−Kg∗(v) + 〈v , F〉∗ (p)

with dom (g F)∗ =p ∈ E1

∣∣∣ ∃v ∈ dom g∗ ∩ (−K ) : 〈v , F〉∗ (p) < +∞.

Proof.Blackboard/Notes.

Remark:

The CQ (7) is trivially satisfied if g is finite-valued.

Condition (6) can be replaced by the stronger condition that g be K -increasing.

K -epi F is closed if F is continuous.

Page 142: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

Extension to the additive composite setting

Corollary 22 (Conjugate of additive composite functions, H./Nguyen ’19).

Under the assumptions of Theorem 21 let f ∈ Γ0 such that

F(ri (dom f ∩ dom F)) ∩ ri (dom g − K) , ∅. (8)

Then(f + g F)∗(p) = min

v∈−K ,y∈E1

g∗(v) + f∗(y) + 〈v , F〉∗ (p − y).

Proof.(Sketch) Apply Theorem 21 to g : (s, y) ∈ R × E2 7→ s + g(y), F : x ∈ E1 → (f(x), x) andK := R+ × K .

Page 143: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

Extension to the additive composite setting

Corollary 22 (Conjugate of additive composite functions, H./Nguyen ’19).

Under the assumptions of Theorem 21 let f ∈ Γ0 such that

F(ri (dom f ∩ dom F)) ∩ ri (dom g − K) , ∅. (8)

Then(f + g F)∗(p) = min

v∈−K ,y∈E1

g∗(v) + f∗(y) + 〈v , F〉∗ (p − y).

Proof.(Sketch) Apply Theorem 21 to g : (s, y) ∈ R × E2 7→ s + g(y), F : x ∈ E1 → (f(x), x) andK := R+ × K .

Page 144: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

The case K = −hzn gFor g ∈ Γ0 its horizon function g∞ is given via

epi g∞ = (epi g)∞.

The horizon cone of g ishzn g :=

x

∣∣∣ g∞(x) ≤ 0∞.

hzn g = (cone (dom g∗))

g is K -increasing for K = −hzn g: Let x K y, i.e. y = x + b for some b ∈ K . Then

g(x) = supz∈dom g∗

〈x, z〉 − g∗(z) = supz∈dom g∗

〈y, z〉 − 〈b , z〉 − g∗(z) ≤ supz∈dom g∗

〈y, z〉 − g∗(z) = g(y),

Corollary 23 (Burke ’91, H./Nguyen ’19).

Let g ∈ Γ0(E2) and let F : E1 → E•2 be (−hzn g)-convex with −hzn g-epi F closed such that

F(ri (dom F)) ∩ ri (dom g + hzn g) , ∅.

Then(g F)∗(p) = min

v∈E2g∗(v) + 〈v , F〉∗ (p).

Page 145: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

The case K = −hzn gFor g ∈ Γ0 its horizon function g∞ is given via

epi g∞ = (epi g)∞.

The horizon cone of g ishzn g :=

x

∣∣∣ g∞(x) ≤ 0∞.

hzn g = (cone (dom g∗))

g is K -increasing for K = −hzn g: Let x K y, i.e. y = x + b for some b ∈ K . Then

g(x) = supz∈dom g∗

〈x, z〉 − g∗(z) = supz∈dom g∗

〈y, z〉 − 〈b , z〉 − g∗(z) ≤ supz∈dom g∗

〈y, z〉 − g∗(z) = g(y),

Corollary 23 (Burke ’91, H./Nguyen ’19).

Let g ∈ Γ0(E2) and let F : E1 → E•2 be (−hzn g)-convex with −hzn g-epi F closed such that

F(ri (dom F)) ∩ ri (dom g + hzn g) , ∅.

Then(g F)∗(p) = min

v∈E2g∗(v) + 〈v , F〉∗ (p).

Page 146: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

The case K = −hzn gFor g ∈ Γ0 its horizon function g∞ is given via

epi g∞ = (epi g)∞.

The horizon cone of g ishzn g :=

x

∣∣∣ g∞(x) ≤ 0∞.

hzn g = (cone (dom g∗))

g is K -increasing for K = −hzn g:

Let x K y, i.e. y = x + b for some b ∈ K . Then

g(x) = supz∈dom g∗

〈x, z〉 − g∗(z) = supz∈dom g∗

〈y, z〉 − 〈b , z〉 − g∗(z) ≤ supz∈dom g∗

〈y, z〉 − g∗(z) = g(y),

Corollary 23 (Burke ’91, H./Nguyen ’19).

Let g ∈ Γ0(E2) and let F : E1 → E•2 be (−hzn g)-convex with −hzn g-epi F closed such that

F(ri (dom F)) ∩ ri (dom g + hzn g) , ∅.

Then(g F)∗(p) = min

v∈E2g∗(v) + 〈v , F〉∗ (p).

Page 147: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

The case K = −hzn gFor g ∈ Γ0 its horizon function g∞ is given via

epi g∞ = (epi g)∞.

The horizon cone of g ishzn g :=

x

∣∣∣ g∞(x) ≤ 0∞.

hzn g = (cone (dom g∗))

g is K -increasing for K = −hzn g: Let x K y, i.e. y = x + b for some b ∈ K . Then

g(x) = supz∈dom g∗

〈x, z〉 − g∗(z) = supz∈dom g∗

〈y, z〉 − 〈b , z〉 − g∗(z) ≤ supz∈dom g∗

〈y, z〉 − g∗(z) = g(y),

Corollary 23 (Burke ’91, H./Nguyen ’19).

Let g ∈ Γ0(E2) and let F : E1 → E•2 be (−hzn g)-convex with −hzn g-epi F closed such that

F(ri (dom F)) ∩ ri (dom g + hzn g) , ∅.

Then(g F)∗(p) = min

v∈E2g∗(v) + 〈v , F〉∗ (p).

Page 148: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

The case K = −hzn gFor g ∈ Γ0 its horizon function g∞ is given via

epi g∞ = (epi g)∞.

The horizon cone of g ishzn g :=

x

∣∣∣ g∞(x) ≤ 0∞.

hzn g = (cone (dom g∗))

g is K -increasing for K = −hzn g: Let x K y, i.e. y = x + b for some b ∈ K . Then

g(x) = supz∈dom g∗

〈x, z〉 − g∗(z) = supz∈dom g∗

〈y, z〉 − 〈b , z〉 − g∗(z) ≤ supz∈dom g∗

〈y, z〉 − g∗(z) = g(y),

Corollary 23 (Burke ’91, H./Nguyen ’19).

Let g ∈ Γ0(E2) and let F : E1 → E•2 be (−hzn g)-convex with −hzn g-epi F closed such that

F(ri (dom F)) ∩ ri (dom g + hzn g) , ∅.

Then(g F)∗(p) = min

v∈E2g∗(v) + 〈v , F〉∗ (p).

Page 149: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

The linear case

Corollary 24 (The linear case).

Let g ∈ Γ(E2) and F : E1 → E2 linear such that

rge F ∩ ri (dom g) , ∅.

Then(g F)∗(p) = min

v∈E2

g∗(v)

∣∣∣ F∗(v) = p

with dom (g F) = (F∗)−1(dom g∗).

Proof.We notice that F is 0-convex. Hence we can apply Theorem 21 with K = 0. Condition (7) then readsrge F ∩ ri (dom g) , ∅, which is our assumption. Hence we obtain

(g F)∗(p) = minv∈−K

g∗(v) + 〈v , F〉∗ (p) = minv∈E2

g∗(v) + δF∗(v)(p).

Page 150: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Conjugacy results

The linear case

Corollary 24 (The linear case).

Let g ∈ Γ(E2) and F : E1 → E2 linear such that

rge F ∩ ri (dom g) , ∅.

Then(g F)∗(p) = min

v∈E2

g∗(v)

∣∣∣ F∗(v) = p

with dom (g F) = (F∗)−1(dom g∗).

Proof.We notice that F is 0-convex. Hence we can apply Theorem 21 with K = 0. Condition (7) then readsrge F ∩ ri (dom g) , ∅, which is our assumption. Hence we obtain

(g F)∗(p) = minv∈−K

g∗(v) + 〈v , F〉∗ (p) = minv∈E2

g∗(v) + δF∗(v)(p).

Page 151: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conic programming duality

Consider the general conic program

min f(x) s.t. F(x) ∈ −K (9)

or equivalently

minx∈E1

f(x) + (δ−K F)(x) (10)

where f : E1 → R is convex, F : E1 → E2 is K -convex and K ⊂ E2 is a closed, convex cone. Thequalification condition (7) turns into a generalized Slater condition

rge F ∩ ri (−K) , ∅. (11)

Theorem 25 (Strong duality and dual attainment for conic programming).

Let f : E1 → R is convex, K ⊂ E2 a closed, convex cone, and let F : E1 → E2 be K-convex with closedK-epigraph. If (11) holds then

infx∈E1

f(x) + (δ−K F)(x) = maxv∈−K

−f∗(y) − (δ−K F)∗(−y) = maxv∈−K

infx∈E1

f(x) +⟨v , F(x)

⟩.

Page 152: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conic programming duality

Consider the general conic program

min f(x) s.t. F(x) ∈ −K (9)

or equivalentlyminx∈E1

f(x) + (δ−K F)(x) (10)

where f : E1 → R is convex, F : E1 → E2 is K -convex and K ⊂ E2 is a closed, convex cone.

Thequalification condition (7) turns into a generalized Slater condition

rge F ∩ ri (−K) , ∅. (11)

Theorem 25 (Strong duality and dual attainment for conic programming).

Let f : E1 → R is convex, K ⊂ E2 a closed, convex cone, and let F : E1 → E2 be K-convex with closedK-epigraph. If (11) holds then

infx∈E1

f(x) + (δ−K F)(x) = maxv∈−K

−f∗(y) − (δ−K F)∗(−y) = maxv∈−K

infx∈E1

f(x) +⟨v , F(x)

⟩.

Page 153: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conic programming duality

Consider the general conic program

min f(x) s.t. F(x) ∈ −K (9)

or equivalentlyminx∈E1

f(x) + (δ−K F)(x) (10)

where f : E1 → R is convex, F : E1 → E2 is K -convex and K ⊂ E2 is a closed, convex cone. Thequalification condition (7) turns into a generalized Slater condition

rge F ∩ ri (−K) , ∅. (11)

Theorem 25 (Strong duality and dual attainment for conic programming).

Let f : E1 → R is convex, K ⊂ E2 a closed, convex cone, and let F : E1 → E2 be K-convex with closedK-epigraph. If (11) holds then

infx∈E1

f(x) + (δ−K F)(x) = maxv∈−K

−f∗(y) − (δ−K F)∗(−y) = maxv∈−K

infx∈E1

f(x) +⟨v , F(x)

⟩.

Page 154: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conic programming duality

Consider the general conic program

min f(x) s.t. F(x) ∈ −K (9)

or equivalentlyminx∈E1

f(x) + (δ−K F)(x) (10)

where f : E1 → R is convex, F : E1 → E2 is K -convex and K ⊂ E2 is a closed, convex cone. Thequalification condition (7) turns into a generalized Slater condition

rge F ∩ ri (−K) , ∅. (11)

Theorem 25 (Strong duality and dual attainment for conic programming).

Let f : E1 → R is convex, K ⊂ E2 a closed, convex cone, and let F : E1 → E2 be K-convex with closedK-epigraph. If (11) holds then

infx∈E1

f(x) + (δ−K F)(x) = maxv∈−K

−f∗(y) − (δ−K F)∗(−y) = maxv∈−K

infx∈E1

f(x) +⟨v , F(x)

⟩.

Page 155: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conic programming duality

Consider the general conic program

min f(x) s.t. F(x) ∈ −K (9)

or equivalentlyminx∈E1

f(x) + (δ−K F)(x) (10)

where f : E1 → R is convex, F : E1 → E2 is K -convex and K ⊂ E2 is a closed, convex cone. Thequalification condition (7) turns into a generalized Slater condition

rge F ∩ ri (−K) , ∅. (11)

Theorem 25 (Strong duality and dual attainment for conic programming).

Let f : E1 → R is convex, K ⊂ E2 a closed, convex cone, and let F : E1 → E2 be K-convex with closedK-epigraph. If (11) holds then

infx∈E1

f(x) + (δ−K F)(x) = maxv∈−K

−f∗(y) − (δ−K F)∗(−y) = maxv∈−K

infx∈E1

f(x) +⟨v , F(x)

⟩.

Page 156: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conjugate of pointwise maximum of convex functions

Proposition 26.

For f1, . . . , fm ∈ Γ0(E) define f := maxi=1,...,m fi . Then f ∈ Γ0(E) with

f∗(x) = minv∈∆m

( m∑i=1

vi fi

)∗(x).

Proof.We have f = g F for

F : x 7→

(f1(x), . . . , fm(x)) if x ∈⋂m

i=1 dom fi ,+∞• otherwise,

and g : y 7→ maxi=1,...,m

xi .

Then F is Rm+-convex and g is Rm

+-increasing with dom g = Rm , and g∗ = δ∆m4. Hence

(g F)∗(x) = minv∈Rm

+

g∗(v) + 〈v , F〉∗ (x) = minv∈Rm

+

δ∆m (v) + 〈v , F〉∗ (x) = minv∈∆m

( m∑i=1

vi fi

)∗(x)

4∆m =λ ∈ Rm

∣∣∣ ∑mi=1 λi = 1, λi ≥ 0 (i1, . . . ,m)

Page 157: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conjugate of pointwise maximum of convex functions

Proposition 26.

For f1, . . . , fm ∈ Γ0(E) define f := maxi=1,...,m fi . Then f ∈ Γ0(E) with

f∗(x) = minv∈∆m

( m∑i=1

vi fi

)∗(x).

Proof.We have f = g F for

F : x 7→

(f1(x), . . . , fm(x)) if x ∈⋂m

i=1 dom fi ,+∞• otherwise,

and g : y 7→ maxi=1,...,m

xi .

Then F is Rm+-convex and g is Rm

+-increasing with dom g = Rm , and g∗ = δ∆m4. Hence

(g F)∗(x) = minv∈Rm

+

g∗(v) + 〈v , F〉∗ (x) = minv∈Rm

+

δ∆m (v) + 〈v , F〉∗ (x) = minv∈∆m

( m∑i=1

vi fi

)∗(x)

4∆m =λ ∈ Rm

∣∣∣ ∑mi=1 λi = 1, λi ≥ 0 (i1, . . . ,m)

Page 158: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conjugate of pointwise maximum of convex functions

Proposition 26.

For f1, . . . , fm ∈ Γ0(E) define f := maxi=1,...,m fi . Then f ∈ Γ0(E) with

f∗(x) = minv∈∆m

( m∑i=1

vi fi

)∗(x).

Proof.We have f = g F for

F : x 7→

(f1(x), . . . , fm(x)) if x ∈⋂m

i=1 dom fi ,+∞• otherwise,

and g : y 7→ maxi=1,...,m

xi .

Then F is Rm+-convex and g is Rm

+-increasing with dom g = Rm , and g∗ = δ∆m4.

Hence

(g F)∗(x) = minv∈Rm

+

g∗(v) + 〈v , F〉∗ (x) = minv∈Rm

+

δ∆m (v) + 〈v , F〉∗ (x) = minv∈∆m

( m∑i=1

vi fi

)∗(x)

4∆m =λ ∈ Rm

∣∣∣ ∑mi=1 λi = 1, λi ≥ 0 (i1, . . . ,m)

Page 159: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conjugate of pointwise maximum of convex functions

Proposition 26.

For f1, . . . , fm ∈ Γ0(E) define f := maxi=1,...,m fi . Then f ∈ Γ0(E) with

f∗(x) = minv∈∆m

( m∑i=1

vi fi

)∗(x).

Proof.We have f = g F for

F : x 7→

(f1(x), . . . , fm(x)) if x ∈⋂m

i=1 dom fi ,+∞• otherwise,

and g : y 7→ maxi=1,...,m

xi .

Then F is Rm+-convex and g is Rm

+-increasing with dom g = Rm , and g∗ = δ∆m4. Hence

(g F)∗(x)

= minv∈Rm

+

g∗(v) + 〈v , F〉∗ (x) = minv∈Rm

+

δ∆m (v) + 〈v , F〉∗ (x) = minv∈∆m

( m∑i=1

vi fi

)∗(x)

4∆m =λ ∈ Rm

∣∣∣ ∑mi=1 λi = 1, λi ≥ 0 (i1, . . . ,m)

Page 160: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conjugate of pointwise maximum of convex functions

Proposition 26.

For f1, . . . , fm ∈ Γ0(E) define f := maxi=1,...,m fi . Then f ∈ Γ0(E) with

f∗(x) = minv∈∆m

( m∑i=1

vi fi

)∗(x).

Proof.We have f = g F for

F : x 7→

(f1(x), . . . , fm(x)) if x ∈⋂m

i=1 dom fi ,+∞• otherwise,

and g : y 7→ maxi=1,...,m

xi .

Then F is Rm+-convex and g is Rm

+-increasing with dom g = Rm , and g∗ = δ∆m4. Hence

(g F)∗(x) = minv∈Rm

+

g∗(v) + 〈v , F〉∗ (x)

= minv∈Rm

+

δ∆m (v) + 〈v , F〉∗ (x) = minv∈∆m

( m∑i=1

vi fi

)∗(x)

4∆m =λ ∈ Rm

∣∣∣ ∑mi=1 λi = 1, λi ≥ 0 (i1, . . . ,m)

Page 161: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conjugate of pointwise maximum of convex functions

Proposition 26.

For f1, . . . , fm ∈ Γ0(E) define f := maxi=1,...,m fi . Then f ∈ Γ0(E) with

f∗(x) = minv∈∆m

( m∑i=1

vi fi

)∗(x).

Proof.We have f = g F for

F : x 7→

(f1(x), . . . , fm(x)) if x ∈⋂m

i=1 dom fi ,+∞• otherwise,

and g : y 7→ maxi=1,...,m

xi .

Then F is Rm+-convex and g is Rm

+-increasing with dom g = Rm , and g∗ = δ∆m4. Hence

(g F)∗(x) = minv∈Rm

+

g∗(v) + 〈v , F〉∗ (x) = minv∈Rm

+

δ∆m (v) + 〈v , F〉∗ (x)

= minv∈∆m

( m∑i=1

vi fi

)∗(x)

4∆m =λ ∈ Rm

∣∣∣ ∑mi=1 λi = 1, λi ≥ 0 (i1, . . . ,m)

Page 162: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications

Conjugate of pointwise maximum of convex functions

Proposition 26.

For f1, . . . , fm ∈ Γ0(E) define f := maxi=1,...,m fi . Then f ∈ Γ0(E) with

f∗(x) = minv∈∆m

( m∑i=1

vi fi

)∗(x).

Proof.We have f = g F for

F : x 7→

(f1(x), . . . , fm(x)) if x ∈⋂m

i=1 dom fi ,+∞• otherwise,

and g : y 7→ maxi=1,...,m

xi .

Then F is Rm+-convex and g is Rm

+-increasing with dom g = Rm , and g∗ = δ∆m4. Hence

(g F)∗(x) = minv∈Rm

+

g∗(v) + 〈v , F〉∗ (x) = minv∈Rm

+

δ∆m (v) + 〈v , F〉∗ (x) = minv∈∆m

( m∑i=1

vi fi

)∗(x)

4∆m =λ ∈ Rm

∣∣∣ ∑mi=1 λi = 1, λi ≥ 0 (i1, . . . ,m)

Page 163: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

3. A new class of matrix support functionals

Page 164: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation I: Nuclear norm minimization/smoothing

Rank minimization (→ Netflix recommender problem)

minX∈Rn×m

rank X s.t. MX = B (M ∈ Rp×n ,B ∈ Rp×m) (12)

Approximating the rank function (→ combinatorial)

rank X = ‖σ(X)‖0Convex approx.

∼ ‖σ(X)‖1 =: ‖X‖∗ (nuclear norm)5

Convex approximation of (12)min

X∈Rn×m‖X‖∗ s.t. MX = B

Hsieh/Olsen ’14: ‖X‖∗ = minV∈Sn++

12 tr (V) + 1

2 tr (XT V−1X) (X ∈ Rn×m)

Smooth approximation of (12)

min(X ,V)∈Rn×n×Sn++

12

tr (V) +12

tr (XT V−1X) s.t. MX = B

5σ(X) = (σ1 , . . . , σn) is the vector of positive singular values of X .

Page 165: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation I: Nuclear norm minimization/smoothing

Rank minimization (→ Netflix recommender problem)

minX∈Rn×m

rank X s.t. MX = B (M ∈ Rp×n ,B ∈ Rp×m) (12)

Approximating the rank function (→ combinatorial)

rank X = ‖σ(X)‖0Convex approx.

∼ ‖σ(X)‖1 =: ‖X‖∗ (nuclear norm)5

Convex approximation of (12)min

X∈Rn×m‖X‖∗ s.t. MX = B

Hsieh/Olsen ’14: ‖X‖∗ = minV∈Sn++

12 tr (V) + 1

2 tr (XT V−1X) (X ∈ Rn×m)

Smooth approximation of (12)

min(X ,V)∈Rn×n×Sn++

12

tr (V) +12

tr (XT V−1X) s.t. MX = B

5σ(X) = (σ1 , . . . , σn) is the vector of positive singular values of X .

Page 166: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation I: Nuclear norm minimization/smoothing

Rank minimization (→ Netflix recommender problem)

minX∈Rn×m

rank X s.t. MX = B (M ∈ Rp×n ,B ∈ Rp×m) (12)

Approximating the rank function (→ combinatorial)

rank X = ‖σ(X)‖0Convex approx.

∼ ‖σ(X)‖1 =: ‖X‖∗ (nuclear norm)5

Convex approximation of (12)min

X∈Rn×m‖X‖∗ s.t. MX = B

Hsieh/Olsen ’14: ‖X‖∗ = minV∈Sn++

12 tr (V) + 1

2 tr (XT V−1X) (X ∈ Rn×m)

Smooth approximation of (12)

min(X ,V)∈Rn×n×Sn++

12

tr (V) +12

tr (XT V−1X) s.t. MX = B

5σ(X) = (σ1 , . . . , σn) is the vector of positive singular values of X .

Page 167: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation I: Nuclear norm minimization/smoothing

Rank minimization (→ Netflix recommender problem)

minX∈Rn×m

rank X s.t. MX = B (M ∈ Rp×n ,B ∈ Rp×m) (12)

Approximating the rank function (→ combinatorial)

rank X = ‖σ(X)‖0Convex approx.

∼ ‖σ(X)‖1 =: ‖X‖∗ (nuclear norm)5

Convex approximation of (12)min

X∈Rn×m‖X‖∗ s.t. MX = B

Hsieh/Olsen ’14: ‖X‖∗ = minV∈Sn++

12 tr (V) + 1

2 tr (XT V−1X) (X ∈ Rn×m)

Smooth approximation of (12)

min(X ,V)∈Rn×n×Sn++

12

tr (V) +12

tr (XT V−1X) s.t. MX = B

5σ(X) = (σ1 , . . . , σn) is the vector of positive singular values of X .

Page 168: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation I: Nuclear norm minimization/smoothing

Rank minimization (→ Netflix recommender problem)

minX∈Rn×m

rank X s.t. MX = B (M ∈ Rp×n ,B ∈ Rp×m) (12)

Approximating the rank function (→ combinatorial)

rank X = ‖σ(X)‖0Convex approx.

∼ ‖σ(X)‖1 =: ‖X‖∗ (nuclear norm)5

Convex approximation of (12)min

X∈Rn×m‖X‖∗ s.t. MX = B

Hsieh/Olsen ’14: ‖X‖∗ = minV∈Sn++

12 tr (V) + 1

2 tr (XT V−1X) (X ∈ Rn×m)

Smooth approximation of (12)

min(X ,V)∈Rn×n×Sn++

12

tr (V) +12

tr (XT V−1X) s.t. MX = B

5σ(X) = (σ1 , . . . , σn) is the vector of positive singular values of X .

Page 169: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation II: Maximum likelihood estimationLet yi ∈ R

n (i = 1, . . . ,N) be measurements of

y ∼ N(µ,Σ) (µ ∈ Rn ,Σ ∈ Sn++ → unknown)

Likelihood function:

`(µ,Σ) :=1

(2π)n/2

N∏i=1

1(det Σ)1/2

exp

(−

12

(yi − µ)T Σ−1(yi − µ)

)log-likelihood function

log `(µ,Σ) = −N2

log(det Σ) −12

N∑i=1

(yi − µ)T Σ−1(yi − µ) −n2

log(2π)

Maximum likelihood estimation

max(µ,Σ)

`(µ,Σ) ⇔ min(µ,Σ)− log `(µ,Σ)

xi :=yi−µ⇔ min

(X ,Σ)∈Rn×N×Sn++

12

tr (XT Σ−1X) +N2

log(det Σ)

Page 170: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation II: Maximum likelihood estimationLet yi ∈ R

n (i = 1, . . . ,N) be measurements of

y ∼ N(µ,Σ) (µ ∈ Rn ,Σ ∈ Sn++ → unknown)

Likelihood function:

`(µ,Σ) :=1

(2π)n/2

N∏i=1

1(det Σ)1/2

exp

(−

12

(yi − µ)T Σ−1(yi − µ)

)

log-likelihood function

log `(µ,Σ) = −N2

log(det Σ) −12

N∑i=1

(yi − µ)T Σ−1(yi − µ) −n2

log(2π)

Maximum likelihood estimation

max(µ,Σ)

`(µ,Σ) ⇔ min(µ,Σ)− log `(µ,Σ)

xi :=yi−µ⇔ min

(X ,Σ)∈Rn×N×Sn++

12

tr (XT Σ−1X) +N2

log(det Σ)

Page 171: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation II: Maximum likelihood estimationLet yi ∈ R

n (i = 1, . . . ,N) be measurements of

y ∼ N(µ,Σ) (µ ∈ Rn ,Σ ∈ Sn++ → unknown)

Likelihood function:

`(µ,Σ) :=1

(2π)n/2

N∏i=1

1(det Σ)1/2

exp

(−

12

(yi − µ)T Σ−1(yi − µ)

)log-likelihood function

log `(µ,Σ) = −N2

log(det Σ) −12

N∑i=1

(yi − µ)T Σ−1(yi − µ) −n2

log(2π)

Maximum likelihood estimation

max(µ,Σ)

`(µ,Σ) ⇔ min(µ,Σ)− log `(µ,Σ)

xi :=yi−µ⇔ min

(X ,Σ)∈Rn×N×Sn++

12

tr (XT Σ−1X) +N2

log(det Σ)

Page 172: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation II: Maximum likelihood estimationLet yi ∈ R

n (i = 1, . . . ,N) be measurements of

y ∼ N(µ,Σ) (µ ∈ Rn ,Σ ∈ Sn++ → unknown)

Likelihood function:

`(µ,Σ) :=1

(2π)n/2

N∏i=1

1(det Σ)1/2

exp

(−

12

(yi − µ)T Σ−1(yi − µ)

)log-likelihood function

log `(µ,Σ) = −N2

log(det Σ) −12

N∑i=1

(yi − µ)T Σ−1(yi − µ) −n2

log(2π)

Maximum likelihood estimation

max(µ,Σ)

`(µ,Σ) ⇔ min(µ,Σ)− log `(µ,Σ)

xi :=yi−µ⇔ min

(X ,Σ)∈Rn×N×Sn++

12

tr (XT Σ−1X) +N2

log(det Σ)

Page 173: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

The Moore-Penrose pseudoinverseTheorem 27 (Moore-Penrose pseudoinverse).

Let A ∈ Rm×n with rank A = r and the singular value decomposition

A = UΣVT with Σ = diag (σi), U,V orthogonal.

The matrix

A† := VΣ†UT with Σ† :=

σ−11

. . .σ−1

r0

. . .0

,

called the (Moore-Penrose) pseudoinverse of A is the unique matrix with the following properties.

a) AA†A = A and A†AA† = A†

b) (AA†)T = AA† and (A†A)T = A†As

Moreover:

c) A invertible ⇒ A† = A−1

d) A 0 ⇒ A† 0

Page 174: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

The Moore-Penrose pseudoinverseTheorem 27 (Moore-Penrose pseudoinverse).

Let A ∈ Rm×n with rank A = r and the singular value decomposition

A = UΣVT with Σ = diag (σi), U,V orthogonal.

The matrix

A† := VΣ†UT with Σ† :=

σ−11

. . .σ−1

r0

. . .0

,

called the (Moore-Penrose) pseudoinverse of A is the unique matrix with the following properties.

a) AA†A = A and A†AA† = A†

b) (AA†)T = AA† and (A†A)T = A†As

Moreover:

c) A invertible ⇒ A† = A−1

d) A 0 ⇒ A† 0

Page 175: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

The Moore-Penrose pseudoinverseTheorem 27 (Moore-Penrose pseudoinverse).

Let A ∈ Rm×n with rank A = r and the singular value decomposition

A = UΣVT with Σ = diag (σi), U,V orthogonal.

The matrix

A† := VΣ†UT with Σ† :=

σ−11

. . .σ−1

r0

. . .0

,

called the (Moore-Penrose) pseudoinverse of A is the unique matrix with the following properties.

a) AA†A = A and A†AA† = A†

b) (AA†)T = AA† and (A†A)T = A†As

Moreover:

c) A invertible ⇒ A† = A−1

d) A 0 ⇒ A† 0

Page 176: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

The Moore-Penrose pseudoinverseTheorem 27 (Moore-Penrose pseudoinverse).

Let A ∈ Rm×n with rank A = r and the singular value decomposition

A = UΣVT with Σ = diag (σi), U,V orthogonal.

The matrix

A† := VΣ†UT with Σ† :=

σ−11

. . .σ−1

r0

. . .0

,

called the (Moore-Penrose) pseudoinverse of A is the unique matrix with the following properties.

a) AA†A = A and A†AA† = A†

b) (AA†)T = AA† and (A†A)T = A†As

Moreover:

c) A invertible ⇒ A† = A−1

d) A 0 ⇒ A† 0

Page 177: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

The closure of the matrix-fractional function

Put E := Rn×m × Sn .

φ : (X ,V) ∈ E 7→

12 tr (XT V−1X) if V 0,

+∞ else. (matrix-fractional function)

Schur⇒ epi φ =

(X ,V , α)| ∃Y ∈ Sm :

(V X

XT Y

) 0, V 0, 1

2 tr (Y) ≤ α

⇒ φ proper, sublinear and not lsc.

⇒ cl φ : (X ,V) ∈ E 7→

12 tr (XT V†X) if V 0, rge X ∈ rge V ,

+∞ elseis proper, lsc and sublinear

Hormander’s Theorem⇒ cl φ is a support function

Page 178: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

The closure of the matrix-fractional function

Put E := Rn×m × Sn .

φ : (X ,V) ∈ E 7→

12 tr (XT V−1X) if V 0,

+∞ else. (matrix-fractional function)

Schur⇒ epi φ =

(X ,V , α)| ∃Y ∈ Sm :

(V X

XT Y

) 0, V 0, 1

2 tr (Y) ≤ α

⇒ φ proper, sublinear and not lsc.

⇒ cl φ : (X ,V) ∈ E 7→

12 tr (XT V†X) if V 0, rge X ∈ rge V ,

+∞ elseis proper, lsc and sublinear

Hormander’s Theorem⇒ cl φ is a support function

Page 179: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

The closure of the matrix-fractional function

Put E := Rn×m × Sn .

φ : (X ,V) ∈ E 7→

12 tr (XT V−1X) if V 0,

+∞ else. (matrix-fractional function)

Schur⇒ epi φ =

(X ,V , α)| ∃Y ∈ Sm :

(V X

XT Y

) 0, V 0, 1

2 tr (Y) ≤ α

⇒ φ proper, sublinear and not lsc.

⇒ cl φ : (X ,V) ∈ E 7→

12 tr (XT V†X) if V 0, rge X ∈ rge V ,

+∞ elseis proper, lsc and sublinear

Hormander’s Theorem⇒ cl φ is a support function

Page 180: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

The closure of the matrix-fractional function

Put E := Rn×m × Sn .

φ : (X ,V) ∈ E 7→

12 tr (XT V−1X) if V 0,

+∞ else. (matrix-fractional function)

Schur⇒ epi φ =

(X ,V , α)| ∃Y ∈ Sm :

(V X

XT Y

) 0, V 0, 1

2 tr (Y) ≤ α

⇒ φ proper, sublinear and not lsc.

⇒ cl φ : (X ,V) ∈ E 7→

12 tr (XT V†X) if V 0, rge X ∈ rge V ,

+∞ elseis proper, lsc and sublinear

Hormander’s Theorem⇒ cl φ is a support function

Page 181: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

The closure of the matrix-fractional function

Put E := Rn×m × Sn .

φ : (X ,V) ∈ E 7→

12 tr (XT V−1X) if V 0,

+∞ else. (matrix-fractional function)

Schur⇒ epi φ =

(X ,V , α)| ∃Y ∈ Sm :

(V X

XT Y

) 0, V 0, 1

2 tr (Y) ≤ α

⇒ φ proper, sublinear and not lsc.

⇒ cl φ : (X ,V) ∈ E 7→

12 tr (XT V†X) if V 0, rge X ∈ rge V ,

+∞ elseis proper, lsc and sublinear

Hormander’s Theorem⇒ cl φ is a support function

Page 182: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation III: Quadratic programming

For A ∈ Rp×n and V ∈ Sn put

M(V) :=(

V ATA 0

)and KA :=

V ∈ Sn

∣∣∣ uT Vu ≥ 0 (u ∈ ker A).

Theorem 28 (Burke, H. ’15).

For b ∈ rge A, we have

infu∈Rn

12

uT Vu − xT u | Au = b

=

−12

(xb

)T

M(V)†(

xb

)if x ∈ rge [V AT ], V ∈ KA ,

−∞ else.

Question: For A ∈ Rp×n ,B ∈ Rp×m , is

ϕA ,B : (X ,V) ∈ E 7→

12 tr

((X

B)T

M(V)†(XB)

)if rge (X

B) ⊂ rge M(V), V ∈ KA ,

+∞ else

a support function?

Page 183: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation III: Quadratic programming

For A ∈ Rp×n and V ∈ Sn put

M(V) :=(

V ATA 0

)and KA :=

V ∈ Sn

∣∣∣ uT Vu ≥ 0 (u ∈ ker A).

Theorem 28 (Burke, H. ’15).

For b ∈ rge A, we have

infu∈Rn

12

uT Vu − xT u | Au = b

=

−12

(xb

)T

M(V)†(

xb

)if x ∈ rge [V AT ], V ∈ KA ,

−∞ else.

Question: For A ∈ Rp×n ,B ∈ Rp×m , is

ϕA ,B : (X ,V) ∈ E 7→

12 tr

((X

B)T

M(V)†(XB)

)if rge (X

B) ⊂ rge M(V), V ∈ KA ,

+∞ else

a support function?

Page 184: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

Motivation III: Quadratic programming

For A ∈ Rp×n and V ∈ Sn put

M(V) :=(

V ATA 0

)and KA :=

V ∈ Sn

∣∣∣ uT Vu ≥ 0 (u ∈ ker A).

Theorem 28 (Burke, H. ’15).

For b ∈ rge A, we have

infu∈Rn

12

uT Vu − xT u | Au = b

=

−12

(xb

)T

M(V)†(

xb

)if x ∈ rge [V AT ], V ∈ KA ,

−∞ else.

Question: For A ∈ Rp×n ,B ∈ Rp×m , is

ϕA ,B : (X ,V) ∈ E 7→

12 tr

((X

B)T

M(V)†(XB)

)if rge (X

B) ⊂ rge M(V), V ∈ KA ,

+∞ else

a support function?

Page 185: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

A new class of matrix support functionsDefine

D(A ,B) :=

(Y ,−

12

YYT)∈ E

∣∣∣ Y ∈ Rn×m : AY = B

(A ∈ Rp×n ,B ∈ Rp×m).

Theorem 29 (Burke, H. ’15).

For rge B ⊂ rge A

σD(A ,B)(X ,V) =

12 tr

((X

B)T

M(V)†(XB)

)if rge (X

B) ⊂ rge M(V), V ∈ KA ,

+∞ else((X ,V) ∈ E)

withint (domσD(A ,B)) =

(X ,V) ∈ E | V ∈ intKA

.

In particular,

σD(0,0)(X ,V) =

12 tr (XT V†X) if V 0, rge X ⊂ rge V ,

+∞ else = cl φ(X ,V).

Proof.Blackboard/Notes.

Page 186: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

A new class of matrix support functionsDefine

D(A ,B) :=

(Y ,−

12

YYT)∈ E

∣∣∣ Y ∈ Rn×m : AY = B

(A ∈ Rp×n ,B ∈ Rp×m).

Theorem 29 (Burke, H. ’15).

For rge B ⊂ rge A

σD(A ,B)(X ,V) =

12 tr

((X

B)T

M(V)†(XB)

)if rge (X

B) ⊂ rge M(V), V ∈ KA ,

+∞ else((X ,V) ∈ E)

withint (domσD(A ,B)) =

(X ,V) ∈ E | V ∈ intKA

.

In particular,

σD(0,0)(X ,V) =

12 tr (XT V†X) if V 0, rge X ⊂ rge V ,

+∞ else = cl φ(X ,V).

Proof.Blackboard/Notes.

Page 187: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The generalized matrix-fractional function

A new class of matrix support functionsDefine

D(A ,B) :=

(Y ,−

12

YYT)∈ E

∣∣∣ Y ∈ Rn×m : AY = B

(A ∈ Rp×n ,B ∈ Rp×m).

Theorem 29 (Burke, H. ’15).

For rge B ⊂ rge A

σD(A ,B)(X ,V) =

12 tr

((X

B)T

M(V)†(XB)

)if rge (X

B) ⊂ rge M(V), V ∈ KA ,

+∞ else((X ,V) ∈ E)

withint (domσD(A ,B)) =

(X ,V) ∈ E | V ∈ intKA

.

In particular,

σD(0,0)(X ,V) =

12 tr (XT V†X) if V 0, rge X ⊂ rge V ,

+∞ else = cl φ(X ,V).

Proof.Blackboard/Notes.

Page 188: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Closed convex hull of D(A ,B) : Caratheodory-based description

Recall

∂σD(A ,B)(X ,V) =(Y ,W) ∈ convD(A ,B)

∣∣∣ (X ,V) ∈ NconvD(A ,B)(Y ,W)

and σD(A ,B) = δ∗convD(A ,B)

where

D(A ,B) :=

(Y ,−

12

YYT)∈ E

∣∣∣ Y ∈ Rn×m : AY = B.

Proposition 30 (Burke, H. ’15).

convD(A ,B) =

(Z(d ⊗ Im),−

12

ZZT )∣∣∣ (d,Z) ∈ F (A ,B)

.6

where

F (A ,B) :=

(d,Z) ∈ Rκ+1 × Rn×m(κ+1)

∣∣∣∣∣∣ d ≥ 0, ‖d‖ = 1,

AZi = diB (i = 1, . . . , κ + 1)

.7

6d ⊗ Im = (di Im) ∈ Rm(κ+1)

7κ := dimE

Page 189: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Closed convex hull of D(A ,B) : Caratheodory-based description

Recall

∂σD(A ,B)(X ,V) =(Y ,W) ∈ convD(A ,B)

∣∣∣ (X ,V) ∈ NconvD(A ,B)(Y ,W)

and σD(A ,B) = δ∗convD(A ,B)

where

D(A ,B) :=

(Y ,−

12

YYT)∈ E

∣∣∣ Y ∈ Rn×m : AY = B.

Proposition 30 (Burke, H. ’15).

convD(A ,B) =

(Z(d ⊗ Im),−

12

ZZT )∣∣∣ (d,Z) ∈ F (A ,B)

.6

where

F (A ,B) :=

(d,Z) ∈ Rκ+1 × Rn×m(κ+1)

∣∣∣∣∣∣ d ≥ 0, ‖d‖ = 1,

AZi = diB (i = 1, . . . , κ + 1)

.7

6d ⊗ Im = (di Im) ∈ Rm(κ+1)

7κ := dimE

Page 190: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Closed convex hull of D(A ,B) : A new descriptionDefine

Ω(A ,B) :=

(Y ,W) ∈ E

∣∣∣∣∣ AY = B and12

YYT + W ∈ KA

, (13)

and observe thatKA = R+conv

−vvT | v ∈ ker A

.

Theorem 31 (Burke, Gao, H. ’17).

We haveconvD(A ,B) = Ω(A ,B).

In particular,

convD(0, 0) =

(Y ,W) ∈ E

∣∣∣∣∣ AY = B and12

YYT + W 0.

Proof.Notes.

Corollary 32 (Conjugate of GMF).

We haveσ∗D(A ,B) = δΩ(A ,B).

Page 191: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Closed convex hull of D(A ,B) : A new descriptionDefine

Ω(A ,B) :=

(Y ,W) ∈ E

∣∣∣∣∣ AY = B and12

YYT + W ∈ KA

, (13)

and observe thatKA = R+conv

−vvT | v ∈ ker A

.

Theorem 31 (Burke, Gao, H. ’17).

We haveconvD(A ,B) = Ω(A ,B).

In particular,

convD(0, 0) =

(Y ,W) ∈ E

∣∣∣∣∣ AY = B and12

YYT + W 0.

Proof.Notes.

Corollary 32 (Conjugate of GMF).

We haveσ∗D(A ,B) = δΩ(A ,B).

Page 192: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Closed convex hull of D(A ,B) : A new descriptionDefine

Ω(A ,B) :=

(Y ,W) ∈ E

∣∣∣∣∣ AY = B and12

YYT + W ∈ KA

, (13)

and observe thatKA = R+conv

−vvT | v ∈ ker A

.

Theorem 31 (Burke, Gao, H. ’17).

We haveconvD(A ,B) = Ω(A ,B).

In particular,

convD(0, 0) =

(Y ,W) ∈ E

∣∣∣∣∣ AY = B and12

YYT + W 0.

Proof.Notes.

Corollary 32 (Conjugate of GMF).

We haveσ∗D(A ,B) = δΩ(A ,B).

Page 193: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Convex geometry of Ω(A ,B)

Recall that Ω(A ,B) :=(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ KA

Proposition 33 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above. Then:

a) ri Ω(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ ri (KA )

.

b) affΩ(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ spanKA

.

c) Ω(A ,B) =(X ,V)

∣∣∣∣∣ rge (XB) ⊂ rge M(V), V ∈ KA ,

12 tr

((X

B)T

M(V)†(XB)

)≤ 1

.

d) Ω(A ,B)∞ = 0n×m × KA .

Proposition 34 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above and let (Y ,W) ∈ Ω(A ,B). Then

NΩ(A ,B)(Y ,W) =

(X ,V) ∈ E

∣∣∣∣∣∣∣∣∣V ∈ KA ,

⟨V ,

12

YYT + W⟩

= 0

and rge (X − VY) ⊂ (ker A)⊥

.

Page 194: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Convex geometry of Ω(A ,B)

Recall that Ω(A ,B) :=(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ KA

Proposition 33 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above. Then:

a) ri Ω(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ ri (KA )

.

b) affΩ(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ spanKA

.

c) Ω(A ,B) =(X ,V)

∣∣∣∣∣ rge (XB) ⊂ rge M(V), V ∈ KA ,

12 tr

((X

B)T

M(V)†(XB)

)≤ 1

.

d) Ω(A ,B)∞ = 0n×m × KA .

Proposition 34 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above and let (Y ,W) ∈ Ω(A ,B). Then

NΩ(A ,B)(Y ,W) =

(X ,V) ∈ E

∣∣∣∣∣∣∣∣∣V ∈ KA ,

⟨V ,

12

YYT + W⟩

= 0

and rge (X − VY) ⊂ (ker A)⊥

.

Page 195: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Convex geometry of Ω(A ,B)

Recall that Ω(A ,B) :=(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ KA

Proposition 33 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above. Then:

a) ri Ω(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ ri (KA )

.

b) affΩ(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ spanKA

.

c) Ω(A ,B) =(X ,V)

∣∣∣∣∣ rge (XB) ⊂ rge M(V), V ∈ KA ,

12 tr

((X

B)T

M(V)†(XB)

)≤ 1

.

d) Ω(A ,B)∞ = 0n×m × KA .

Proposition 34 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above and let (Y ,W) ∈ Ω(A ,B). Then

NΩ(A ,B)(Y ,W) =

(X ,V) ∈ E

∣∣∣∣∣∣∣∣∣V ∈ KA ,

⟨V ,

12

YYT + W⟩

= 0

and rge (X − VY) ⊂ (ker A)⊥

.

Page 196: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Convex geometry of Ω(A ,B)

Recall that Ω(A ,B) :=(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ KA

Proposition 33 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above. Then:

a) ri Ω(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ ri (KA )

.

b) affΩ(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ spanKA

.

c) Ω(A ,B) =(X ,V)

∣∣∣∣∣ rge (XB) ⊂ rge M(V), V ∈ KA ,

12 tr

((X

B)T

M(V)†(XB)

)≤ 1

.

d) Ω(A ,B)∞ = 0n×m × KA .

Proposition 34 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above and let (Y ,W) ∈ Ω(A ,B). Then

NΩ(A ,B)(Y ,W) =

(X ,V) ∈ E

∣∣∣∣∣∣∣∣∣V ∈ KA ,

⟨V ,

12

YYT + W⟩

= 0

and rge (X − VY) ⊂ (ker A)⊥

.

Page 197: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Convex geometry of Ω(A ,B)

Recall that Ω(A ,B) :=(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ KA

Proposition 33 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above. Then:

a) ri Ω(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ ri (KA )

.

b) affΩ(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ spanKA

.

c) Ω(A ,B) =(X ,V)

∣∣∣∣∣ rge (XB) ⊂ rge M(V), V ∈ KA ,

12 tr

((X

B)T

M(V)†(XB)

)≤ 1

.

d) Ω(A ,B)∞ = 0n×m × KA .

Proposition 34 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above and let (Y ,W) ∈ Ω(A ,B). Then

NΩ(A ,B)(Y ,W) =

(X ,V) ∈ E

∣∣∣∣∣∣∣∣∣V ∈ KA ,

⟨V ,

12

YYT + W⟩

= 0

and rge (X − VY) ⊂ (ker A)⊥

.

Page 198: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Convex geometry of Ω(A ,B)

Recall that Ω(A ,B) :=(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ KA

Proposition 33 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above. Then:

a) ri Ω(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ ri (KA )

.

b) affΩ(A ,B) =(Y ,W) ∈ E

∣∣∣ AY = B and 12 YYT + W ∈ spanKA

.

c) Ω(A ,B) =(X ,V)

∣∣∣∣∣ rge (XB) ⊂ rge M(V), V ∈ KA ,

12 tr

((X

B)T

M(V)†(XB)

)≤ 1

.

d) Ω(A ,B)∞ = 0n×m × KA .

Proposition 34 (Burke, Gao, H. ’17).

Let Ω(A ,B) be given as above and let (Y ,W) ∈ Ω(A ,B). Then

NΩ(A ,B)(Y ,W) =

(X ,V) ∈ E

∣∣∣∣∣∣∣∣∣V ∈ KA ,

⟨V ,

12

YYT + W⟩

= 0

and rge (X − VY) ⊂ (ker A)⊥

.

Page 199: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Subdifferentiation of the GMFFor any set C recall that

∂σC (x) =z ∈ conv C

∣∣∣ x ∈ Nconv C (z)

(14)

Corollary 35 (The subdifferential of σD(A ,B)).

For all (X ,V) ∈ domσD(A ,B), we have

∂σD(A ,B) =

(Y ,W) ∈ Ω(A ,B)

∣∣∣∣∣∣∣∣∣∣∃Z ∈ Rp×m : X = VY + AT Z ,⟨

V ,12

YYT + W⟩

= 0

.

Corollary 36.

The GMF σD(A ,B) is (continuously) differentiable on the interior of its domain with

∇σD(A ,B)(X ,V) =

(Y ,−

12

YYT)

((X ,V) ∈ int (domσD(A ,B)))

where Y := A†B + (P(PT VP)−1PT )(X − A†X), P ∈ Rn×(n−p) is any matrix whose columns form anorthonormal basis of ker A and p := rank A.

Page 200: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Subdifferentiation of the GMFFor any set C recall that

∂σC (x) =z ∈ conv C

∣∣∣ x ∈ Nconv C (z)

(14)

Corollary 35 (The subdifferential of σD(A ,B)).

For all (X ,V) ∈ domσD(A ,B), we have

∂σD(A ,B) =

(Y ,W) ∈ Ω(A ,B)

∣∣∣∣∣∣∣∣∣∣∃Z ∈ Rp×m : X = VY + AT Z ,⟨

V ,12

YYT + W⟩

= 0

.

Corollary 36.

The GMF σD(A ,B) is (continuously) differentiable on the interior of its domain with

∇σD(A ,B)(X ,V) =

(Y ,−

12

YYT)

((X ,V) ∈ int (domσD(A ,B)))

where Y := A†B + (P(PT VP)−1PT )(X − A†X), P ∈ Rn×(n−p) is any matrix whose columns form anorthonormal basis of ker A and p := rank A.

Page 201: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

The closed convex hull of D(A ,B) with applications

Subdifferentiation of the GMFFor any set C recall that

∂σC (x) =z ∈ conv C

∣∣∣ x ∈ Nconv C (z)

(14)

Corollary 35 (The subdifferential of σD(A ,B)).

For all (X ,V) ∈ domσD(A ,B), we have

∂σD(A ,B) =

(Y ,W) ∈ Ω(A ,B)

∣∣∣∣∣∣∣∣∣∣∃Z ∈ Rp×m : X = VY + AT Z ,⟨

V ,12

YYT + W⟩

= 0

.

Corollary 36.

The GMF σD(A ,B) is (continuously) differentiable on the interior of its domain with

∇σD(A ,B)(X ,V) =

(Y ,−

12

YYT)

((X ,V) ∈ int (domσD(A ,B)))

where Y := A†B + (P(PT VP)−1PT )(X − A†X), P ∈ Rn×(n−p) is any matrix whose columns form anorthonormal basis of ker A and p := rank A.

Page 202: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Conjugate of variational Gram functionsFor M ⊂ Sn

+ (w.lo.g.) closed, convex, the associated variational Gram function (VGF) is given by

ΩM : Rn×m → R ∪ +∞, ΩM(X) =12σM(XXT ).

With

F : Rn×m → Sn , F(X) =12

XXT . (15)

ΩM = σM F fits the composite scheme studied in Section 2.

Sn+ is the smallest closed convex cone in Sn with respect to which F is convex;

−hznσM ⊃ Sn+. In particular, F is (−hznσM)-convex.

Theorem 37 (Jalali et al. ’17/ Burke, Gao, H. ’19).

Let M ⊂ Sn+ be nonempty, convex and compact. Then Ω∗M is finite-valued and given by

Ω∗(X) =12

minV∈M

tr (XT V†X)

∣∣∣ rge X ⊂ rge V.

Proof.Blackboard/Notes.

Page 203: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Conjugate of variational Gram functionsFor M ⊂ Sn

+ (w.lo.g.) closed, convex, the associated variational Gram function (VGF) is given by

ΩM : Rn×m → R ∪ +∞, ΩM(X) =12σM(XXT ).

With

F : Rn×m → Sn , F(X) =12

XXT . (15)

ΩM = σM F fits the composite scheme studied in Section 2.

Sn+ is the smallest closed convex cone in Sn with respect to which F is convex;

−hznσM ⊃ Sn+. In particular, F is (−hznσM)-convex.

Theorem 37 (Jalali et al. ’17/ Burke, Gao, H. ’19).

Let M ⊂ Sn+ be nonempty, convex and compact. Then Ω∗M is finite-valued and given by

Ω∗(X) =12

minV∈M

tr (XT V†X)

∣∣∣ rge X ⊂ rge V.

Proof.Blackboard/Notes.

Page 204: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Conjugate of variational Gram functionsFor M ⊂ Sn

+ (w.lo.g.) closed, convex, the associated variational Gram function (VGF) is given by

ΩM : Rn×m → R ∪ +∞, ΩM(X) =12σM(XXT ).

With

F : Rn×m → Sn , F(X) =12

XXT . (15)

ΩM = σM F fits the composite scheme studied in Section 2.

Sn+ is the smallest closed convex cone in Sn with respect to which F is convex;

−hznσM ⊃ Sn+. In particular, F is (−hznσM)-convex.

Theorem 37 (Jalali et al. ’17/ Burke, Gao, H. ’19).

Let M ⊂ Sn+ be nonempty, convex and compact. Then Ω∗M is finite-valued and given by

Ω∗(X) =12

minV∈M

tr (XT V†X)

∣∣∣ rge X ⊂ rge V.

Proof.Blackboard/Notes.

Page 205: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Nuclear norm smoothingFor A ∈ Rp×n set

Ker A :=V ∈ Rn×n | AV = 0

and Rge A :=

W ∈ Rn×n

∣∣∣ rge W ⊂ rge A.

Theorem 38.Let p : Rn×m → R be defined by

p(X) = infV∈Sn

σΩ(A ,0)(X ,V) +⟨U, V

⟩for some U ∈ Sn

+ ∩ Ker A and set C(U) :=Y

∣∣∣ 12 YYT U

. Then we have:

a) p∗ = δC(U)∩Ker A is closed, proper, convex.

b) p = σC(U)∩Ker A = γC(U)+Rge AT is sublinear, finite-valued, nonnegative and symmetric (i.e. aseminorm).

c) If U 0 with 2U = LLT (L ∈ Rn×n) and A = 0 then p = σC(U) = ‖LT (·)‖∗, i.e. p is a norm withC(U) as its unit ball and γC(U) as its dual norm.

Proof.Blackboard/Notes.

Page 206: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Nuclear norm smoothingFor A ∈ Rp×n set

Ker A :=V ∈ Rn×n | AV = 0

and Rge A :=

W ∈ Rn×n

∣∣∣ rge W ⊂ rge A.

Theorem 38.Let p : Rn×m → R be defined by

p(X) = infV∈Sn

σΩ(A ,0)(X ,V) +⟨U, V

⟩for some U ∈ Sn

+ ∩ Ker A and set C(U) :=Y

∣∣∣ 12 YYT U

. Then we have:

a) p∗ = δC(U)∩Ker A is closed, proper, convex.

b) p = σC(U)∩Ker A = γC(U)+Rge AT is sublinear, finite-valued, nonnegative and symmetric (i.e. aseminorm).

c) If U 0 with 2U = LLT (L ∈ Rn×n) and A = 0 then p = σC(U) = ‖LT (·)‖∗, i.e. p is a norm withC(U) as its unit ball and γC(U) as its dual norm.

Proof.Blackboard/Notes.

Page 207: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Current and future directions

K -convexity

When is conv (gph F) = K -epi F for F K -convex ?

Subdifferential analysis for convex convex-composites, unification with the nonconvexconvex-composite case (BCQ etc.)Learn more about existing literature!

Generalized matrix-fractional function

Systematic study of (partial) infimal projections

p(X) = infV∈Sn

σΩ(A ,B)(X ,V) + h(V).

for h ∈ Γ0(Sn). → SIOPT article to appear.Numerical methods based on GMF.Compute (analytically/numerically) the projection onto Ω(A ,B) (→ projection/proximal-basedalgorithms).

Page 208: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Current and future directions

K -convexity

When is conv (gph F) = K -epi F for F K -convex ?Subdifferential analysis for convex convex-composites, unification with the nonconvexconvex-composite case (BCQ etc.)

Learn more about existing literature!

Generalized matrix-fractional function

Systematic study of (partial) infimal projections

p(X) = infV∈Sn

σΩ(A ,B)(X ,V) + h(V).

for h ∈ Γ0(Sn). → SIOPT article to appear.Numerical methods based on GMF.Compute (analytically/numerically) the projection onto Ω(A ,B) (→ projection/proximal-basedalgorithms).

Page 209: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Current and future directions

K -convexity

When is conv (gph F) = K -epi F for F K -convex ?Subdifferential analysis for convex convex-composites, unification with the nonconvexconvex-composite case (BCQ etc.)Learn more about existing literature!

Generalized matrix-fractional function

Systematic study of (partial) infimal projections

p(X) = infV∈Sn

σΩ(A ,B)(X ,V) + h(V).

for h ∈ Γ0(Sn). → SIOPT article to appear.Numerical methods based on GMF.Compute (analytically/numerically) the projection onto Ω(A ,B) (→ projection/proximal-basedalgorithms).

Page 210: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Current and future directions

K -convexity

When is conv (gph F) = K -epi F for F K -convex ?Subdifferential analysis for convex convex-composites, unification with the nonconvexconvex-composite case (BCQ etc.)Learn more about existing literature!

Generalized matrix-fractional function

Systematic study of (partial) infimal projections

p(X) = infV∈Sn

σΩ(A ,B)(X ,V) + h(V).

for h ∈ Γ0(Sn). → SIOPT article to appear.

Numerical methods based on GMF.Compute (analytically/numerically) the projection onto Ω(A ,B) (→ projection/proximal-basedalgorithms).

Page 211: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Current and future directions

K -convexity

When is conv (gph F) = K -epi F for F K -convex ?Subdifferential analysis for convex convex-composites, unification with the nonconvexconvex-composite case (BCQ etc.)Learn more about existing literature!

Generalized matrix-fractional function

Systematic study of (partial) infimal projections

p(X) = infV∈Sn

σΩ(A ,B)(X ,V) + h(V).

for h ∈ Γ0(Sn). → SIOPT article to appear.Numerical methods based on GMF.

Compute (analytically/numerically) the projection onto Ω(A ,B) (→ projection/proximal-basedalgorithms).

Page 212: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Current and future directions

K -convexity

When is conv (gph F) = K -epi F for F K -convex ?Subdifferential analysis for convex convex-composites, unification with the nonconvexconvex-composite case (BCQ etc.)Learn more about existing literature!

Generalized matrix-fractional function

Systematic study of (partial) infimal projections

p(X) = infV∈Sn

σΩ(A ,B)(X ,V) + h(V).

for h ∈ Γ0(Sn). → SIOPT article to appear.Numerical methods based on GMF.Compute (analytically/numerically) the projection onto Ω(A ,B) (→ projection/proximal-basedalgorithms).

Page 213: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

Current and future directions

K -convexity

When is conv (gph F) = K -epi F for F K -convex ?Subdifferential analysis for convex convex-composites, unification with the nonconvexconvex-composite case (BCQ etc.)Learn more about existing literature!

Generalized matrix-fractional function

Systematic study of (partial) infimal projections

p(X) = infV∈Sn

σΩ(A ,B)(X ,V) + h(V).

for h ∈ Γ0(Sn). → SIOPT article to appear.Numerical methods based on GMF.Compute (analytically/numerically) the projection onto Ω(A ,B) (→ projection/proximal-basedalgorithms).

Page 214: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

References

H. Attouch and H. Brezis: Duality for the Sum of Convex Functions in General Banach Spaces. InAspects of Mathematics and its Applications, Eds. l.A. Barroso, North Holland, Amsterdam, 1986,pp.125–133.

H.H. Bauschke and P.L. Combettes: Convex analysis and Monotone Operator Theory in HilbertSpaces. CMS Books in Mathematics, Springer-Verlag, New York, 2011.

J.V. Burke and T. Hoheisel: Matrix support functionals for inverse problems, regularization, andlearning. SIAM Journal on Optimization 25(2), 2015, pp. 1135–1159.

J.V. Burke, T. Hoheisel, and Y. Gao: Convex geometry of the generalized matrix-fractional function.SIAM Journal on Optimization 28(3), 2018, pp. 2189–2200.

J.V. Burke, T. Hoheisel, and Y. Gao: Variational properties of matrix functions via the generalizedmatrix-fractional function. SIAM Journal on Optimization, to appear.

J.V. Burke, T. Hoheisel, and Q.V. Nguyen: A note on the Fenchel conjugate of composite functionsvia infimal convolution. Working paper, McGill University, 2019.

M. Fazel, H. Hindi, and S. Boyd: A Rank Minimization Heuristic with Application to Minimum OrderSystem Approximation. Proceedings of the American Control Conference, Arlington, Virginia, June2001.

Page 215: Topics in Convex Analysis - McGill University · Topics in Convex Analysis Tim Hoheisel (McGill University, Montreal) Spring School on Variational Analysis Paseky, May 19–25, 2019.

Fundamentals from Convex Analysis Conjugacy of composite functions via K -convexity and inf-convolution A new class of matrix support functionals

Applications of the GMF

L. Hormander: Sur la fonction d’appui des ensembles convexes dans un espace localementconvexe. Arkiv for Matematik 21(3), 1955, pp. 181–186.

C.-J. Hsieh and P. Olsen: Nuclear norm minimization via active subspace selection. Proceedings ofthe 31st International Conference on Machine Learning (ICML-14), 2014, pp. 575-583.

A. Jalali, M. Fazel, and L. Xiao: Variational Gram functions: Convex analysis and optimization.SIAM Journal on Optimimization 27(4), 2017, pp. 2634–2661.

Teemu Pennanen: Graph-Convex Mappings and K-Convex Functions. Journal of Convex Analysis6(2), 1999, pp. 235–266.

R.T. Rockafellar: Convex Analysis. Princeton University Press, Princeton, New Jersey, 1970.

R.T. Rockafellar and R.J.-B. Wets: Variational Analysis. A Series of Comprehensive Studies inMathematics, Vol. 317, Springer, Berlin, Heidelberg, 1998.

J.F. Toland: A duality principle for non-convex optimisation and the calculus of variations. Archivefor Rational Mechanics and Analysis 71(1), 1979, pp. 41-61.