Anti-selfdual Hamiltonians: Variational resolutions for Navier-Stokes and other nonlinear evolutions, , November 27, 2006

Contents

1 Introduction

A new variational framework was developed in [8] where solutions of various equations, not normally of Euler-Lagrange type, can still be obtained as minima of functionals of the form

I (u) = L (u, A u) + ℓ (b_{1} (x), b_{2} (x)) o r I (u) = \int_{0}^{T} L (t, u (t), \dot{u} (t) + A u (t)) d t + ℓ (u (0), u (T)) .

The Lagrangians

L

(and

ℓ

) must obey certain anti-selfdual conditions, while the operators

A

are essentially skew-adjoint modulo boundary terms represented by a pair of operators

(b_{1}, b_{2})

. For such “anti-selfdual” (ASD) Lagrangians, the minimal value will always be zero and –just like the self (and antiself ) dual equations of quantum field theory (e.g. Yang-Mills and others)– the equations associated to such minima are not derived from the fact they are critical points of the functional

I

, but because they are also zeroes of the Lagrangian

L

itself. In other words, the solutions will satisfy

L (u, A u) + 〈 u, A u 〉 = 0 a n d L (t, u (t), \dot{u} (t) + A_{t} u (t)) + 〈 u (t), \dot{u} (t) 〉 = 0 .

It is also shown in [8] that ASD Lagrangians possess remarkable permanence properties making them more prevalent than expected and quite easy to construct and/or identify. The variational game changes from the analytical proofs of existence of extremals for general action functionals, to a more algebraic search of an appropriate ASD Lagrangian for which the minimization problem is remarkably simple with value always equal to zero. This makes them efficient new tools for proving existence and uniqueness results for a large array of differential equations.

In this paper, we tackle boundary value problems of the form:

\begin{matrix} {\begin{matrix} - Λ u - A u + f & \in & \partial φ (u) \\ b_{1} (u) & = & 0 \end{matrix} \end{matrix}

(1)

as well as parabolic evolution equations of the form:

\begin{matrix} {\begin{matrix} - \dot{u} (t) - Λ u (t) - A u (t) & \in & \partial φ (t, u (t)) a . e . t \in [0, T] \\ b_{1} (u (t)) & = & b_{1} (u_{0}) a . e t \in [0, T] \\ u (0) & = & u_{0} \end{matrix} \end{matrix}

(2)

where

u_{0}

is a given initial value. Here

φ

is a convex lower semicontinuous functional,

Λ

is a non-linear “conservative” operator,

A

is a linear not necessarily bounded but essentially skew-adjoint operator modulo the operators

(b_{1}, b_{2})

As applications to our method, we provide a variational resolution to equations involving nonlinear operators such as the Navier-Stokes equation for a fluid driven by its boundary:

{\begin{matrix} (u \cdot \nabla) u + f & = & ν Δ u - \nabla p o n Ω \\ d i v u & = & 0 o n Ω \\ u & = & u^{0} o n \partial Ω \end{matrix}

where

u^{0} \in H^{3 / 2} (\partial Ω)

is such that

\int_{\partial Ω} u^{0} \cdot n d σ = 0

ν > 0

and

f \in L^{p} (Ω; R^{3})

We can also deal with the superposition of such non-linear operators with non self-adjoint first order operators such as linear transport maps:

{\begin{matrix} (u \cdot \nabla) u + \vec{a} \cdot \nabla u + a_{0} u + | u |^{m - 2} u + f & = & ν Δ u - \nabla p o n Ω \\ d i v u & = & 0 o n Ω \\ u & = & 0 o n \partial Ω \end{matrix}

where

\vec{a} \in C^{\infty} (\bar{Ω})

is a smooth vector field and

a_{0} \in L^{\infty}

are such that

a_{0} - \frac{1}{2} d i v (a) \geq 0

The methods extend to the dynamic case where typically we give a variational resolution to the Navier-Stokes evolution

{\begin{matrix} \frac{\partial u}{\partial t} + (u \cdot \nabla) u - f & = & ν Δ u - \nabla p o n [0, T] \times Ω \\ d i v u & = & 0 o n [0, T] \times Ω \\ u (t, x) & = & 0 o n [0, T] \times \partial Ω \\ u (0, x) & = & u_{0} (x) o n Ω . \end{matrix}

The paper, though sufficiently self-contained, is better read in conjunction with [8] . It is organized as follows: In section 2, we introduce the concept of anti-selfdual Hamiltonian which is the appropriate dual notion to anti-selfdual Lagrangians. In section 3, we give the main non-linear variational principle, which is applied in section 4 to obtain variational proofs for the existence of stationary solutions for various nonlinear equations of Lax-Milgram type. In section 5, we deal with the dynamic case where we provide a variational resolution to several nonlinear parabolic initial-value problems, including those appearing in the basic models hydro-dynamics.

2 Basic properties of Anti-selfdual Hamiltonians

Definition 2.1 Let

X

be a reflexive Banach space. Say that a functional

H : X \times X \to R \cup {+ \infty} \cup {- \infty}

is an anti-selfdual Hamiltonian if for each

y \in X

, the function

x \to - H (x, y)

from

X

R \cup {+ \infty} \cup {- \infty}

is convex and the function

x \to H (- y, - x)

is its convex lower semi-continuous envelope.

It readily follows that for an ASD Hamiltonian

H

, the function

y \to H (x, y)

is convex and lower semi-continuous for each

x \in X

, and that the following inequality holds for every

(x, y) \in X \times X

\begin{matrix} H (- y, - x) \leq - H (x, y), \end{matrix}

(3)

In particular, we have for every

x \in X

\begin{matrix} H (x, - x) \leq 0 . \end{matrix}

(4)

The class of anti-selfdual Hamiltonian on a space

X

, will be denoted by

ℋ_{A D} (X)

. The most basic ASD Hamiltonian is

H (x, y) = ∥ y ∥^{2} - ∥ x ∥^{2}

(Maxwell's Hamiltonian) or more generally

H (x, y) = φ (- y) - φ (x)

where

φ

is any finite convex lower semi-continuous function on

X

. More generally, if

B : X \to X^{*}

is a skew-adjoint bounded linear operator,

f \in X^{*}

, and if

φ : X \to R \cup {+ \infty}

is proper convex and lower semi-continuous, then

\begin{matrix} H (x, y) = {\begin{matrix} φ (- y) - φ (x) - 〈 B x, y 〉 + 〈 f, x + y 〉 & i f x \in D o m (φ) \\ - \infty & i f x / \in D o m (φ) \end{matrix} \end{matrix}

(5)

is also an anti-selfdual Hamiltonian. We define the (partial) domain of

H

to be

\begin{matrix} D o m_{1} (H) = {x \in X; H (x, y) > - \infty f o r a l l y \in X} . \end{matrix}

(6)

Note that if

φ

is a convex lower semi-continuous function that is bounded below on

X

, and if

H (x, y) = φ (- y) - φ (x)

is the anti-selfdual Hamiltonian associated to

φ

, then

D o m_{1} H = D o m φ

Note also that for any

z \in D o m_{1} (H)

, we have that the function

φ_{z} : x \to - H (x, - z)

is convex and valued in

R \cup {+ \infty}

. Moreover

D o m_{1} (H) \subset D o m (φ_{z})

, hence for any

z, y \in D o m_{1} (H)

H (z, - y) = - H (y, - z) i f a n d o n l y i f t h e f u n c t i o n x \to H (x, - z) i s u p p e r s e m i - c o n t i n u o u s a t y .

We can now introduce the following

Definition 2.2 Say that an Anti-selfdual Hamiltonian

H : X \times X \to R

is tempered if for every

y \in D o m_{1} (H)

, the function

x \to H (x, - y)

is concave and upper semi-continuous from

X

R \cup {- \infty}

It then follows that

\begin{matrix} H (y, x) = - H (- x, - y) f o r a l l (x, y) \in X \times D o m_{1} (H) . \end{matrix}

(7)

and therefore

\begin{matrix} H (x, - x) = 0 f o r a l l x \in D o m_{1} (H) . \end{matrix}

(8)

The class of tempered anti-selfdual Hamiltonian on a space

X

, will be denoted by

ℋ_{T A D} (X)

The most basic tempered ASD Hamiltonian is

H (x, y) = φ (y) - φ (- x) + 〈 x, B y 〉 + 〈 f, x + y 〉

where

φ

is any finite convex lower semi-continuous function on

X

f \in X^{*}

, and where

B : X \to X^{*}

is a skew-adjoint bounded linear operator. Tempered ASD Hamiltonians satisfy some obvious permanence properties that we summarize in the following proposition.

Proposition 2.1 Let

X

be a reflexive Banach space, then the following holds:

1. If $H$ and $K$ are in $ℋ_{T A D} (X)$ and $λ > 0$ , then the Hamiltonians $H + K$ (defined as $- \infty$ if the first variable is not in $D o m_{1} (H) \cap D o m_{1} (K)$ ), and $λ \cdot H$ also belong to $ℋ_{T A D} (X)$ .
2. If $H_{i} \in ℋ_{T A D} (X_{i})$ where $X_{i}$ is a reflexive Banach space for each $i \in I$ , then the Hamiltonian $H : = Σ_{i \in I} H_{i}$ defined by $H ((x_{i})_{i}, (y_{i})_{i}) = Σ_{i \in I} H_{i} (x_{i}, y_{i})$ is in $ℋ_{T A D} (Π_{i \in I} X_{i})$ .
3. If $H \in ℋ_{T A D} (X)$ and $B : X \to X^{*}$ is a skew-adjoint bounded linear operator then the Hamiltonian $H_{B}$ defined by $H_{B} (x, y) = H (x, y) + 〈 B x, y 〉$ is also in $ℋ_{T A D} (X)$ .
4. If $H \in ℋ_{T A D} (X)$ and $K \in ℋ_{T A D} (Y)$ , then for any bounded linear operator $A : X \to Y^{*}$ , the Hamiltonian $H +_{A} K$ defined by $(H +_{A} K) ((x, y), (z, w)) = H (x, z) + K (y, w) + 〈 A^{*} y, z 〉 - 〈 A x, w 〉$ belongs to $ℋ_{T A D} (X \times Y)$ .
5. If $φ$ is a proper convex lower semi-continuous function on $X \times Y$ and $A$ is any bounded linear operator $A : X \to Y^{*}$ , then the Hamiltonian $H_{φ, A}$ defined by $H_{φ, A} ((x, y), (z, w)) = φ (- z, - w) - φ (x, y) + 〈 A^{*} y, z 〉 - 〈 A x, w 〉$ also belongs to $ℋ_{T A D} (X \times Y)$

This notion is in a certain sense dual to the notion of anti-selfdual Lagrangian introduced and developed in [8] . Indeed, let

ℒ (X)

be the class of convex Lagrangians on a reflexive Banach space

X

. These are all functions

L : X \times X^{*} \to R \cup {+ \infty}

which are convex and lower semi-continuous (in both variables) and which are not identically

+ \infty

. The (partial) domain of the Lagrangian

L

is defined as

\begin{matrix} D o m_{1} (L) = {x \in X; L (x, p) < + \infty f o r s o m e p \in X^{*}} . \end{matrix}

(9)

To each Lagrangian

L

X \times X^{*}

, we can associate its Hamiltonian on

X \times X

defined as the Legendre transform in the second variable, i.e.,

H_{L} (x, y) : = sup {〈 p, y 〉 - L (x, p); p \in X^{*}} .

It is clear that

D o m_{1} (L) = D o m_{1} (H_{L})

The Legendre-Fenchel dual (in both variables) of

L

is defined at any pair

(q, y) \in X^{*} \times X

by:

L^{*} (q, y) = sup {〈 q, x 〉 + 〈 y, p 〉 - L (x, p); x \in X, p \in X^{*}} .

We recall the notion of anti-selfdual Lagrangians developed in [8] .

Definition 2.3 Let

L

be a Lagrangian in

ℒ (X)

. We say that (1)

L

is an anti-self dual Lagrangian on

X \times X^{*}

, if

\begin{matrix} L^{*} (p, x) = L (- x, - p) f o r a l l (p, x) \in X^{*} \times X . \end{matrix}

(10)

(2)

L

is anti-self dual on the graph of

Λ

, the latter being a map from a subset

D \subset X

into

X^{*}

, if

\begin{matrix} L^{*} (Λ x, x) = L (- x, - Λ x) f o r a l l x \in D . \end{matrix}

(11)

We denote by

ℒ_{A D} (X)

the class of ASD-Lagrangians. We now procced to identify the class of Hamiltonians associated to

A S D

-Lagrangians. We denote by

K_{2}^{*}

(resp.,

K_{1}^{*}

) the Legendre dual of a functional

K (x, y)

with respect to the second variable (resp., the first variable), we have the following

Proposition 2.2 Let

L

be an ASD Lagrangian on a reflexive Banach space

X

, then its corresponding Hamiltonian

H = H_{L}

is anti-selfdual.

Proof: Since a Lagrangian

L \in ℒ (X)

is convex in both variables, its corresponding Hamiltoninan

H_{L}

is always concave in the first variable. Also note that the Legendre transform of

- H_{L} (\cdot, y)

with respect to the first variable is related to the Legendre transform in both variables of its Lagrangian in the following way.

\begin{matrix} (- H_{L})_{1}^{*} (p, y) & = & sup {〈 p, x 〉 + H_{L} (x, y); x \in X} \end{matrix}

\begin{matrix} = & sup {〈 p, x 〉 + sup {〈 y, q 〉 - L (x, q); q \in X^{*}}; x \in X} \end{matrix}

\begin{matrix} = & L^{*} (p, y) . \end{matrix}

If now

L

is an ASD Lagrangian, then the convex lower semi-continuous envelope of the function

x \to - H_{L} (x, y)

(i.e., the largest convex lower semi-continuous function below the function

x \to - H_{L} (x, y)

) is

\begin{matrix} (- H_{L})_{1}^{* *} (x, y) & = & sup {〈 p, x 〉 - (- H_{L})_{1}^{*} (p, y); p \in X^{*}} \end{matrix}

\begin{matrix} = & sup {〈 p, x 〉 - L^{*} (p, y); p \in X^{*}} \end{matrix}

\begin{matrix} = & sup {〈 p, x 〉 - L (- y, - p); p \in X^{*}} \end{matrix}

\begin{matrix} = & H_{L} (- y, - x) . \end{matrix}

Note that a characterization of anti-selfdual Hamiltonian that correspond to an ASD Lagrangian (i.e.,

H = H_{L}

for some

L \in ℒ_{A D} (X)

) is that

H_{2}^{*} (- x, - p) = (- H)_{1}^{*} (p, x),

for each

(x, p) \in X \times X^{*}

. In this case, the corresponding ASD Lagrangian is nothing else but

L (x, p) : = H_{2}^{*} (x, p) = (H)_{1}^{*} (- p, - x)

As mentioned above since a Lagrangian

L \in ℒ (X)

is convex in both variables, then its corresponding Hamiltoninan

H_{L}

is always concave in the first variable. However,

H_{L}

is not necessarily upper semi-continuous in the first variable, even if

L

is an anti-selfdual Lagrangian. This leads to the following notion.

Definition 2.4 A Lagrangian

L \in ℒ (X)

will be called tempered if for each

y \in D o m_{1} (H)

, the map

x \to H (x, - y)

from

X

R \cup {- \infty}

is upper semi-continuous.

A typical tempered Lagrangian (resp., tempered ASD-Lagrangian) is

L (x, p) = φ (x) + ψ^{*} (p)

(resp.,

L (x, p) = φ (x) + φ^{*} (- p)

) where

φ

and

ψ

are convex and lower semi-continuous on

X

. We let

ℒ_{_{T}} (X)

denote the class of tempered Lagrangians and

ℒ_{_{T A D}} (X)

the class of tempered ASD Lagrangians on

X

We now recall from [8] a few of the operations defined on the class of Lagrangians

ℒ (X)

and study the permanence properties of the class

ℒ_{T A D} (X)

of tempered ASD Lagrangians.

∙ Addition: If $L, M \in ℒ (X)$ , define the Lagrangian $L \oplus M$ on $X \times X^{*}$ by: $(L \oplus M) (x, p) = inf {L (x, r) + M (x, p - r); r \in X^{*}}$
∙ Convolution: If $L, M \in ℒ (X)$ , define the Lagrangian $L ◆ M$ on $X \times X^{*}$ by: $(L ◆ M) (x, p) = inf {L (z, p) + M (x - z, p); z \in X}$
∙ Right operator shift: If $L \in ℒ (X)$ and $B : X \to X^{*}$ is a bounded linear operator, define the Lagrangian $L_{B}$ on $X \times X^{*}$ by $L_{B} (x, p) : = L (x, B x + p) .$

Lemma 2.5 Let

X

be a reflexive Banach space, then the following hold:

1. If $L$ and $M$ are two Lagrangians in $ℒ (X)$ , then $H_{L \oplus M} (x, y) = H_{L} (x, y) + H_{M} (x, y),$ where $H_{L}$ and $H_{M}$ denote the corresponding Hamiltonians.
2. If $L$ and $M$ are in $ℒ_{A D} (X)$ , then $L^{*} \oplus M^{*} (q, y) = L ◆ M (- y, - q)$ for every $(y, q) \in X \times X^{*}$ .
3. If $L$ is an ASD Lagrangian and $M$ is of the form $M (x, p) = φ (x) + φ^{*} (- p)$ for some convex l.s.c. function $φ$ , then $(L \oplus M)^{*} = L^{*} ◆ M^{*}$ and $(L ◆ M)^{*} = L^{*} \oplus M^{*}$ .

Proof: (1) and (2) are straightforward, while (3) was established in [8] . It follows that the

λ

-regularization of an ASD Lagrangian

L

, that is

L_{λ} : = L ◆ T_{λ}

where

T_{λ} (x, p) = \frac{λ^{2} ∥ x ∥^{2}}{2} + \frac{∥ p ∥^{2}}{2 λ^{2}}

, is also an ASD Lagrangian. We shall see later that not all ASD Lagrangians are automatically tempered. This lemma shows that it is the case under certain coercivity conditions.

Proposition 2.3 Let

L

be an ASD Lagrangian on a reflexive Banach space

X

. If for some

p_{0} \in X

and

α > 1

, we have that

L (x, p_{0}) \leq C (1 + ∥ x ∥^{α})

for all

x \in X

, then

L

belongs to

ℒ_{_{T A D}} (X)

Proof: Note that in this case, we readily have that

D o m_{1} (L) = D o m_{1} (H_{L}) = X .

Assume first that

{lim}_{∥ x ∥ + ∥ p ∥ \to + \infty} \frac{L (x, p)}{∥ x ∥ + ∥ p ∥} = \infty

, and write

\begin{matrix} H_{L} (x, y) & = & sup {〈 p, y 〉 - L (x, p); p \in X^{*}} \end{matrix}

\begin{matrix} = & sup {〈 p, y 〉 - L^{*} (- p, - x); p \in X^{*}} \end{matrix}

\begin{matrix} = & sup {〈 p, y 〉 - sup {〈 - p, z 〉 + 〈 - x, q 〉 - L (z, q); z \in X, q \in X^{*}}; p \in X^{*}} \end{matrix}

\begin{matrix} = & sup {〈 p, y 〉 + inf {〈 p, z 〉 + 〈 x, q 〉 + L (z, q); z \in X, q \in X^{*}}; p \in X^{*}} \end{matrix}

\begin{matrix} = & {sup}_{p \in X^{*}} {inf}_{(z, q) \in X \times X^{*}} {〈 p, y 〉 + 〈 p, z 〉 + 〈 x, q 〉 + L (z, q)} . \end{matrix}

The function

S

defined on the product space

(X \times X^{*}) \times X^{*})

S ((z, q), p) = 〈 p, y + z 〉 + 〈 x, q 〉 + L (z, q)

is convex and lower semi-continuous in the first variable

(z, q)

and concave and upper semi-continuous in the second variable

p

, hence in view of the coercivity condition, Von-Neuman's min-max theorem applies and we get:

\begin{matrix} H (x, y) & = & {sup}_{p \in X^{*}} {inf}_{(z, q) \in X \times X^{*}} {〈 p, y + z 〉 + 〈 x, q 〉 + L (z, q)} \end{matrix}

\begin{matrix} = & {inf}_{(z, q) \in X \times X^{*}} {sup}_{p \in X^{*}} {〈 p, y + z 〉 + 〈 x, q 〉 + L (z, q)} \end{matrix}

\begin{matrix} = & {inf}_{q \in X^{*}} {〈 x, q 〉 + L (- y, q)} \end{matrix}

\begin{matrix} = & - H_{L} (- y, - x) . \end{matrix}

It follows that

L

is tempered under the coercivity assumption.

Suppose now

L (x, p_{0}) \leq C (1 + ∥ x ∥^{α})

, and consider the

λ

-regularization of its conjugate

L^{*}

, that is

M_{λ} = L^{*} ◆ T_{λ}^{*}

where

T_{λ}^{*} (x, p) = \frac{∥ x ∥^{2}}{2 λ^{2}} + \frac{λ^{2} ∥ p ∥^{2}}{2}

. Since obviously

L^{*}

is ASD on

X^{*}

, we get from Lemma 2.5.3 that

M_{λ}

is ASD on

X^{*}

. Moreover,

M_{λ} (p, x) = inf {L^{*} (q, x) + \frac{∥ p - q ∥^{2}}{2 λ^{2}} + \frac{λ^{2} ∥ x ∥^{2}}{2}; q \in X^{*}} \leq L (x, p_{0}) + \frac{1}{2 λ^{2}} ∥ p - p_{0} ∥^{2} + \frac{λ^{2} ∥ x ∥^{2}}{2} \leq C_{1} + C_{2} ∥ x ∥^{β} + C_{3} ∥ p ∥^{2}

which means that its dual

M_{λ}^{*}

is an ASD Lagrangian on

X

that is coercive in both variables. By the first part of the proof,

H_{M_{λ}^{*}}

is a tempered ASD Hamiltonian on

X

. But in view of Lemma 2.5.1, we have

M_{λ}^{*} = L \oplus T_{λ}

and therefore

H_{M_{λ}^{*}} = H_{L} + H_{T_{λ}}

. Consequently

x \to H_{L} (x, y)

is upper semi-continuous and

L

itself is a tempered ASD Lagrangian. By exploiting the duality between tempered ASD Lagrangians and ASD Hamiltonians, we get the following

Proposition 2.4 The classe

ℒ_{_{T A D}} (X)

possess the following permanence properties.

1. If $L$ and $M$ are in $ℒ_{_{T A D}} (X)$ and $λ > 0$ , then the Lagrangians $L \oplus M$ , and $λ \cdot L$ also belong to $ℒ_{_{T A D}} (X)$ .
2. If $L$ is an ASD Lagrangian, then its $λ$ -regularization $L_{λ} \in ℒ_{_{T A D}} (X)$ .
3. If $L \in ℒ_{_{T A D}} (X)$ and $Λ : X \to X^{*}$ is a skew-adjoint operator, then $L_{B}$ is also in $ℒ_{_{T A D}} (X)$ .

Proof: They all follow from Proposition 2.1, Lemma 2.5 and Proposition 2.3. Note also that

H_{L_{B}} (x, y) = H_{L} (x, y) - 〈 B x, y 〉 .

Let now

B

be a linear –not necessarily boundedmap from its domain

D (B) \subset X

into

X^{*}

such that

D (B)

dense in

X

, we consider the domain of its adjoint

B^{*}

which is defined as:

D (B^{*}) = {x \in X; sup {〈 x, B y 〉; y \in D (B), ∥ y ∥_{X} \leq 1} < + \infty} .

Definition 2.6 Say that

1. $B$ is antisymmetric if $D (B) \subset D (B^{*})$ and if $B^{*} = - B$ on $D (B)$ .
2. $B$ is skew-adjoint if it is antisymmetric and if $D (B) = D (B^{*})$ .

We then have the following easy lemma (See also [10] ).

Lemma 2.7 Let

L : X \times X^{*} \to R

be an ASD Lagrangian on a reflexive Banach space

X

and let

B

be a linear skew-adjoint map from its domain

D (B) \subset X

into

X^{*}

such that the function

x \to L (x, 0)

is bounded on the unit ball of

X

The Lagrangian

L_{B}

defined by

\begin{matrix} L_{B} (x, p) = {\begin{matrix} L (x, B x + p) if x \in D (B) \\ + \infty if x / \in D (B) \end{matrix} \end{matrix}

is then itself anti-selfdual on

X

. Moreover, if

L

is tempered then so is

L_{B}

whose Hamiltonian is given by

\begin{matrix} H_{B} (x, y) = {\begin{matrix} H_{L} (x, y) - 〈 B x, y 〉 if x \in D (B) \\ - \infty if x / \in D (B) \end{matrix} \end{matrix}

We shall also deal with situations where operators are skew-adjoint provided one takes into account certain boundary terms. We consider the following notion introduced in [10] .

Definition 2.8 Let

B

be a linear map from its domain

D (B)

in a reflexive Banach space

X

into

X^{*}

and consider

(b_{1}, b_{2})

to be a pair of linear maps from its domain

D (b_{1}, b_{2})

X

into the product of two Hilbert spaces

H_{1} \times H_{2}

. Associate the set

D^{*} (B, b_{1}, b_{2}) = {y \in X; sup {〈 y, B x 〉 - \frac{1}{2} (∥ b_{1} (x) ∥_{H_{1}}^{2} + ∥ b_{2} (x) ∥_{H_{2}}^{2}); x \in S, ∥ x ∥_{X} < 1} < \infty} .

∙

Say that

B

is anti-symmetric modulo the boundary operators

(b_{1}, b_{2})

if the following properties are satisfied:

1. The set $S = D (B) \cap D (b_{1}, b_{2})$ is dense in $X$ .
2. The space $X_{0} : = K e r (b_{1}, b_{2}) \cap D (B)$ is dense in $X$ .
3. The image of $S$ by $(b_{1}, b_{2})$ is dense in $H_{1} \times H_{2}$ .
4. For every $x, y \in S$ , we have $〈 y, B x 〉 = - 〈 B y, x 〉 + 〈 b_{2} (x), b_{2} (y) 〉_{H_{1}} - 〈 b_{1} (x), b_{1} (y) 〉_{H_{2}} .$

∙

Say that

B

is skew-adjoint modulo the boundary operators

(b_{1}, b_{2})

if it is anti-symmetric modulo the boundary operators

(b_{1}, b_{2})

and if in addition

D^{*} (B, b_{1}, b_{2}) = D (B) \cap D (b_{1}, b_{2})

It is clear that if

b_{1}

b_{2}

are identically zero, then our definition coincides with the notions in Definition 3.5.

For problems involving boundaries, we may start with an ASD Lagrangian

L

, but if linear operator

B

is skew-adjoint modulo a term involving the boundary, the Lagrangian

L_{B}

is not ASD but we may recover anti-selfduality by adding a correcting term via a “Boundary Lagrangian”

ℓ

Definition 2.9 We say that

ℓ : H_{1} \times H_{2} \to R \cup {+ \infty}

is a self-dual boundary Lagrangian if

\begin{matrix} ℓ^{*} (- h_{1}, h_{2}) = ℓ (h_{1}, h_{2}) f o r a l l (h_{1}, h_{2}) \in H_{1} \times H_{2} . \end{matrix}

(12)

It is easy to see that such a boundary Lagrangian will always satisfy the inequality

\begin{matrix} ℓ (r, s) \geq \frac{1}{2} (∥ s ∥^{2} - ∥ r ∥^{2}) f o r a l l (r, s) \in H_{1} \times H_{2} . \end{matrix}

(13)

The basic example of a self dual boundary Lagrangian is given by a function

ℓ

H_{1} \times H_{2}

, of the form

ℓ (x, p) = ψ_{1} (x) + ψ_{2} (p)

, with

ψ_{1}^{*} (x) = ψ_{1} (- x)

and

ψ_{2}^{*} (p) = ψ_{2} (p)

. Here the choices for

ψ_{1}

and

ψ_{2}

are rather limited and the typical sample is:

ψ_{1} (x) = \frac{1}{2} ∥ x ∥^{2} - 2 〈 a, x 〉 + ∥ a ∥^{2}, a n d ψ_{2} (p) = \frac{1}{2} ∥ p ∥^{2} .

where

a

is given in

H_{1}

. Boundary operators and Lagrangians allow us to build new ASD Lagrangians. Here is the situation when the skew-adjoint operators are not necessarily bounded.

Most of it was established in [10] , but we include here a proof for completness.

Proposition 2.5 Let

ℓ : H_{1} \times H_{2} \to R \cup {+ \infty}

be a self-dual boundary Lagrangian on the product of two Hilbert spaces

H_{1} \times H_{2}

, and let

L : X \times X^{*} \to R

be an ASD Lagrangian on a reflexive Banach space

X

such that for ever

p \in X^{*}

, the function

x \to L (x, p)

is bounded on the bounded sets of

X

. Let

B

be a linear map from its domain

D (B) \subset X

into

X^{*}

, and let

(b_{1}, b_{2}) : D (b_{1}, b_{2}) \subset X \to H_{1} \times H_{2}

be linear boundary operators. Assume one of the following two conditions:

1. $B$ is antisymmetric modulo the boundary operators $(b_{1}, b_{2})$ , and $0 \in D o m_{1} (L) \subset D (B) \cap D (b_{1}, b_{2})$ .
2. $B$ is skew-adjoint modulo the boundary operators $(b_{1}, b_{2})$ and $ℓ (r, s) \leq C (1 + ∥ r ∥^{2} + ∥ s ∥^{2})$ for all $(r, s) \in H_{1} \times H_{2}$ .

Then the Lagrangian defined by

\begin{matrix} L_{B, ℓ} (x, p) = {\begin{matrix} L (x, B x + p) + ℓ (b_{1} (x), b_{2} (x)) if x \in D (B) \cap D (b_{1}, b_{2}) \\ + \infty if x / \in D (B) \cap D (b_{1}, b_{2}) \end{matrix} \end{matrix}

is anti-self dual on

X

. Its Hamiltonian is then given by

\begin{matrix} H_{B, ℓ} (x, y) = {\begin{matrix} H_{L} (x, y) - 〈 B x, y 〉 - ℓ (b_{1} (x), b_{2} (x)) if x \in D (B) \cap D (b_{1}, b_{2}) \\ - \infty if x / \in D (B) \cap D (b_{1}, b_{2}) \end{matrix} \end{matrix}

Proof: Before we proceed we the proof, we note that while

H_{B, ℓ} (- x, - y) \leq - H_{B, ℓ} (y, x)

for every

(x, y) \in X \times X

and consequently

H_{B, ℓ} (x, - x) \leq 0

, we almost never have equality unless it is zero on the boundary. In other words

L_{B, ℓ}

is never tempered even when

L

is. The is due to the fact that with the above assumption on the density of their kernel, the operator

b_{1}, b_{2}

can never be continuous.

Assume now that

B

is antisymmetric modulo the boundary operators

(b_{1}, b_{2})

, and that for ever

p \in X^{*}

, the function

x \to L (x, p)

is continuous on

X

. We shall prove that

L_{B, ℓ}^{*} (p, \tilde{x}) = L_{B, ℓ} (- \tilde{x}, - \tilde{p})

\tilde{x} \in D (B) \cap D (b_{1}, b_{2})

. Indeed, fix

\tilde{x} \in S : = D (B) \cap D (b_{1}, b_{2})

, and write

\begin{matrix} L_{B, ℓ}^{*} (\tilde{p}, \tilde{x}) & = & sup {〈 \tilde{x}, p 〉 + 〈 x, \tilde{p} 〉 - L (x, B x + p) - ℓ (b_{1} (x), b_{2} (x)); x \in S, p \in X^{*}} \end{matrix}

Substituting

q = B x + p

, and since for

\tilde{x} \in S

, we have

〈 \tilde{x}, B x 〉 = - 〈 x, B \tilde{x} 〉 - 〈 b_{1} (x), b_{1} (\tilde{x}) 〉 + 〈 b_{2} (x), b_{2} (\tilde{x}) 〉

, we obtain

\begin{matrix} L_{B, ℓ}^{*} (\tilde{p}, \tilde{x}) & = & {sup}_{\overset{x \in S}{q \in X^{*}}} {〈 \tilde{x}, q - B x 〉 + 〈 x, \tilde{p} 〉 - L (x, q) - ℓ (b_{1} (x), b_{2} (x))} \end{matrix}

\begin{matrix} = & {sup}_{\overset{x \in S}{q \in X^{*}}} {〈 x, B \tilde{x} 〉 + 〈 b_{1} (x), b_{1} (\tilde{x}) 〉 - 〈 b_{2} (x), b_{2} (\tilde{x}) 〉 + 〈 \tilde{x}, q 〉 + 〈 x, \tilde{p} 〉 - L (x, q) - ℓ (b_{1} (x), b_{2} (x))} \end{matrix}

\begin{matrix} = & sup {〈 x, B \tilde{x} + \tilde{p} 〉 + 〈 b_{1} (x + x_{0}), b_{1} (\tilde{x}) 〉 - 〈 b_{2} (x + x_{0}), b_{2} (\tilde{x}) 〉 + 〈 \tilde{x}, q 〉 - L (x, q) \end{matrix}

\begin{matrix} - ℓ (b_{1} (x + x_{0}), b_{2} (x + x_{0})); x \in S, q \in X^{*}, x_{0} \in Ker (b_{1}, b_{2}) \cap D (B)} \end{matrix}

Since

S

is a linear space, we may set

w = x + x_{0}

and write

\begin{matrix} L_{B, ℓ}^{*} (\tilde{p}, \tilde{x}) & = & sup {〈 w - x_{0}, B \tilde{x} + \tilde{p} 〉 + 〈 b_{1} (w), b_{1} (\tilde{x}) 〉 - 〈 b_{2} (w), b_{2} (\tilde{x}) 〉 + 〈 \tilde{x}, q 〉 - L (w - x_{0}, q) \end{matrix}

\begin{matrix} - ℓ (b_{1} (w), b_{2} (w)); w \in S, q \in X^{*}, x_{0} \in Ker (b_{1}, b_{2}) \cap D (B)} \end{matrix}

Now, for each fixed

w \in S

and

q \in X^{*}

, the supremum over

x_{0} \in

K e r (b_{1}, b_{2}) \cap D (B)

can be taken as a supremum over

x_{0} \in X

since

K e r (b_{1}, b_{2}) \cap D (B)

is dense in

X

and all terms involving

x_{0}

are continuous in that variable. Furthermore, for each fixed

w \in S

and

q \in X^{*}

, the supremum over

x_{0} \in X

of the terms

w - x_{0}

can be written as supremum over

v \in X

where

v = w - x_{0}

. So setting

v = w - x_{0}

we get

\begin{matrix} L_{B, ℓ}^{*} (\tilde{p}, \tilde{x}) & = & sup {〈 v, B \tilde{x} + \tilde{p} 〉 + 〈 b_{1} (w), b_{1} (\tilde{x}) 〉 - 〈 b_{2} (w), b_{2} (\tilde{x}) 〉 + 〈 \tilde{x}, q 〉 - L (v, q) \end{matrix}

\begin{matrix} - ℓ (b_{1} (w), b_{2} (w)); v \in X, q \in X^{*}, w \in S} \end{matrix}

\begin{matrix} = & {sup}_{v \in X} {sup}_{q \in X^{*}} {〈 v, B \tilde{x} + \tilde{p} 〉 + 〈 \tilde{x}, q 〉 - L (v, q)} \end{matrix}

\begin{matrix} + {sup}_{w \in S} {〈 b_{1} (w), b_{1} (\tilde{x}) 〉 + 〈 b_{2} (w), - b_{2} (\tilde{x}) 〉 - ℓ (b_{1} (w), b_{2} (w))} \end{matrix}

Since the range of

(b_{1}, b_{2}) : S \to H_{1} \times H_{2}

is dense in the

H_{1} \times H_{2}

topology, the boundary term can be written as

{sup}_{a \in H_{1}} {sup}_{b \in H_{2}} {〈 a, b_{1} (\tilde{x}) 〉 + 〈 b, - b_{2} (\tilde{x}) 〉 - ℓ (a, b)} = ℓ^{*} (b_{1} (\tilde{x}), - b_{2} (\tilde{x})) = ℓ (- b_{1} (\tilde{x}), - b_{2} (\tilde{x})) . .

while the main term is clearly equal to

L^{*} (B \tilde{x} + \tilde{p}, \tilde{x}) = L (- \tilde{x}, - B \tilde{x} - \tilde{p})

in such a way that

L_{B, ℓ}^{*} (p, \tilde{x}) = L_{B, ℓ} (- \tilde{x}, - \tilde{p})

\tilde{x} \in D (B) \cap D (b_{1}, b_{2})

Now assume

\tilde{x} / \in S = D (B) \cap D (b_{1}, b_{2})

, then

- \tilde{x} / \in S

. and we distinguish the two cases:

Case 1: Under condition 1, we have that

- \tilde{x} / \in D o m_{1} (L)

, hence

- H_{L} (- \tilde{x}, 0) = + \infty

. Now the boundedness condition on

L

implies by Proposition 2.3 that it is a tempered ASD Lagrangian, which means since

0 \in D o m_{1} (L)

that

H_{L} (0, \tilde{x}) = - H_{L} (- \tilde{x}, 0) .

It follows

\begin{matrix} L_{B, ℓ}^{*} (\tilde{p}, \tilde{x}) & = & {sup}_{\overset{x \in D o m_{1} (L)}{p \in X^{*}}} {〈 \tilde{x}, q - B x 〉 + 〈 x, \tilde{p} 〉 - L (x, q) - \frac{∥ b_{1} (x) ∥_{H_{1}}^{2}}{2} - \frac{∥ b_{2} (x) ∥_{H_{2}}^{2}}{2}} \end{matrix}

\begin{matrix} = & {sup}_{p \in X^{*}} {〈 \tilde{x}, p 〉 - L (0, p)} \end{matrix}

\begin{matrix} = & H_{L} (0, \tilde{x}) = - H_{L} (- \tilde{x}, 0) = + \infty = L_{B, ℓ} (- \tilde{x}, - \tilde{p}) \end{matrix}

Case 2: Under condition 2, write

\begin{matrix} L_{B, ℓ}^{*} (\tilde{p}, \tilde{x}) & = & {sup}_{\overset{x \in S}{q \in X^{*}}} {〈 \tilde{x}, q - B x 〉 + 〈 x, \tilde{p} 〉 - L (x, q) - \frac{∥ b_{1} (x) ∥_{H_{1}}^{2}}{2} - \frac{∥ b_{2} (x) ∥_{H_{2}}^{2}}{2}} \end{matrix}

\begin{matrix} \geq & {sup}_{\overset{x \in S}{∥ x ∥_{X} < 1}} {〈 - \tilde{x}, B x 〉 + 〈 x, \tilde{p} 〉 - L (x, 0) - \frac{∥ b_{1} (x) ∥_{H_{2}}^{2}}{2} - \frac{∥ b_{2} (x) ∥_{H_{2}}^{2}}{2} .} \end{matrix}

Since by assumption

L (x, 0) < K

whenever

∥ x ∥_{X} < 1

, and

ℓ (r, s) \leq C (1 + ∥ r ∥^{2} + ∥ s ∥^{2})

for all

(r, s) \in H_{1} \times H_{2}

, we finally obtain that

\begin{matrix} L_{B, ℓ}^{*} (\tilde{p}, \tilde{x}) & \geq & {sup}_{\overset{x \in S}{∥ x ∥_{X} < 1}} {〈 - \tilde{x}, B x 〉 + 〈 x, \tilde{p} 〉 - C - K - \frac{∥ b (x) ∥_{H_{2}}^{2}}{2} - \frac{∥ b_{2} (x) ∥_{H_{2}}^{2}}{2}} \end{matrix}

\begin{matrix} = & + \infty = L_{B, ℓ} (- \tilde{x}, - \tilde{p}) \end{matrix}

since

\tilde{x} / \in S

as soon as

- \tilde{x} / \in S

. Therefore

L_{B, ℓ}^{*} (\tilde{p}, \tilde{x}) = L_{B, ℓ} (- \tilde{x}, - \tilde{p})

for all

(\tilde{x}, \tilde{p}) \in X \times X^{*}

and

L_{B, ℓ}

is an anti-selfdual Lagrangian.

3 A nonlinear variational principle for ASD Lagrangians

Definition 3.1 Say that a –non necessarily linear– map

Λ : D (Λ) \subset X \to X^{*}

is a regular conservative map if it is weak-to-weak continuous and if

〈 Λ x, x 〉 = 0

for all

x

in its domain

D (Λ)

It is clear that skew-symmetric bounded linear operators are regular conservative maps.

However, there are also plenty of nonlinear ones many of them appearing in the basic equations of hydrodynamics and magnetohydrodynamics (see below and [11] ).

Now recall that ASD Lagrangians readily satisfy

L (x, p) \geq - 〈 x, p 〉

for every

(x, p) \in X \times X^{*}

, which means that they are non-negative on the graphs of conservative maps, that is:

\begin{matrix} L (x, Λ x) \geq 0 f o r a l l x \in D (Λ) . \end{matrix}

(14)

What is remarkable is that, just like in the case of linear skew-adjoint operators [8] , the infimum will often be zero, a fact that will allow us to derive variationally several nonlinear PDEs without using Euler-Lagrange theory. Here is our basic result.

Theorem 3.2 Let

ℓ : H_{1} \times H_{2} \to R \cup {+ \infty}

be a self-dual boundary Lagrangian on the product of two Hilbert spaces

H_{1} \times H_{2}

, and let

L : X \times X^{*} \to R \cup {+ \infty}

be an anti-selfdual Lagrangian on a reflexive Banach space

X

such that its Hamiltonian

H_{L}

satisfies

{lim}_{∥ x ∥ \to + \infty} H_{L} (0, x) = + \infty

Let

B : D (B) \subset X \to X^{*}

and

(b_{1}, b_{2}) : D (b_{1}, b_{2}) \subset X \to H_{1} \times H_{2}

be linear operators such that

\begin{matrix} 〈 x, B x 〉 = \frac{1}{2} (∥ b_{2} x ∥^{2} - ∥ b_{1} x ∥^{2}) f o r a l l x \in D (A) \cap D (b_{1}, b_{2}), \end{matrix}

(15)

Suppose

Λ : D (Λ) \subset X \to X^{*}

is a regular conservative operator such that the Lagrangian

L_{B, ℓ}

is anti-selfdual on the graph of

Λ

and

D o m_{1} (L) \cap D (B) \cap D (b_{1}, b_{2}) \subset D (Λ)

Then, there exists

\bar{x} \in D o m_{1} (L) \cap D (B) \cap D (b_{1}, b_{2})

such that:

\begin{matrix} L (\bar{x}, B \bar{x} + Λ \bar{x}) + ℓ (b_{1} \bar{x}, b_{2} \bar{x}) & = & {inf}_{x \in X} {L (x, B x + Λ x) + ℓ (b_{1} x, b_{2} x)} = 0 \end{matrix}

(16)

\begin{matrix} (- Λ \bar{x} - B \bar{x}, - \bar{x}) & \in & \partial L (\bar{x}, B \bar{x} + Λ \bar{x}) \end{matrix}

(17)

\begin{matrix} ℓ (b_{1} (\bar{x}), b_{2} (\bar{x})) & = & \frac{1}{2} (∥ b_{2} (\bar{x}) ∥^{2} - ∥ b_{1} (\bar{x}) ∥^{2}) . \end{matrix}

(18)

We shall deduce Theorem 3.2 from the following Ky-Fan type min-max theorem due to Brezis-Nirenberg-Stampachia (see [6] ).

Lemma 3.3 Let

D

be a convex subset of a reflexive Banach space

X

and let

M (x, y)

be a real valued function on

D \times D \subset X \times X

that satisfies the following conditions:

(1) $M (x, x) \leq 0$ for every $x \in D$ .
(2) For each $x \in D$ , the function $y \to M (x, y)$ is concave.
(3) For each $y \in D$ , the function $x \to M (x, y)$ is weakly lower semi-continuous on $X$ .
(4) There exists $K > 0$ and $y_{0} \in X$ such that $∥ y_{0} ∥ \leq K$ and ${inf}_{∥ x ∥ > K} M (x, y_{0}) > 0$ .

Then there exists

x_{0} \in D

such that

{sup}_{y \in D} M (x_{0}, y) \leq 0

Proof of Theorem 3.2: Since the Lagrangian

L_{B, ℓ}

defined above is anti-self dual on the graph of

Λ

, we can write for each

x \in D : = D o m (L) \cap D (B) \cap D (b_{1}, b_{2}) \subset D (Λ)

\begin{matrix} I (x) & = & L_{B, ℓ} (x, Λ x) = L_{B, ℓ}^{*} (- Λ x, - x) \end{matrix}

\begin{matrix} = & sup {〈 y, - Λ x 〉 + 〈 p, - x 〉 - L_{B, ℓ} (y, p); y \in X, p \in X^{*}} \end{matrix}

\begin{matrix} = & sup {〈 y, - Λ x 〉 + 〈 p, - x 〉 - L (y, B y + p) - ℓ (b_{1} (y), b_{2} (y)); y \in D, p \in X^{*}} \end{matrix}

\begin{matrix} = & sup {〈 y, - Λ x 〉 + 〈 q - B y, - x 〉 - L (y, q) - ℓ (b_{1} (y), b_{2} (y)); y \in D, q \in X^{*}} \end{matrix}

\begin{matrix} = & sup {〈 y, - Λ x 〉 + 〈 x, B y 〉 - ℓ (b_{1} (y), b_{2} (y)) + sup {〈 q, - x 〉 - L (y, q);, q \in X^{*}}; y \in D} \end{matrix}

\begin{matrix} = & sup {〈 y, - Λ x 〉 + 〈 x, B y 〉 - ℓ (b_{1} (y), b_{2} (y)) + H_{L} (y, - x); y \in D} \end{matrix}

\begin{matrix} = & {sup}_{y \in D} M (x, y) \end{matrix}

where

M (x, y) = 〈 y, - Λ x 〉 + 〈 x, B y 〉 - ℓ (b_{1} (y), b_{2} (y)) + H_{L} (y, - x)

, and where

H_{L}

is the Hamiltonian associated to

L

We now claim that

M

satisfies all the properties of the Ky-Fan min-max lemma above. Indeed, (1) For each

x \in D (B) \cap D (b_{1}, b_{2})

, we have

y \to M (x, y)

is concave since the first part

y \to 〈 y, - Λ x 〉 + 〈 x, B y 〉

is clearly linear, while

y \to - ℓ (b_{1} (y), b_{2} (y))

and

y \to H_{L} (y, x)

are concave.

(2) For each

y \in D (A) \cap D (b_{1}, b_{2})

, the function

x \to M (x, y)

is weakly lower semi-continuous on

D (A) \cap D (b_{1}, b_{2})

since

x \to 〈 y, - Λ x 〉 + 〈 x, B y 〉

is weakly continuous while

x \to H_{L} (y, - x)

is clearly the supremum of continuous affine functions.

(3) To show that

M (x, x) \leq 0

for each

x \in D (A) \cap D (b_{1}, b_{2})

, use the fact that the operator

Λ

is conservative (i.e.,

〈 Λ x, x 〉 = 0

D (Λ)

) and that

H_{L}

is an ASD Hamiltonian, hence

H_{L} (x, - x) \leq 0

to write

M (x, x) \leq 〈 x, B x 〉 - ℓ (b_{1} (x), b_{2} (x)) = \frac{1}{2} (∥ b_{2} (x) ∥^{2} - ∥ b_{1} (x) ∥^{2}) - ℓ (b_{1} (x), b_{2} (x)) \leq 0 .

(4) The set

X_{0} = {x \in X; M (x, 0) \leq 0}

is bounded in

X

since

M (x, 0) = H_{L} (0, - x) - ℓ (0, 0)

and the latter goes to infinity with

∥ x ∥

It follows from Lemma 3.3 that there exists

\bar{x} \in D

such that

{sup}_{y \in D} M (\bar{x}, y) \leq 0

. In other words

I (\bar{x}) = {sup}_{y \in D} M (\bar{x}, y) \leq 0 .

On the other hand, for any

x \in X

, we have

\begin{matrix} I (x) & = & L (\bar{x}, B \bar{x} + Λ \bar{x}) + ℓ (b_{1} \bar{x}, b_{2} \bar{x}) \end{matrix}

\begin{matrix} \geq & - 〈 x, B x + Λ x 〉 + ℓ (b_{1} x, b_{2} x) \end{matrix}

\begin{matrix} = & - 〈 x, B x 〉 + ℓ (b_{1} x, b_{2} x) \end{matrix}

\begin{matrix} = & - \frac{1}{2} (∥ b_{2} (x) ∥^{2} - ∥ b_{1} (x) ∥^{2}) + ℓ (b_{1} x, b_{2} x) \geq 0 . \end{matrix}

It follows that

I (\bar{x}) = 0 = {inf}_{x \in X} I (x)

, which means

\begin{matrix} L (\bar{x}, B \bar{x} + Λ \bar{x}) + ℓ (b_{1} \bar{x}, b_{2} \bar{x}) = {inf}_{x \in X} {L (x, B x + Λ x) + ℓ (b_{1} x, b_{2} x)} = 0 . \end{matrix}

(19)

To establish ( 16 ), write

\begin{matrix} 0 = L (\bar{x}, B \bar{x} + Λ \bar{x}) + ℓ (b_{1} \bar{x}, b_{2} \bar{x}) & = & L (\bar{x}, B \bar{x} + Λ \bar{x}) + 〈 \bar{x}, B \bar{x} + Λ \bar{x} 〉 - 〈 \bar{x}, B \bar{x} + Λ \bar{x} 〉 + ℓ (b_{1} \bar{x}, b_{2} \bar{x}) \end{matrix}

\begin{matrix} = & L (\bar{x}, B \bar{x} + Λ \bar{x}) + 〈 \bar{x}, Λ \bar{x} 〉 - \frac{1}{2} (∥ b_{2} \bar{x} ∥^{2} - ∥ b_{1} \bar{x} ∥^{2}) + ℓ (b_{1} \bar{x}, b_{2} \bar{x}) . \end{matrix}

Since

L (x, p) + 〈 x, p 〉 \geq 0

and

ℓ (r, s) \geq \frac{1}{2} (∥ s ∥^{2} - ∥ r ∥^{2})

, we get

\begin{matrix} {\begin{matrix} L (\bar{x}, B \bar{x} + Λ \bar{x}) + 〈 \bar{x}, B \bar{x} 〉 & = & 0 . \\ ℓ (b_{1} \bar{x}, b_{2} \bar{x}) & = & \frac{1}{2} (∥ b_{2} \bar{x} ∥^{2} - ∥ b_{1} \bar{x} ∥^{2}) . \end{matrix} \end{matrix}

(20)

To obtain the second claim, we use that

L

is anti-selfdual to write

\begin{matrix} 〈 (\bar{x}, Λ \bar{x} + B \bar{x}), (- Λ \bar{x} - B \bar{x}, - \bar{x}) 〉 & = & 0 \end{matrix}

\begin{matrix} = & 2 L (\bar{x}, Λ \bar{x} + B \bar{x}) \end{matrix}

\begin{matrix} = & L (\bar{x}, Λ \bar{x} + B \bar{x}) + L^{*} (- Λ \bar{x} - B \bar{x}, - \bar{x}) . \end{matrix}

The last part of claim ( 16 ) now follows from the limiting case of the Legendre-Fenchel duality.

Remark 3.4 The above holds under an asssumption like

L (0, p) \leq C ∥ p ∥^{α}

where

α > 1

, since then

H_{L} (0, - x)

is coercive being its Legendre dual in the

p

-variable and therefore

M (x, 0)

is coercive.

The following corollary is immediate as it corresponds to the case where

b_{1}, b_{2}

and

ℓ

are zero, while

B : D (B) \subset X \to X^{*}

is any linear antisymmetric operator with a large enough domain. We shall see in the next section that it is already sufficient to cover several nonlinear PDEs including Navier-Stokes equations and others.

Corollary 3.5 Let

L

be an anti-self dual Lagrangian on a reflexive space

X

and let

H_{L}

be the corresponding Hamiltonian such that

{lim}_{∥ x ∥ \to + \infty} H_{L} (0, x) = + \infty

. Let

B

be an antisymmetric linear operator such that

D o m_{1} (L) \subset D (B)

. Then for any regular conservative operator

Λ : D (Λ) \subset X \to X^{*}

such that

D o m_{1} (L) \subset D (Λ)

, there exists

\bar{x} \in D o m_{1} (L)

such that:

\begin{matrix} L (\bar{x}, B \bar{x} + Λ \bar{x}) & = & {inf}_{x \in X} L (x, B x + Λ x) = 0 \end{matrix}

(21)

\begin{matrix} (- Λ \bar{x} - B \bar{x}, - \bar{x}) & \in & \partial L (\bar{x}, B \bar{x} + Λ \bar{x}) . \end{matrix}

(22)

Proof: It is sufficient to apply Theorem 3.2 to

b_{1}, b_{2}

and

ℓ

being identically zero, while

\tilde{Λ} = Λ + B

satisfies

D o m_{1} (L) \subset D (\tilde{Λ})

If the domain of the anti-symmetric operator

B

is not large enough, we can use Lemma 2.7 to obtain

Corollary 3.6 Let

L

be an anti-self dual Lagrangian on a reflexive Banach space

X

such that

{lim}_{∥ x ∥ \to + \infty} H_{L} (0, x) = + \infty

, where

H_{L}

is the corresponding Hamiltonian. Let

B : D (B) \subset X \to X^{*}

be a linear skew-adjoint operator such that

x \to L (x, 0)

is bounded on the unit ball of

X

. Then, for any regular conservative operator

Λ : X \to X^{*}

such that

D (B) \cap D o m_{1} L \subset D (Λ)

, there exists

\bar{x} \in D (B) \cap D o m_{1} L

satisfying ( 21 ) and ( 22 ).

Proof: By the above Lemma,

L_{B}

is an anti-selfdual Lagrangian, in particular it is so on the graph of

Λ

. The rest follows from Theorem 3.2.

In order to deal with situations where operators are skew-adjoint provided one takes into account certain boundary terms, we have the following

Corollary 3.7 Let

ℓ : H_{1} \times H_{2} \to R \cup {+ \infty}

be a self-dual boundary Lagrangian on the product of two Hilbert spaces

H_{1} \times H_{2}

, and let

L : X \times X^{*} \to R \cup {+ \infty}

be an anti-selfdual Lagrangian on a reflexive Banach space

X

such that

{lim}_{∥ x ∥ \to + \infty} H_{L} (0, x) = + \infty a n d f o r e v e r p \in X^{*}, x \to L (x, p) i s b o u n d e d o n t h e b o u n d e d s e t s o f X .

Let

(B, b_{1}, b_{2}) : X \to H_{1} \times H_{2}

be linear operators such that one of the following two conditions hold:

1. $B$ is antisymmetric modulo boundary operators $(b_{1}, b_{2})$ , and $0 \in D o m_{1} (L) \subset D (B) \cap D (b_{1}, b_{2})$ .
2. $B$ is skew-adjoint modulo the boundary operators $(b_{1}, b_{2})$ and $ℓ (r, s) \leq C (1 + ∥ r ∥^{2} + ∥ s ∥^{2})$ for all $(r, s) \in H_{1} \times H_{2}$ .

Then for any regular conservative operator

Λ : D (Λ) \subset X \to X^{*}

such that

D o m (L) \cap D (B) \cap D (b_{1}, b_{2}) \subset D (Λ)

, there exists

\bar{x} \in D o m_{1} (L) \cap D (B) \cap D (b_{1}, b_{2})

such that:

\begin{matrix} L (\bar{x}, B \bar{x} + Λ \bar{x}) + ℓ (b_{1} \bar{x}, b_{2} \bar{x}) & = & {inf}_{x \in X} {L (x, B x + Λ x) + ℓ (b_{1} x, b_{2} x)} = 0 \end{matrix}

(23)

\begin{matrix} (- Λ \bar{x} - B \bar{x}, - \bar{x}) & \in & \partial L (\bar{x}, B \bar{x} + Λ \bar{x}) \end{matrix}

(24)

\begin{matrix} ℓ (b_{1} (\bar{x}), b_{2} (\bar{x})) & = & \frac{1}{2} (∥ b_{2} (\bar{x}) ∥^{2} - ∥ b_{1} (\bar{x}) ∥^{2}) . \end{matrix}

(25)

Proof: This follows from Theorem 3.2 and Proposition 2.5.

4 A variational nonlinear Lax-Milgram theorem and applications

We now apply the above results to the most basic ASD Lagrangians of the form

L (x, p) = φ (x) + φ^{*} (B x - p)

where

φ

is a convex function and

B

is a linear anti-symmetric but not necessarily bounded operator. The applications differ as they will depend on the “position” of the domain of

B

. We start with the case where the linear operator component has a “large domain”.

Theorem 4.1 Let

φ

be a proper convex lower semi-continuous function on a reflexive Banach space

X

such that

{lim}_{∥ x ∥ \to + \infty} \frac{φ (x)}{∥ x ∥} = + \infty

and let

B : D (B) \subset X \to X^{*}

be an anti-symmetric linear operator such that

D o m (φ) \subset D (B)

. Then, for any

f \in X^{*}

and any regular conservative operator

Λ : D (Λ) \subset X \to X^{*}

such that

D o m (φ) \subset D (Λ)

, there exists a solution

\bar{x} \in D o m (φ)

to the equation

\begin{matrix} 0 \in f + Λ x + B x + \partial φ (x) . \end{matrix}

(26)

It is obtained as a minimizer of the problem:

\begin{matrix} {inf}_{x \in X} {φ (x) + 〈 f, x 〉 + φ^{*} (- Λ x - B x - f)} = 0 \end{matrix}

(27)

Proof: It is an immediate consequence of Corollary 3.5 applied to the Lagrangian

L (x, p) = ψ (x) + ψ^{*} (- p)

where

ψ (x) = φ (x) + 〈 f, x 〉

. Note that its Hamiltonian is now

H (x, y) = - 〈 B x, y 〉 + φ (- y) - φ (x) - 〈 f, x + y 〉

meaning that the coercivity hypothesis implies that

H (0, y) \to + \infty

with

∥ y ∥

. Corollary 3.5 then applies with the Lagrangian

L

and the conservative operator

Λ

to obtain that the minimum in ( 27 ) is attained at some

\bar{x} \in X

. We then get

φ (\bar{x}) + φ^{*} (- B \bar{x} - Λ \bar{x} - f) = 〈 - B \bar{x} - Λ \bar{x} - f, \bar{x} 〉

which yields, in view of Legendre-Fenchel duality that

- B \bar{x} - Λ \bar{x} - f \in \partial φ (\bar{x}) .

An immediate application is the case where the linear operator component is bounded which already covers many interesting applications.

Corollary 4.2 Let

φ

be a function on a reflexive Banach space

X

and let

B : X \to X^{*}

be a bounded linear operator such that the function

ψ (x) : = φ (x) + \frac{1}{2} 〈 B x, x 〉

is proper convex and lower semi-continuous on

X

. Assume

\begin{matrix} {lim}_{∥ x ∥ \to \infty} ∥ x ∥^{- 1} (φ (x) + \frac{1}{2} 〈 B x, x 〉) = + \infty . \end{matrix}

(28)

Then, for any regular conservative operator

Λ : X \to X^{*}

and any

f \in X^{*}

, there exists a solution

\bar{x} \in X

to the equation

\begin{matrix} 0 \in f + Λ x + B x + \partial φ (x) . \end{matrix}

(29)

It is obtained as a minimizer of the problem:

\begin{matrix} {inf}_{x \in X} {ψ (x) + 〈 f, x 〉 + ψ^{*} (- Λ x - B^{a} x - f)} = 0 \end{matrix}

(30)

where

B^{a}

is the anti-symmetric part of

B

Proof: Apply the above theorem to

ψ (x) + 〈 f, x 〉

and

B^{a} = \frac{1}{2} (B - B^{*})

. The above theorem applies and we get

\bar{x} \in X

such that:

- B^{a} \bar{x} - Λ \bar{x} + f \in \partial ψ (\bar{x}) = B^{s} \bar{x} + \partial φ (\bar{x})

hence

\bar{x}

satisfies ( 29 ).

Example 1: A variational resolution for the Stationary Navier-Stokes equation Consider the incompressible stationary Navier-Stokes equation on a domain

Ω

R^{3}

\begin{matrix} {\begin{matrix} (u \cdot \nabla) u + f & = & ν Δ u - \nabla p o n Ω \\ d i v u & = & 0 o n Ω \\ u & = & 0 o n \partial Ω \end{matrix} \end{matrix}

(31)

where

ν > 0

and

f \in L^{p} (Ω; R^{3})

. Let

\begin{matrix} Φ (u) = \frac{ν}{2} \int_{Ω} Σ_{j, k = 1}^{3} (\frac{\partial u_{j}}{\partial x_{k}})^{2} d x \end{matrix}

(32)

be the convex and coercive function on the Sobolev subspace

V = {u \in H_{0}^{1} (Ω; R^{3}); d i v v = 0}

Its Legendre transform

Φ^{*}

V

can be characterized as

Φ^{*} (v) = 〈 S v, v 〉

where

S : V^{*} \to V

is the bounded linear operator that associates to

v \in V^{*}

the solution

\hat{v} = S v

of the Stokes' problem

\begin{matrix} {\begin{matrix} ν Δ \hat{v} + \nabla p & = & - \hat{v} o n Ω \\ d i v \hat{v} & = & 0 o n Ω \\ \hat{v} & = & 0 o n \partial Ω . \end{matrix} \end{matrix}

(33)

It is easy to see that ( 31 ) can be reformulated as

\begin{matrix} {\begin{matrix} (u \cdot \nabla) u + f & \in & - \partial Φ (u) = ν Δ u - \nabla p \\ u & \in & V . \end{matrix} \end{matrix}

(34)

Consider now the nonlinear operator

Λ : V \to V^{*}

defined as

〈 Λ u, v 〉 = \int_{Ω} Σ_{j, k = 1}^{3} u_{k} \frac{\partial u_{j}}{\partial x_{k}} v_{j} d x = 〈 (u \cdot \nabla) u, v 〉 .

We can deduce the following

Theorem 4.3 Assume

Ω

is bounded domain in

R^{3}

and consider

f \in L^{p} (Ω; R^{3})

for

p > \frac{6}{5}

. Then the infimum of the functional

I (u) = Φ (u) + Φ^{*} (- (u \cdot \nabla) u + f) - \int_{Ω} Σ_{j = 1}^{3} f_{j} u_{j}

V

is equal to zero, and is attained at a solution of the Navier-Stokes equation ( 31 ).

Proof: To apply Theorem 4.1, it remains to show that

Λ

is a regular conservative operator. First note that

〈 Λ u, u 〉 = 0

V

. For the weak-to weak continuity, assume that

u^{n} \to u

weakly in

H^{1} (Ω)

We need to show that for a fixed

v \in V

, we have that

〈 Λ u^{n}, v 〉 = \int_{Ω} Σ_{j, k = 1}^{3} u_{k}^{n} \frac{\partial u_{j}^{n}}{\partial x_{k}} v_{j} d x = - \int_{Ω} Σ_{j, k = 1}^{3} u_{k}^{n} \frac{\partial v_{j}}{\partial x_{k}} u_{j}^{n} d x

converges to

〈 Λ u, v 〉 = \int_{Ω} Σ_{j, k = 1}^{3} u_{k} \frac{\partial v_{j}}{\partial x_{k}} u_{j} d x

. But the Sobolev embedding in dimension 3 implies that

(u^{n})

converges strongly in

L^{p} (Ω; R^{3})

for

1 \leq p < 6

. On the other hand,

\frac{\partial u_{j}}{\partial x_{k}}

is in

L^{2} (Ω)

and the result follows from an application of Hölder's inequality.Example 2: Variational resolution for a fluid driven by its boundary The full strength of Corollary 4.2 comes out when one deals with the Navier-Stokes equation with a boundary moving with a prescribed velocity:

\begin{matrix} {\begin{matrix} (u \cdot \nabla) u + f & = & ν Δ u - \nabla p o n Ω \\ d i v u & = & 0 o n Ω \\ u & = & u^{0} o n \partial Ω \end{matrix} \end{matrix}

(35)

where

\int_{\partial Ω} u^{0} \cdot n d σ = 0

ν > 0

and

f \in L^{p} (Ω; R^{3})

. Assuming that

u^{0} \in H^{3 / 2} (\partial Ω)

and that

\partial Ω

is connected, a classical result of Hopf then yields for each

ε > 0

, the existence of

v^{0} \in H^{2} (Ω)

such that

\begin{matrix} v^{0} = u^{0} o n \partial Ω, d i v v^{0} = 0 a n d \int_{Ω} Σ_{j, k = 1}^{3} u_{k} \frac{\partial v_{j}^{0}}{\partial x_{k}} u_{j} d x \leq ε ∥ u ∥_{V}^{2} f o r a l l u \in V . \end{matrix}

(36)

Setting

v = u + v^{0}

, then solving ( 35 ) reduces to finding a solution for

{\begin{matrix} (u \cdot \nabla) u + (v^{0} \cdot \nabla) u + (u \cdot \nabla) v^{0} + f - ν Δ v^{0} + (v^{0} \cdot \nabla) v^{0} & = & ν Δ u - \nabla p o n Ω \\ d i v u & = & 0 o n Ω \\ u & = & 0 o n \partial Ω . \end{matrix}

This can be reformulated as the following equation in the space

V

\begin{matrix} (u \cdot \nabla) u + (v^{0} \cdot \nabla) u + (u \cdot \nabla) v^{0} + g \in - \partial Φ (u) \end{matrix}

(37)

where

Φ

is again the convex functional

Φ (u) = \frac{ν}{2} \int_{Ω} Σ_{j, k = 1}^{3} (\frac{\partial u_{j}}{\partial x_{k}})^{2} d x

as above and where

g : = f - ν Δ v^{0} + (v^{0} \cdot \nabla) v^{0} \in V^{*} .

In other words, this is an equation of the form

\begin{matrix} Λ u + B u + g \in - \partial Φ (u) \end{matrix}

(38)

with

Λ u = (u \cdot \nabla) u

is a regular conservative operator, and

B u = (v^{0} \cdot \nabla) u + (u \cdot \nabla) v^{0}

is a bounded linear operator. Note that the component

B^{1} u : = (v^{0} \cdot \nabla) u

is skew-symmetric which means that Hopf 's result yields the required coercivity condition:

Ψ (u) : = Φ (u) + \frac{1}{2} 〈 B u, u 〉 \geq \frac{1}{2} (ν - ε) ∥ u ∥^{2} f o r a l l u \in V .

In other words,

Ψ

is convex and coercive and therefore we can apply Theorem 4.1 to deduce

Theorem 4.4 Under the above hypothesis, and letting

A^{a}

be the antisymmetric part of the operator

A u = (u \cdot \nabla) v^{0}

, the following functional

I (u) = Ψ (u) + Ψ^{*} (- (u \cdot \nabla) u - (v^{0} \cdot \nabla) u - A^{a} u + g) - \int_{Ω} Σ_{j = 1}^{3} g_{j} u_{j}

has zero for infimum on the Banach space

V

, which is attained at a solution

\bar{u}

for ( 37 ).

The next application is a nonlinear Lax-Milgram type result with boundary constraints.

Theorem 4.5 Let

φ : X \to R \cup {+ \infty}

be a convex and lower semi-continuous on a reflexive Banach space such that for some constant

C > 0

and

p_{1}, p_{2} > 1

, we have

\begin{matrix} \frac{1}{C} (∥ x ∥_{X}^{p_{1}} - 1) \leq φ (x) \leq C (∥ x ∥_{X}^{p_{2}} + 1) f o r e v e r y x \in X, \end{matrix}

(39)

Let

B : D (B) \subset X \to X^{*}

be a skew-adjoint operator modulo the boundary

(b_{1}, b_{2}) : D (b_{1}, b_{2}) \to H_{1} \times H_{2}

where

H_{1}

H_{2}

are two Hilbert spaces. Then for any regular conservative operator

Λ : X \to X^{*}

such that

D (B) \cap D (b_{1}, b_{2}) \subset D (Λ)

and any

a \in X

, there exists a solution

\bar{x} \in X

to the equation

\begin{matrix} Λ x + B x + f & \in & - \partial φ (x) \end{matrix}

(40)

\begin{matrix} b_{1} (\bar{x}) & = & a . \end{matrix}

It is obtained as a minimizer of the functional defined as:

\begin{matrix} I (x) = φ (x) + 〈 f, x 〉 + φ^{*} (- Λ x - B x - f) + \frac{1}{2} (∥ b_{1} (x) ∥^{2} + ∥ b_{2} (x) ∥^{2}) - 2 〈 a, b_{1} (x) 〉 + ∥ a ∥^{2} \end{matrix}

(41)

when

x \in D (A) \cap D (b_{1}, b_{2})

and

+ \infty

elsewhere. Moreover,

I (\bar{x}) = {inf}_{x \in X} I (x) = 0

Proof: Let

ψ (x) = φ (x) + 〈 f, x 〉

and apply Corollary 3.7 to the ASD Lagrangian

L (x, p) : = ψ (x) + ψ^{*} (- p)

, to the boundary Lagrangian

ℓ (r, s) = \frac{1}{2} (∥ r ∥^{2} + ∥ s ∥^{2}) - 2 〈 a, r 〉 + ∥ a ∥^{2}

, and to the skew-adjoint triplet

(B, b_{1}, b_{2})

. Note also that

I

can be rewritten as:

I (x) = φ (x) + φ^{*} (- Λ x - B x - f) - 〈 x, - Λ x - B x - f 〉 + \frac{1}{2} (∥ b_{1} (x) - a ∥^{2} .

Example 3: Variational resolution for a fluid driven by a transport operator Let

\vec{a} \in C^{\infty} (\bar{Ω})

be a smooth vector field on a neighborhood of a

C^{\infty}

bounded open set

Ω \subset R^{3}

, let

a_{0} \in L^{\infty} (Ω)

, and consider the space

X = {u \in H_{0}^{1} (Ω; R^{3}); d i v (u) = 0}

and the transport operator

B : u \mapsto a \cdot \nabla u + \frac{1}{2} d i v u

from

D (B) = {u \in X; a \cdot \nabla u + \frac{1}{2} d i v u \in X^{*}}

into

X^{*}

. It is easy to show using Green's formula that the operator

b

is skew-adjoint modulo the boundary

(b_{1}, b_{2})

on the space

X

(See [10] ). Consider now the following equation on the domain

Ω \subset R^{3}

\begin{matrix} {\begin{matrix} (u \cdot \nabla) u + \vec{a} \cdot \nabla u + a_{0} u + | u |^{m - 2} u + f & = & ν Δ u - \nabla p o n Ω \\ d i v u & = & 0 o n Ω \\ u & = & 0 o n \partial Ω \end{matrix} \end{matrix}

(42)

where

ν > 0

6 \geq m \geq 1

and

f \in L^{q} (Ω; R^{3})

for

q \geq \frac{6}{5}

. Suppose

\begin{matrix} \frac{1}{2} d i v (a) - a_{0} \geq 0 o n Ω, \end{matrix}

(43)

and consider the functional

\begin{matrix} Ψ (u) = \frac{ν}{2} \int_{Ω} Σ_{j, k = 1}^{3} (\frac{\partial u_{j}}{\partial x_{k}})^{2} d x + \frac{1}{4} \int_{Ω} (d i v \vec{a} - 2 a_{0}) | u |^{2} d x + \frac{1}{m} \int_{Ω} | u |^{m} d x + \int_{Ω} u f d x \end{matrix}

(44)

which is convex and coercive function on the space

X

. Corollary 3.7 then applies to yield

Theorem 4.6 Under the above hypothesis, the functional

I (u) = Ψ (u) + Ψ^{*} (- (u \cdot \nabla) u - \vec{a} \cdot \nabla u - \frac{1}{2} d i v (\vec{a}) u)

has zero for infimum and the latter is attained at a solution

\bar{u}

for ( 42 ).

We can also give a variational resolution for nonlinear anti-Hamiltonian systems.

Theorem 4.7 Let

φ

be a proper convex lower semi-continuous function on

X \times Y

, let

A : X \to Y^{*}

be any bounded linear operator, let

B_{1} : X \to X^{*}

(resp.,

B_{2} : Y \to Y^{*}

) be two positive boundedlinear operators, and assume

Λ : = (Λ_{1}, Λ_{2}) : X \times Y \to X^{*} \times Y^{*}

is a regular conservative operator.

{lim}_{∥ x ∥ + ∥ y ∥ \to \infty} \frac{φ (x, y) + \frac{1}{2} 〈 B_{1} x, x 〉 + \frac{1}{2} 〈 B_{2} y, y 〉}{∥ x ∥ + ∥ y ∥} = + \infty,

then for any

(f, g) \in X^{*} \times Y^{*}

, there exists

(\bar{x}, \bar{y}) \in X \times Y

which solves the following system

\begin{matrix} {\begin{matrix} Λ_{1} (x, y) - A^{*} y - B_{1} x + f & \in & \partial_{1} φ (x, y) . \\ Λ_{2} (x, y) + A x - B_{2} y + g & \in & \partial_{2} φ (x, y) . \end{matrix} \end{matrix}

(45)

The solution is obtained as a minimizer on

X \times Y

of the functional

I (x, y) = ψ (x, y) + ψ^{*} (- A^{*} y - B_{1}^{a} x + Λ_{1} (x, y), A x - B_{2}^{a} y + Λ_{2} (x, y)) .

where

ψ (x, y) = φ (x, y) + \frac{1}{2} 〈 B_{1} x, x 〉 + \frac{1}{2} 〈 B_{2} y, y 〉 - 〈 f, x 〉 - 〈 g, y 〉 .

and where

B_{1}^{a}

(resp.,

B_{2}^{a}

) are the skew-symmetric parts of

B_{1}

and

B_{2}

Proof: Consider the following ASD Lagrangian (see [8] )

L ((x, y), (p, q)) = ψ (x, y) + ψ^{*} (- A^{*} y - B_{1}^{a} x - p, A x - B_{2} y - q) .

Theorem 4.1 yields that

I (x, y) = L ((x, y), Λ (x, y))

attains its minimum at some point

(\bar{x}, \bar{y}) \in X \times Y

and that the minimum is actually

0

. In other words,

\begin{matrix} 0 & = & I (\bar{x}, \bar{y}) = ψ (\bar{x}, \bar{y}) + ψ^{*} (- A^{*} \bar{y} - B_{1}^{a} \bar{x} + Λ_{1} (\bar{x}, \bar{y}), A \bar{x} - B_{2}^{a} \bar{y} + Λ_{2} (\bar{x}, \bar{y})) \end{matrix}

\begin{matrix} = & ψ (\bar{x}, \bar{y}) + ψ^{*} (- A^{*} \bar{y} - B_{1}^{a} \bar{x} + Λ_{1} (\bar{x}, \bar{y}), A \bar{x} - B_{2}^{a} \bar{y} + Λ_{2} (\bar{x}, \bar{y})) \end{matrix}

\begin{matrix} - 〈 (\bar{x}, \bar{y}), (- A^{*} \bar{y} - B_{1}^{a} \bar{x} + Λ_{1} (\bar{x}, \bar{y}), A \bar{x} - B_{2}^{a} \bar{y} + Λ_{2} (\bar{x}, \bar{y})) 〉 \end{matrix}

from which follows that

\begin{matrix} {\begin{matrix} - A^{*} y - B_{1}^{a} x + Λ_{1} (x, y) & \in & \partial_{1} φ (x, y) + B_{1}^{s} (x) - f \\ A x - B_{2}^{a} y + Λ_{1} (x, y) + g & \in & \partial_{2} φ (x, y) + B_{2}^{s} (y) - g . \end{matrix} \end{matrix}

(46)

A typical example of such a system are the equations of magneto-hydrodynamics, but here is a simpler example communicated to us by A. Moameni. Example 4: A variational resolution for a doubly nonlinear coupled equations Let

b_{1} : Ω \to R^{n}

and

b_{2} : Ω \to R^{n}

be two smooth vector fields on a bounded domain

Ω

R^{n}

, verifying the conditions in example 3 and let

B_{1} v = b_{1} \cdot \nabla v

and

B_{2} v = b_{2} \cdot \nabla v

be the corresponding first order linear operators. Consider the Dirichlet problem:

\begin{matrix} {\begin{matrix} Δ (v + u) + b_{1} \cdot \nabla u & = & | u |^{p - 2} u + u^{m - 1} v^{m} + f o n Ω \\ Δ (v - c^{2} u) + b_{2} \cdot \nabla v & = & | v |^{q - 2} q - u^{m} v^{m - 1} + g o n Ω \\ u = v & = & 0 o n \partial Ω . \end{matrix} \end{matrix}

(47)

We can use the above to get

Theorem 4.8 Assume

d i v (b_{1}) \geq 0

and

d i v (b_{2}) \geq 0

Ω

2 < p, q \leq \frac{2 n}{n - 2}

and

1 < m < \frac{n + 2}{n - 2}

and consider on

H_{0}^{1} (Ω) \times H_{0}^{1} (Ω)

the functional

I (u, v) = Ψ (u) + Ψ^{*} (b_{1} . \nabla u + \frac{1}{2} d i v (b_{1}) u + Δ v - u^{m - 1} v^{m}) + Φ (v) + Φ^{*} (b_{2} . \nabla v + \frac{1}{2} d i v (b_{2}) v - c^{2} Δ u + u^{m} v^{m - 1})

where

Ψ (u) = \frac{1}{2} \int_{Ω} | \nabla u |^{2} d x + \frac{1}{p} \int_{Ω} | u |^{p} d x + \int_{Ω} f u d x + \frac{1}{4} \int_{Ω} d i v (b_{1}) | u |^{2} d x,

Φ (v) = \frac{1}{2} \int_{Ω} | \nabla v |^{2} d x + \frac{1}{q} \int_{Ω} | v |^{q} d x + \int_{Ω} g v d x + \frac{1}{4} \int_{Ω} d i v (b_{2}) | v |^{2} d x

and

Ψ^{*}

and

Φ^{*}

are their Legendre transforms. Then there exists

(\bar{u}, \bar{v}) \in H_{0}^{1} (Ω) \times H_{0}^{1} (Ω)

such that:

I (\bar{u}, \bar{v}) = inf {I (u, v); (u, v) \in H_{0}^{1} (Ω) \times H_{0}^{1} (Ω)} = 0,

and

(\bar{u}, \bar{v})

is a solution of 47

()

Proof: Let

A = Δ

H_{0}^{1}

B_{1} = d i v (b_{1})

B_{2} = d i v (b_{2})

and consider the ASD Lagrangian

L ((u, v), (r, s))) = Ψ (u) + Ψ^{*} (b_{1} . \nabla u + \frac{1}{2} d i v (b_{1}) u + Δ v + r) + Φ (v) + Φ^{*} (b_{2} . \nabla v + \frac{1}{2} d i v (b_{2}) v - c^{2} Δ u + s) .

It is also easy to verify that the nonlinear operator

Λ : H_{0}^{1} \times H_{0}^{1} \to H^{- 1} \times H^{- 1}

defined by

Λ (u, v) = (- u^{m - 1} v^{m}, u^{m} v^{m - 1})

is regular and conservative.

5 Nonlinear evolution equations

Consider now an evolution triple

X \subset H \subset X^{*}

, where

H

is a Hilbert space with

〈, 〉

as scalar product, and where

X

is a dense vector subspace of

H

, that is a reflexive Banach space once equipped with its own norm

∥ \cdot ∥

. Assuming the canonical injection

X \to H

, continuous, we identify the Hilbert space

H

with its dual

H^{*}

and we “inject”

H

X^{*}

in such a way that

〈 h, u 〉_{X^{*}, X} = 〈 h, u 〉_{H} f o r a l l h \in H a n d a l l u \in X

This injection is continuous, one-to-one, and

H

is also dense in

X^{*}

. In other words, the dual

X^{*}

X

is represented as the completion of

H

for the dual norm

∥ h ∥ = sup {〈 h, u 〉_{H}; ∥ u ∥_{X} \leq 1}

Let

[0, T]

be a fixed real interval and consider the following Banach spaces:

∙ The space $L_{X}^{2}$ of Bochner integrable functions from $[0, T]$ into $X$ with norm $∥ u ∥_{L_{2} (X)}^{2} = (\int_{0}^{T} ∥ u (t) ∥_{X}^{2} d t)^{\frac{1}{2}} .$
∙ The space $X_{2}$ of all functions in $L_{X}^{2}$ such that $\dot{u} \in L_{X^{*}}^{2}$ , equipped with the norm $∥ u ∥_{X} = (∥ u ∥_{L_{2} (X)}^{2} + ∥ \dot{u} ∥_{L_{2} (X^{*})}^{2})^{1 / 2} .$

Note that this last space is different from the Sobolev space

A_{X}^{2} = {u : [0, T] \to X; \dot{u} \in L_{X}^{2}}

and we actually have

A_{X}^{2} \subset X_{2} \subset A_{X^{*}}^{2}

Definition 5.1 A time dependent Lagrangian on

[0, T] \times X \times X^{*}

is any function

L : [0, T] \times X \times X^{*} \to R \cup {+ \infty}

that is measurable with respect to the

σ

-field generated by the products of Lebesgue sets in

[0, T]

and Borel sets in

H \times H

. The Hamiltonian

H_{L}

L

is the function defined on

[0, T] \times X \times X^{*}

by:

H (t, x, y) = sup {〈 y, p 〉 - L (t, x, p); p \in X^{*}}

We say that

L

is an anti-self dual Lagrangian (ASD) on

[0, T] \times X \times X^{*}

if for any

t \in [0, T]

, the map

L_{t} : (x, p) \to L (t, x, p)

is in

ℒ_{A D} (X)

: that is if

L^{*} (t, p, x) = L (t, - x, - p) f o r a l l (x, p) \in X \times X^{*},

where here

L^{*}

is the Legendre transform in the last two variables.

The most basic time-dependent

A S D

-Lagrangians are again of the form

L (t, x, p) = φ (t, x) + φ^{*} (t, - p)

where for each

t

, the function

x \to φ (t, x)

is convex and lower semi-continuous on

X

. We now show how this property naturally “lifts” to path space. For that we associate to each time-dependent Lagrangian

L

[0, T] \times X \times X^{*}

, the corresponding Lagrangian

ℒ

on the path space

L_{X}^{2} \times L_{X^{*}}^{2}

defined by

ℒ (u, p) : = \int_{0}^{T} L (t, u (t), p (t)) d t .

Define the dual of

ℒ

in both variables as

ℒ^{*} (q, v) = sup {\int_{0}^{T} (〈 q (t), u (t) 〉 + 〈 p (t), v (t) 〉 - L (t, u (t), p (t))) d t; (u, p) \in L_{X}^{2} \times L_{X^{*}}^{2}}

and denote the associated Hamiltonian on path space by:

H_{ℒ} (u, v) = sup {\int_{0}^{T} (〈 p (t), v (t) 〉 - L (t, u (t), p (t))) d t; p \in L_{X^{*}}^{2}}

The following is standard (see [8] ).

Proposition 5.1 Suppose that

L

is a Lagrangian on

[0, T] \times X \times X^{*}

, and let

ℒ

be the corresponding Lagrangian on the path space

L_{X}^{2} \times L_{X^{*}}^{2}

. Then

1. $ℒ^{*} (p, u) = \int_{0}^{T} L^{*} (t, p (t), u (t)) d t$ .
2. $H_{ℒ} (u, v) = \int_{0}^{T} H_{L} (t, u (t), v (t)) d t$ .
3. If $L$ is an anti-self dual Lagrangian on $[0, T] \times X \times X^{*}$ , then $ℒ$ is anti-selfdual on $L_{X}^{2}$ .

Proposition 5.2 Suppose

ℓ

is a self-dual boundary Lagrangian on

H \times H

and let

L

be an anti-self dual Lagrangian on

[0, T] \times X \times X^{*}

such that

\begin{matrix} F o r e a c h p \in L_{X^{*}}^{2}, t h e m a p u \to \int_{0}^{T} L (t, u (t), p (t)) d t i s c o n t i n u o u s o n L_{X}^{2} \end{matrix}

(48)

\begin{matrix} T h e m a p u \to \int_{0}^{T} L (t, u (t), 0) d t i s b o u n d e d o n t h e b o u n d e d s e t s o f L_{X}^{2} \end{matrix}

(49)

\begin{matrix} ℓ (a, b) \leq C (1 + ∥ a ∥_{H}^{2} + ∥ b ∥_{H}^{2}) f o r a l l (a, b) \in H \times H . \end{matrix}

(50)

Then the Lagrangian

ℳ_{L} (u, p) = {\begin{matrix} \int_{0}^{T} L (t, u (t), p (t) + \dot{u} (t)) d t + ℓ (u (0), u (T)) & i f & u \in X_{2} \\ + \infty & o t h e r w i s e \end{matrix}

is anti-self dual on

L_{X}^{2}

Proof: For

(q, v) \in L_{X}^{2} \times X_{2}

, write:

\begin{matrix} ℳ_{L}^{*} (q, v) & = & {sup}_{u \in L_{X}^{2}} {sup}_{p \in L_{X^{*}}^{2}} {\int_{0}^{T} (〈 u (t), q (t) 〉 + 〈 v (t), p (t) 〉 - L (t, u (t), p (t) + \dot{u} (t))) d t - ℓ (u (0), u (T))} \end{matrix}

\begin{matrix} = & {sup}_{u \in X_{2}} {sup}_{p \in L_{X^{*}}^{2}} {\int_{0}^{T} (〈 u (t), q (t) 〉 + 〈 v (t), p (t) 〉 - L (t, u (t), p (t) + \dot{u} (t))) d t - ℓ (u (0), u (T))} \end{matrix}

Make a substitution

p (t) + \dot{u} (t) = r (t) \in L_{X^{*}}^{2}

. Since

u

and

v

are both in

X_{2}

, we have:

\int_{0}^{T} 〈 v, \dot{u} 〉 = - \int_{0}^{T} 〈 \dot{v}, u 〉 + 〈 v (T), u (T) 〉 - 〈 v (0), u (0) 〉,

and since the subspace

X_{_{2, 0}} = {u \in X_{2}; u (0) = u (T) = 0}

is dense in

L_{X}^{2}

, we obtain

\begin{matrix} ℳ_{L}^{*} (q, v) & = & {sup}_{u \in X_{2}} {sup}_{r \in L_{X^{*}}^{2}} {\int_{0}^{T} (〈 u (t), q (t) 〉 + 〈 v (t), r (t) - \dot{u} (t) 〉 - L (t, u (t), r (t))) d t - ℓ (u (0), u (T)) \end{matrix}

\begin{matrix} = & {sup}_{u \in X_{2}} {sup}_{r \in L_{X^{*}}^{2}} {\int_{0}^{T} (〈 u (t), q (t) + \dot{v} (t) 〉 + 〈 v (t), r (t) 〉 - L (t, u (t), r (t))) d t \end{matrix}

\begin{matrix} - 〈 v (T), u (T) 〉 + 〈 v (0), u (0) 〉 - ℓ (u (0), u (T))} \end{matrix}

\begin{matrix} = & {sup}_{u \in X_{2}} {sup}_{r \in L_{X^{*}}^{2}} {sup}_{u_{0} \in X_{2, 0}} {\int_{0}^{T} (〈 u (t), q (t) + \dot{v} (t) 〉 + 〈 v (t), r (t) 〉 - L (t, u (t), r (t))) d t \end{matrix}

\begin{matrix} - 〈 v (T), (u + u_{0}) (T) 〉 + 〈 v (0), (u + u_{0}) (0) 〉 - ℓ ((u + u_{0}) (0), (u + u_{0}) (T))} \end{matrix}

\begin{matrix} = & {sup}_{w \in X_{2}} {sup}_{r \in L_{X^{*}}^{2}} {sup}_{u_{0} \in X_{2, 0}} {\int_{0}^{T} (〈 w (t) - u_{0} (t), q (t) + \dot{v} (t) 〉 + 〈 v (t), r (t) 〉 - L (t, w (t) - u_{0} (t), r (t))) d t \end{matrix}

\begin{matrix} - 〈 v (T), w (T) 〉 + 〈 v (0), w (0) 〉 - ℓ (w (0), w (T))} \end{matrix}

\begin{matrix} = & {sup}_{w \in X_{2}} {sup}_{r \in L_{X^{*}}^{2}} {sup}_{x \in L_{X}^{2}} {\int_{0}^{T} (〈 x (t), q (t) + \dot{v} (t) 〉 + 〈 v (t), r (t) 〉 - L (t, x (t), r (t))) d t \end{matrix}

\begin{matrix} - 〈 v (T), w (T) 〉 + 〈 v (0), w (0) 〉 - ℓ (w (0), w (T))} \end{matrix}

Here we have used the fact that

X_{2, 0}

is dense in

L_{X}^{2}

and the continuity of

u \to \int_{0}^{T} L (t, u (t), p (t)) d t

L_{X}^{2}

for each

p

Now, for each

(a, b) \in X \times X

, there is

w \in X_{2}

such that

w (0) = a

and

w (T) = b

, namely the linear path

w (t) = \frac{(T - t)}{T} a + \frac{t}{T} b

. Since also

X

is dense in

H

and

ℓ

is continuous on

H

, we finally obtain that

\begin{matrix} ℳ_{L}^{*} (q, v) & = & {sup}_{(a, b) \in X \times X} {sup}_{r \in L_{X^{*}}^{2}} {sup}_{x \in L_{X}^{2}} {\int_{0}^{T} (〈 x (t), q (t) + \dot{v} (t) 〉 + 〈 v (t), r (t) 〉 - L (t, x (t), r (t))) d t \end{matrix}

\begin{matrix} - 〈 v (T), b 〉 + 〈 v (0), a 〉 - ℓ (a, b)} \end{matrix}

\begin{matrix} = & {sup}_{x \in L_{X}^{2}} {sup}_{r \in L_{X^{*}}^{2}} {\int_{0}^{T} (〈 x (t), q (t) + \dot{v} (t) 〉 + 〈 v (t), r (t) 〉 - L (t, x (t), r (t))) d t \end{matrix}

\begin{matrix} + {sup}_{a \in H} {sup}_{b \in H} {- 〈 v (T), b 〉 + 〈 v (0), a 〉 - ℓ (a, b)} \end{matrix}

\begin{matrix} = & \int_{0}^{T} L^{*} (t, q (t) + \dot{v} (t), v (t)) d t + ℓ^{*} (v (0), - v (T)) \end{matrix}

\begin{matrix} = & \int_{0}^{T} L (t, - v (t), - \dot{v} (t) - q (t)) d t + ℓ (- v (0), - v (T)) \end{matrix}

\begin{matrix} = & M (- v, - q) . \end{matrix}

If now

(q, v) \in L_{X^{*}}^{2} \times L_{X}^{2} \ X_{2}

, then we use the fact that

u \to \int_{0}^{T} L (t, u (t), 0) d t

is bounded on the unit ball of

X_{2}

and the growth condition on

ℓ

to deduce

\begin{matrix} ℳ_{L}^{*} (q, v) & \geq & {sup}_{u \in X_{2}} {sup}_{r \in X_{2}} {\int_{0}^{T} (〈 u (t), q (t) 〉 + 〈 v (t), r (t) 〉 - 〈 v (t), \dot{u} (t) 〉 - L (t, u (t), r (t))) d t - ℓ (u (0), u (T))} \end{matrix}

\begin{matrix} \geq & {sup}_{u \in X_{2}} {sup}_{r \in X_{2}} {- ∥ u ∥_{L_{X}^{2}} ∥ q ∥_{L_{X^{*}}^{2}} - ∥ v ∥_{L_{X}^{2}} ∥ r ∥_{L_{X^{*}}^{2}} + \int_{0}^{T} (- 〈 v (t), \dot{u} (t) 〉 - L (t, u (t), r (t))) d t - ℓ (u (0), u (T))} \end{matrix}

\begin{matrix} \geq & {sup}_{∥ u ∥_{X_{2}} \leq 1} {- ∥ q ∥_{2} + \int_{0}^{T} (〈 - v (t), \dot{u} (t) 〉 - L (t, u (t), 0)) d t - ℓ (u (0), u (T))} \end{matrix}

\begin{matrix} \geq & {sup}_{∥ u ∥_{X_{2}} \leq 1} {C + \int_{0}^{T} (〈 - v (t), \dot{u} (t) 〉 - L (t, u (t), 0)) d t - \frac{1}{2} (∥ u (0) ∥^{2} + ∥ u (T) ∥^{2})} \end{matrix}

\begin{matrix} \geq & {sup}_{∥ u ∥_{X_{2}} \leq 1} {D + \int_{0}^{T} 〈 - v (t), \dot{u} (t) 〉 d t - \frac{1}{2} (∥ u (0) ∥_{X}^{2} + ∥ u (T) ∥_{X}^{2})} . \end{matrix}

Since now

v

does not belong to

X_{2}

, we have that

{sup}_{∥ u ∥_{X_{2}} \leq 1} \int_{0}^{T} (〈 v (t), \dot{u} (t) 〉 d t + \frac{1}{2} (∥ u (0) ∥_{X}^{2} + ∥ u (T) ∥_{X}^{2}) = + \infty

which means that

M^{*} (q, v) = + \infty = M (- v, - q)

Now we can prove the following

Theorem 5.2 Let

X \subset H \subset X^{*}

be an evolution pair and consider an anti-self dual Lagrangian

L

[0, T] \times X \times X^{*}

and a self-dual boundary Lagrangian

ℓ

H \times H

Assume the following conditions:

\begin{matrix} F o r e a c h p \in L_{X^{*}}^{2}, t h e m a p u \to \int_{0}^{T} L (t, u (t), p (t)) d t i s b o u n d e d o n t h e b o u n d e d s e t s o f L_{X}^{2} \end{matrix}

(51)

\begin{matrix} {lim}_{∥ v ∥_{L^{2} (X)} \to + \infty} \int_{0}^{T} H_{L} (t, 0, v (t)) d t = + \infty, \end{matrix}

(52)

and

\begin{matrix} ℓ (a, b) \leq C (1 + ∥ a ∥_{H}^{2} + ∥ b ∥_{H}^{2}) f o r a l l (a, b) \in H \times H . \end{matrix}

(53)

(1) Then for any regular conservative operator

Λ : D (Λ) \subset L^{2} (X) \to L^{2} (X^{*})

such that

X_{2} \subset D (Λ)

, the following functional

I_{ℓ, L, Λ} (u) = \int_{0}^{T} L (t, u (t), Λ u (t) + \dot{u} (t)) d t + ℓ (u (0), u (T))

has zero infimum. Moreover, there exists

v \in X_{2}

such that:

\begin{matrix} (v (t), Λ v (t) + \dot{v} (t)) \in Dom (L) f o r a l m o s t a l l t \in [0, T] \end{matrix}

(54)

\begin{matrix} I_{ℓ, L, Λ} (v) = {inf}_{u \in X_{2}} I_{ℓ, L, Λ} (u) = 0, \end{matrix}

(55)

\begin{matrix} L (t, v (t), Λ v (t) + \dot{v} (t)) + 〈 v (t), \dot{v} (t) 〉 = 0 f o r a l m o s t a l l t \in [0, T], \end{matrix}

(56)

\begin{matrix} ℓ (v (0), v (T)) = \frac{1}{2} (∥ v (T) ∥_{H}^{2} - ∥ v (0) ∥_{H}^{2}), \end{matrix}

(57)

\begin{matrix} (- \dot{v} (t) - Λ v (t), - v (t)) \in \partial L (t, v (t), \dot{v} (t) + Λ v (t)) . \end{matrix}

(58)

(2) In particular, for every

v_{0} \in H

the following functional

I_{v_{0}, L, Λ} (u) = \int_{0}^{T} L (t, u (t), Λ u (t) + \dot{u} (t)) d t + \frac{1}{2} ∥ u (0) ∥^{2} - 2 〈 v_{0}, u (0) 〉 + ∥ v_{0} ∥^{2} + \frac{1}{2} ∥ u (T) ∥^{2}

has minimum equal to zero on

L_{X}^{2}

. It is attained at a unique path

v

such that

v (0) = v_{0}

, verifying ( 54 - 58 ) and in particular

\begin{matrix} ∥ v (t) ∥_{H}^{2} = ∥ v_{0} ∥^{2} - 2 \int_{0}^{t} L (s, v (s), Λ v (s) + \dot{v} (s)) d s f o r e v e r y t \in [0, T] . \end{matrix}

(59)

Proof: First apply Proposition 5.2 to get that the Lagrangian

ℳ_{L} (u, p) = {\begin{matrix} \int_{0}^{T} L (t, u (t), p (t) + \dot{u} (t)) d t + ℓ (u (0), u (T)) & i f & u \in X_{2} \\ + \infty & o t h e r w i s e \end{matrix}

is anti-self dual on

L_{X}^{2}

. It is now sufficient to apply Corollary 3.5 to conclude that the infimum of

ℳ_{L} (u, \tilde{Λ} u)

is equal

0

and is achieved. This yields claim ( 54 ) and ( 55 ).

Since

L (t, v (t), \dot{v} (t)) \geq - 〈 v (t), \dot{v} (t) 〉

for all

t \in [0, T]

, and since

ℓ (v (0), v (T)) \geq \frac{1}{2} (∥ v (T) ∥_{H}^{2} - ∥ v (0) ∥_{H}^{2})

, claims ( 56 ) and ( 57 ) follow from the following identity

0 = I_{ℓ, L, Λ} (v) = \int_{0}^{T} L (t, v (t), Λ v (t) + \dot{v} (t) + 〈 v (t), \dot{v} (t) 〉) d t - \frac{1}{2} (∥ v (T) ∥_{H}^{2} - ∥ v (0) ∥_{H}^{2}) + ℓ (v (0), v (T)) .

To prove ( 58 ), use ( 56 ), the fact that

L

is anti-selfdual and that

Λ

is conservative to write:

L (s, v (s), Λ v (s) + \dot{v} (s)) + L^{*} (s, - Λ v (s) - \dot{v} (s), - v (s)) + 〈 (v (s), Λ v (s) + \dot{v} (s)), (Λ v (s) + \dot{v} (s), v (s)) 〉 = 0

and conclude by the limiting case of the Legendre-Fenchel duality in the space

X \times X^{*}

For (2) it suffices to apply the first part with the boundary Lagrangian

ℓ (r, s) = \frac{1}{2} ∥ r ∥^{2} - 2 〈 v_{0}, r 〉 + ∥ v_{0} ∥^{2} + \frac{1}{2} ∥ s ∥^{2} .

which is clearly self-dual. We then get

I_{ℓ, L, Λ} (u) = \int_{0}^{T} [L (t, u (t), Λ u (t) + \dot{u} (t)) + 〈 u (t), \dot{u} (t) 〉] d t + ∥ u (0) - v_{0} ∥^{2} .

Note also that ( 56 ) yields

\frac{d (| v (s) |^{2})}{d s} = - 2 L (s, v (s), Λ v (s) + \dot{v} (s)) .

which readily implies ( 59 ).

We now apply the results of the last section to the particular class of ASD Lagrangian of the form

L (x, p) = φ (x) + φ^{*} (A x - p)

to obtain variational formulations and proofs of existence for various nonlinear parabolic equations.

Proposition 5.3 Let

X \subset H \subset X^{*}

be an evolution triple and consider for each

t \in [0, T]

a bounded linear operator

A_{t} : X \to X^{*}

and

φ : [0, T] \times X \to \bar{R}

such that for each

t

the functional

ψ (t, x) : = φ (t, x) + \frac{1}{2} 〈 A_{t} x, x 〉

is convex, lower semi-continuous and satisfies for some

C > 0

m, n > 1

the following growth condition:

\begin{matrix} \frac{1}{C} (∥ x ∥_{L_{X}^{2}}^{m} - 1) \leq \int_{0}^{T} {φ (t, x (t)) + \frac{1}{2} 〈 A_{t} x (t), x (t) 〉} d t \leq C (∥ x ∥_{L_{X}^{2}}^{n} + 1) f o r e v e r y x \in L_{X}^{2} . \end{matrix}

(60)

Λ : D (Λ) \subset X \to X^{*}

is a regular conservative operator and

v_{0} \in X

, we consider on

X_{2}

the functional

I (x) = \int_{0}^{T} {ψ (t, x (t)) + ψ^{*} (t, - Λ x (t) - A_{t}^{a} x (t) - \dot{x} (t))} d t + \frac{1}{2} (| x (0) |^{2} + | x (T) |^{2}) - 2 〈 x (0), v_{0} 〉 + | v_{0} |^{2},

where for each

t \in [0, T]

A_{t}^{a}

is the anti-symmetric part of the operator

A_{t}

. Then there exists a path

v \in X_{2}

such that

\begin{matrix} I (v) = {inf}_{x \in X_{2}} I (x) = 0 . \end{matrix}

(61)

\begin{matrix} - \dot{v} (t) - A_{t} v (t) - Λ v (t) & \in & \partial φ (t, v (t)) for a.e. t \in [0, T] \end{matrix}

(62)

\begin{matrix} v (0) & = & v_{0} . \end{matrix}

Proof: The Lagrangian

L (t, x, p) : = ψ (t, x) + ψ^{*} (t, - A^{a} x - p)

is an ASD Lagrangian on

X \times X^{*}

by Proposition 2.5. Consider

ℓ

H \times H

to be

ℓ (r, s) = \frac{1}{2} (| r |^{2} + | s |^{2}) - 2 〈 r, v_{0} 〉 + | v_{0} |^{2},

and lift

Λ

to a regular conservative operator

\tilde{Λ}

from its domain in

L_{X}^{2} ([0, T])

into

L_{X^{*}}^{2} ([0, T])

by setting

(\tilde{Λ} x) (t) = Λ (x (t))

. It is easy to check that all the conditions of Theorem 5.2 are satisfied by

L

ℓ

B

and

\tilde{Λ}

, hence there exists

v \in X_{2}

such that

I (v) = 0

. We obtain

0 = \int_{0}^{T} (ψ (t, v (t)) + ψ^{*} (t, - Λ v (t) - A_{t}^{a} v (t) - \dot{v} (t)) + 〈 v (t), Λ v (t) + A_{t} v (t) + \dot{v} (t) 〉) d t + \frac{1}{2} ∥ v (0) - v_{0} ∥_{H}^{2}

which yields since the integrand is non-negative for each

t

and since we are now in the limiting case of Legendre-Fenchel duality that

\begin{matrix} - \dot{v} (t) - A_{t}^{a} v (t) - Λ v (t) & \in & \partial φ (t, v (t)) + A_{t}^{s} v (t) for a.e. t \in [0, T] \end{matrix}

(63)

\begin{matrix} v (0) & = & v_{0} . \end{matrix}

Example 5: Navier-Stokes evolutions We now consider the evolution equation associated to a fluid driven by its boundary.

\begin{matrix} {\begin{matrix} \frac{\partial u}{\partial t} + (u \cdot \nabla) u + f & = & ν Δ u - \nabla p o n [0, T] \times Ω \\ d i v u & = & 0 o n [0, T] \times Ω \\ u (t, x) & = & u^{0} (x) o n [0, T] \times \partial Ω \\ u (0, x) & = & u_{0} (x) o n Ω \end{matrix} \end{matrix}

(64)

where

\int_{\partial Ω} u^{0} \cdot n d σ = 0

ν > 0

and

f \in L^{p} (Ω; R^{3})

. Assuming that

u^{0} \in H^{3 / 2} (\partial Ω)

and that

\partial Ω

is connected, Hopf 's extension theorem again yields the existence of

v^{0} \in H^{2} (Ω)

such that

\begin{matrix} v^{0} = u^{0} o n \partial Ω, d i v v^{0} = 0 a n d \int_{Ω} Σ_{j, k = 1}^{3} u_{k} \frac{\partial v_{j}^{0}}{\partial x_{k}} u_{j} d x \leq ε ∥ u ∥_{V}^{2} f o r a l l u \in V \end{matrix}

(65)

where

V = {u \in H^{1} (Ω; R^{3}); d i v v = 0}

. Setting

v = u + v^{0}

, then solving ( 64 ) reduces to finding a solution in the Banach space

V_{0} = {u \in H_{0}^{1} (Ω; R^{3}); d i v v = 0}

for

\begin{matrix} \frac{\partial u}{\partial t} + (u \cdot \nabla) u + (v^{0} \cdot \nabla) u + (u \cdot \nabla) v^{0} + g & \in & - \partial Φ (u) \end{matrix}

(66)

\begin{matrix} u (0) & = & u_{0} - v^{0} . \end{matrix}

where

Φ

is again the convex Dirichlet energy functional

Φ (u) = \frac{ν}{2} \int_{Ω} Σ_{j, k = 1}^{3} (\frac{\partial u_{j}}{\partial x_{k}})^{2} d x

and where

g : = f - ν Δ v^{0} + (v^{0} \cdot \nabla) v^{0} \in V^{*} .

In other words, this is an equation of the form

\begin{matrix} \frac{\partial u}{\partial t} + Λ u + B u + g \in - \partial Φ (u) \end{matrix}

(67)

where

Λ u = (u \cdot \nabla) u

is a regular conservative operator, and

B u = (v^{0} \cdot \nabla) u + (u \cdot \nabla) v^{0}

is a bounded linear operator on

V

. The component

B^{1} u : = (v^{0} \cdot \nabla) u

B

is skew-symmetric which means that Hopf 's estimate implies

C ∥ u ∥_{V}^{2} \geq Ψ (u) : = Φ (u) + \frac{1}{2} 〈 B u, u 〉 \geq \frac{1}{2} (ν - ε) ∥ u ∥^{2} f o r a l l u \in V .

Letting

A^{a}

be the antisymmetric part of the operator

A u = (u \cdot \nabla) v^{0}

, we can now apply Proposition 5.3 to obtain

Theorem 5.3 Under the above hypothesis on

u^{0}

, and for

f \in L^{p} (Ω, R^{3})

with

p > \frac{6}{5}

and

u_{0} \in V

, the minimum of the functional

\begin{matrix} I (u) & = & \int_{0}^{T} {Ψ (u (t)) + Ψ^{*} (- (u \cdot \nabla) u - B^{a} u + f - \dot{u}) - \int_{Ω} 〈 f, u 〉 d x} d t \end{matrix}

\begin{matrix} + \int_{Ω} {\frac{1}{2} (| u (0, x) |^{2} + | u (x, T) |^{2}) - 2 〈 u (0, x), u_{0} (x) - v^{0} (x) 〉 + | u_{0} (x) - v^{0} (x) |^{2}} d x \end{matrix}

A_{V}^{2}

is zero and is attained at a solution of the equation ( 66 ).

6 Autonomous ASD Lagrangians and nonlinear conservative operators

In order to deal with evolutions involving unbounded operators, one has to relax the stringent boundedness condition ( 51 ) on the Lagrangian

L

since it must be assigned infinite values in some part of the space. In order to do that, we shall

λ

-regularize

L

via inf-convolution to obtain an ASD Lagrangian

L_{λ}

to which Theorem 5.3 applies and then we let

λ \to 0

in a way reminescent of Yosida's regularization of unbounded operators and convex functions.

We shall be able to carry this program in the case where the Lagrangian

L (x, p)

is autonomous and we obtain the following result. First we define the Partial Domain of

\partial L

to be the set:

D o m_{1} (\partial L) = {x \in H; t h e r e e x i s t s p, q \in H s u c h t h a t (p, 0) \in \partial L (x, q)} .

Note that if

L (x, p) = φ (x) + φ^{*} (- p)

with

0

assumed to be in the domain of

\partial φ

, then

x_{0}

belongs to

D o m_{1} (\partial L)

if and only if it belongs to the domain of

\partial φ

. This is the main result of this section

Theorem 6.1 Let

X \subset H \subset X^{*}

be an evolution triple and let

L

be an anti-selfdual Lagrangian on

X \times X^{*}

that is uniformly convex in the first variable on

H

and such that

\begin{matrix} F o r a l l x \in X, t h e m a p L (x, \cdot) : X^{*} \to \bar{R} i s c o n t i n u o u s o n X^{*} . \end{matrix}

(68)

\begin{matrix} T h e r e e x i s t s x_{0} \in X s u c h t h a t p \to L (x_{0}, p) i s b o u n d e d o n t h e b o u n d e d s e t s o f X^{*} . \end{matrix}

(69)

Assuming

D o m_{1} (\partial L)

is non-empty, then for every

x_{0} \in D o m_{1} (\partial L)

there exists a path

x (t) \in A_{H}^{2}

satisfies

x (0) = x_{0}

and

\begin{matrix} (- Λ x (t) - \dot{x} (t), - x (t)) \in \partial L (x (t), Λ x (t) + \dot{x} (t)) \end{matrix}

(70)

It is obtained as a minimizer on

A_{H}^{2}

of the functional

I (u) = \int_{0}^{T} L (u (t), Λ u (t) + \dot{u} (t)) d t + \frac{1}{2} ∥ u (0) ∥^{2} - 2 〈 x, u (0) 〉 + ∥ x ∥^{2} + \frac{1}{2} ∥ u (T) ∥^{2} .

We need the following notions.

Definition 6.2 Let

X \subset H \subset X^{*}

be an evolution triple and let

L

be an ASD Lagrangian on

X \times X^{*}

We say that

L

H

-compatible if it lifts to an ASD Lagrangian on

H \times H

. In other words if the Lagrangian

\begin{matrix} \tilde{L} (x, p) : = {\begin{matrix} L (x, p) & x \in X \\ + \infty & x \in H \ X \end{matrix} \end{matrix}

is also anti selfdual on

H \times H

2. $L$ is uniformly convex in the first variable (resp. second variable) on $H$ if there exists $ɛ > 0$ such that for all $p \in H$ (resp. for all $x \in H$ ) the Lagrangian $\tilde{L} (x, p) - \frac{ɛ ∥ x ∥_{H}^{2}}{2} (resp. L (x, p) - \frac{ɛ ∥ p ∥_{H}^{2}}{2})$ is convex in $x$ (resp. in $p$ ) on $H$ .

We start by proving the following proposition which improves on Theorem 5.3 in the case of autonomous Lagrangians.

Proposition 6.1 Let

X \subset H \subset X^{*}

be an evolution pair and consider a self-dual boundary Lagrangian

ℓ

H \times H

. Suppose

L

is an

H

-compatible autonomous anti-self dual Lagrangian

L

X \times X^{*}

that is uniformly convex in both variables and satisfying the following conditions:

\begin{matrix} F o r e a c h p \in L_{X^{*}}^{2}, t h e m a p u \to \int_{0}^{T} L (u (t), p (t)) d t i s b o u n d e d o n t h e b o u n d e d s e t s o f L_{X}^{2} \end{matrix}

(71)

\begin{matrix} {lim}_{∥ v ∥_{L^{2} (X)} \to + \infty} \int_{0}^{T} H_{L} (0, v (t)) d t = + \infty, \end{matrix}

(72)

\begin{matrix} ℓ (a, b) \leq C (1 + ∥ a ∥_{H}^{2} + ∥ b ∥_{H}^{2}) f o r a l l (a, b) \in H \times H . \end{matrix}

(73)

Then for any regular conservative operator

Λ : D (Λ) \subset L^{2} (X) \to L^{2} (X^{*})

such that

X_{2} \subset D (Λ)

, the following functional

I_{ℓ, L, Λ} (u) = \int_{0}^{T} L (t, u (t), Λ u (t) + \dot{u} (t)) d t + ℓ (u (0), u (T))

has zero infimum. Moreover, there exists

v \in X_{2} \cap C^{1} ([0, T], H)

such that:

\begin{matrix} (v (t), Λ v (t) + \dot{v} (t)) \in Dom (L) f o r a l l t \in [0, T] \end{matrix}

(74)

\begin{matrix} I_{ℓ, L, Λ} (v) = {inf}_{u \in X_{2}} I_{ℓ, L, Λ} (u) = 0, \end{matrix}

(75)

\begin{matrix} L (t, v (t), Λ v (t) + \dot{v} (t)) + 〈 v (t), \dot{v} (t) 〉 = 0 f o r a l l t \in [0, T], \end{matrix}

(76)

\begin{matrix} ℓ (v (0), v (T)) = \frac{1}{2} (∥ v (T) ∥_{H}^{2} - ∥ v (0) ∥_{H}^{2}), \end{matrix}

(77)

\begin{matrix} (- \dot{v} (t) - Λ v (t), - v (t)) \in \partial L (t, v (t), \dot{v} (t) + Λ v (t)) . \end{matrix}

(78)

There is

C > 0

such that

\begin{matrix} ∥ \dot{v} (t) ∥ \leq C ∥ \dot{v} (0) ∥ f o r a l l t \in [0, T] . \end{matrix}

(79)

Proof: Note that Theorem 5.2 already gives the existence of

v \in X_{2}

satisfying ( 74 )( 78 ). We shall use the fact that

L

H

-compatible and uniformly convex in both variables to get the last estimate ( 79 ).

Indeed, since

\tilde{L}

is an ASD Lagrangian on

H \times H

that is uniformly convex in both variables, we can apply Lemma 4.2 of [10] to conclude that that

(x, p) \to \partial \tilde{L} (x, p)

is Lipschitz on

H \times H

and Lemma 4.4 of [10] to get that

v \in C^{1} ([0, T], H)

. It follows by continuity that

\begin{matrix} (- \dot{v} (t) - Λ v (t), - v (t)) \in \partial L (t, v (t), \dot{v} (t) + Λ v (t)) \end{matrix}

(80)

holds for all

t \in [0, T]

To establish ( 79 ), we first differentiate to obtain:

\frac{1}{2} \frac{d}{d t} ∥ v (t) - v (t + h) ∥^{2} = 〈 v (t) - v (t + h), \dot{v} (t) - \dot{v} (t + h) 〉 .

Setting

v_{1} (t) = \partial_{1} L (v (t), Λ v (t) + \dot{v} (t))

and

v_{2} (t) = \partial_{2} L (v (t), Λ v (t) + \dot{v} (t))

, we obtain from ( 78 ) and monotonicity that

\begin{matrix} \frac{d}{d t} ∥ v (t) - v (t + h) ∥^{2} & = & 〈 v (t) - v (t + h), - v_{1} (t) - Λ v (t) + v_{1} (t + h) + Λ v (t + h) 〉 \end{matrix}

\begin{matrix} + 〈 \dot{v} (t) + Λ v (t) - Λ v (t) - \dot{v} (t + h) - Λ v (t + h) + Λ v (t + h), - v_{2} (t) + v_{2} (t + h) 〉 \end{matrix}

\begin{matrix} \leq & 〈 v (t + h), Λ v (t) 〉 + 〈 v (t), Λ v (t + h) 〉 + 〈 - Λ v (t) + Λ v (t + h), - v_{2} (t) + v_{2} (t + h) 〉 . \end{matrix}

Since

v \in C^{1} ([0, T], H) \cap X_{2}

, we have that for each

t \in [0, T]

{lim}_{t \to 0} v (t + h) - v (t) = 0

weakly in

X

. Since

Λ

is regular conservative, it follows that

{limsup}_{t \to 0} \frac{d}{d t} ∥ v (t) - v (t + h) ∥^{2} \leq 0 .

from which ( 79 ) follows.

The strategy for the proof of Theorem 6.1, is to first consider the

λ

-regularized Lagrangian

L_{λ}

that will satisfy teh conditions of Proposition 6.1 and then to try to conclude by letting

λ

go to zero.

We shall first summarize the needed properties about inf-convolution of ASD Lagrangians, many of which were established in details in [10] . Suppose

L

is a Lagrangian on

H \times H^{*}

and recall that for each

λ > 0

\begin{matrix} L_{λ} (x, p) : = (L ◆ T_{λ}) (x, p) = {inf}_{z} {L (z, p) + \frac{∥ x - z ∥^{2}}{2 λ}} + \frac{λ ∥ p ∥^{2}}{2} \end{matrix}

We have seen (Proposition ??) that if

L

is an ASD Lagrangian, then

L_{λ}

is then a tempered ASD Lagrangian. We let now

J_{λ} (x, p)

be the unique minimizer in

H

of the following optimization problem

{inf}_{z} {L (z, p) + \frac{∥ x - z ∥^{2}}{2 λ}}

in such a way that

\begin{matrix} L_{λ} (x, p) = L (J_{λ} (x, p), p) + \frac{∥ x - J_{λ} (x, p) ∥^{2}}{2 λ} + \frac{λ ∥ p ∥^{2}}{2} . \end{matrix}

(81)

It is clear that

\begin{matrix} \partial_{1} L_{λ} (x, p) = \frac{x - J_{λ} (x, p)}{λ} \in \partial_{1} L (J_{λ} (x, p), p) . \end{matrix}

(82)

The following proposition summarizes various properties of this regularization procedure on ASD Lagrangians. For the proofs we refer to [10] .

Lemma 6.3 Let

L

be an ASD Lagrangian on a Hilbert space

H \times H

1. If $L$ is uniformly convex in the first variable on $H$ , then for each $λ > 0$ , the Lagrangian $L_{λ}$ is uniformly convex in both variables on $H \times H$ .
2. If $L$ is an ASD Lagrangian that is uniformly convex in the first variable, then the map $(x, p) \to J_{λ} (x, p)$ is Lipschitz from $H \times H$ into $H$ .
3. If $L$ is an ASD Lagrangian on a Hilbert space $H$ , then if $(x, p)$ satisfy $- (p, x) = \partial L_{λ} (x, p)$ then $- (p, J_{λ} (x, p)) \in \partial L (J_{λ} (x, p), p)$ .
4. If $0 \in d o m_{1} \partial L$ where $L$ is an ASD Lagrangian on a Hilbert space, then there exists a constant $C > 0$ , such that whenever $y_{λ}$ satisfies $- (y_{λ}, 0) \in \partial L_{λ} (0, y_{λ})$ then $∥ y_{λ} ∥ \leq C$ for all $λ > 0$ .

Lemma 6.4 Let

X \subset H \subset X^{*}

be an evolution triple and let

L

be an ASD Lagrangian on

X

that verifies conditions ( 68 ) and ( 69 ). Then

L

is an

H

-compatible ASD Lagrangian.

Proof: We check that

\tilde{L}

is still anti-selfdual on

H \times H

. For

(\tilde{x}, \tilde{p}) \in X \times H

, write

\begin{matrix} {\tilde{L}}^{*} (- \tilde{p}, - \tilde{x}) & = & {sup}_{\overset{x \in X}{p \in H}} {〈 \tilde{x}, p 〉_{H} + 〈 \tilde{p}, x 〉_{H} - L (x, p)} \end{matrix}

\begin{matrix} = & {sup}_{x \in X} {sup}_{p \in H} {〈 \tilde{x}, p 〉_{X, X^{*}} + 〈 x, \tilde{p} 〉_{X, X^{*}} - L (x, p)} \end{matrix}

\begin{matrix} = & {sup}_{x \in X} {sup}_{p \in X^{*}} {〈 \tilde{x}, p 〉_{X, X^{*}} + 〈 x, \tilde{p} 〉_{X, X^{*}} - L (x, p)} \end{matrix}

\begin{matrix} = & L (- \tilde{x}, - \tilde{p}) \end{matrix}

Now suppose

\tilde{x} \in H \ X

. Then

{\tilde{L}}^{*} (\tilde{p}, \tilde{x}) = {sup}_{\overset{x \in X}{p \in H}} {〈 \tilde{x}, p 〉_{H} + 〈 \tilde{p}, x 〉_{H} - L (x, p)} \geq 〈 \tilde{p}, x_{0} 〉 + {sup}_{p \in H} {〈 \tilde{x}, p 〉_{H} - L (x_{0}, p)} .

Since

\tilde{x} / \in X

, we have that

sup {〈 \tilde{x}, p 〉; p \in H, ∥ p ∥_{X^{*}} \leq 1} = + \infty

. Since

p \to L (x_{0}, p)

is bounded on the bounded sets of

X^{*}

, it follows that

{\tilde{L}}^{*} (\tilde{p}, \tilde{x}) \geq 〈 \tilde{p}, x_{0} 〉 + {sup}_{p \in H} {〈 \tilde{x}, p 〉_{H} - L (x_{0}, p)} = + \infty,

and therefore

\tilde{L}

is an ASD Lagrangian on

H

Proof of Theorem 6.1: Since

L

satisfies ( 68 ) and ( 69 ), we get from the preceeding lemma that it lifts to an ASD-Lagrangian

\tilde{L}

H \times H

. For each

λ > 0

, we denote by

L_{λ}

the

λ

-regularization of

\tilde{L}

. It satisfies all the hypothesis of Proposition 6.1, hence there exists then

x_{λ} \in C_{H}^{1} ([0, T]; H)

such that

x_{λ} (0) = x_{0}

\begin{matrix} \int_{0}^{T} L_{λ} (x_{λ} (t), Λ x_{λ} (t) + {\dot{x}}_{λ} (t)) d t + ℓ (x_{λ} (0), x_{λ} (T)) = 0 \end{matrix}

(83)

\begin{matrix} (- Λ x_{λ} (t) - {\dot{x}}_{λ} (t), x_{λ} (t)) \in \partial L_{λ} (x_{λ} (t), Λ x_{λ} + {\dot{x}}_{λ} (t)) \end{matrix}

(84)

\begin{matrix} ∥ {\dot{x}}_{λ} (t) ∥ \leq C (T) ∥ {\dot{x}}_{λ} (0) ∥ f o r a l l t \in [0, T] . \end{matrix}

(85)

Now recall that

L_{λ} (x, p) = L (J_{λ} (x, p), p) + \frac{∥ x - J_{λ} (x, p) ∥^{2}}{2 λ} + \frac{λ ∥ p ∥^{2}}{2}

So ( 83 ) becomes

\begin{matrix} \int_{0}^{T} L (v_{λ} (t), Λ x_{λ} (t) + {\dot{x}}_{λ} (t)) + \frac{∥ x_{λ} (t) - v_{λ} (t) ∥^{2}}{2 λ} + \frac{λ ∥ Λ x_{λ} (t) + {\dot{x}}_{λ} (t) ∥^{2}}{2} d t + ℓ (x_{λ} (0), x_{λ} (T)) = 0 \end{matrix}

(86)

where

v_{λ} (t) = J_{λ} (x_{λ} (t), Λ x_{λ} (t) + {\dot{x}}_{λ} (t))

. Using ( 82 ) and ( 84 ) that for all

t

\begin{matrix} - Λ x_{λ} (t) - {\dot{x}}_{λ} (t) \in \partial_{1} L_{λ} (x_{λ} (t), Λ x_{λ} (t) + {\dot{x}}_{λ} (t)) = \frac{x_{λ} (t) - v_{λ} (t)}{λ} \end{matrix}

(87)

Setting

t = 0

in ( 84 ) we get

(- Λ x_{0} - {\dot{x}}_{λ} (0), 0) \in \partial L_{λ} (0, Λ x_{0} - {\dot{x}}_{λ} (0))

So we can apply Lemma 6.3.4 to get

∥ Λ x_{0} + {\dot{x}}_{λ} (0) ∥_{H} \leq C (T) f o r a l l λ > 0 .

This combined with ( 85 ) gives

∥ {\dot{x}}_{λ} (t) ∥ \leq C (x_{0}, T) f o r a l l λ > 0 .

It follows that

(x_{λ})_{λ}

is bounded in

A_{H}^{2}

and therefore there is a subsequence

(x_{λ_{j}})_{j}

such that

x_{λ_{j}} (\cdot) ⇀ x (\cdot)

weakly in

A_{H}^{2}

and hence strongly in

C ([0, T], H)

. Since

Λ

is completely continuous, we also have that

Λ x_{λ_{j}}

converges to

Λ x

L_{X^{*}}^{2}

It follows that

(Λ x_{λ} - {\dot{x}}_{λ})

is bounded in

L_{H}^{2}

and therefore again from ( 87 ) we obtain

\begin{matrix} \frac{∥ x_{λ} - v_{λ} ∥_{L_{H}^{2}}^{2}}{λ} \to 0 \end{matrix}

(88)

It follows that

\begin{matrix} v_{λ} (\cdot) ⇀ x (\cdot) in L_{H}^{2} \end{matrix}

(89)

and since clearly

\begin{matrix} λ \frac{∥ {\dot{x}}_{λ} (t) ∥^{2}}{2} \to 0 uniformly, \end{matrix}

(90)

the above combine to yield that as

λ \to 0

in ( 83 ) we get

\begin{matrix} I_{L, ℓ, Λ} (x) = \int_{0}^{T} L (x (t), Λ x (t) + \dot{x} (t)) d t + ℓ (x (0), x (T)) \leq 0 . \end{matrix}

Since

I_{L, ℓ, Λ} (x) \geq 0

for all

x \in A_{H}^{2}

, it follows that

0 = I_{L, ℓ} (x) = {inf}_{x \in A_{H}^{2}} I_{L, ℓ} .

Proposition 6.2 Let

X \subset H \subset X^{*}

be an evolution triple and let

φ : X \to R

be a convex, lower semi-continuous such that for some

C > 0

m, n > 1

we have the following growth condition:

\begin{matrix} \frac{1}{C} (∥ x ∥_{X}^{m} - 1) \leq φ (x) \leq C (∥ x ∥_{X}^{n} + 1) . \end{matrix}

(91)

Let

A : D (A) \subset X \to X^{*}

be a skew-adjoint operator modulo boundary operators

(b_{1}, b_{2}) : D (b_{1}, b_{2}) \subset X \to H \times H

and let

Λ : D (Λ) \subset X \to X^{*}

be a regular conservative operator such that

D (B) \cap D (b_{1}, b_{2}) \subset D (Λ)

. For

T > 0

and

v_{0} \in D (B) \cap D (b_{1}, b_{2})

, define the following functional on

L_{X}^{2} ([0, T])

\begin{matrix} I (u) & = & \int_{0}^{T} {φ (x (t)) + φ^{*} (- Λ x (t) - A x (t) - \dot{x} (t)) + \frac{1}{2} (| b_{1} x (t) |^{2} + | b_{2} x (t) |^{2}) - 2 〈 b_{1} v_{0}, b_{1} x (t) 〉 + | b_{1} v_{0} |^{2})} d t \end{matrix}

\begin{matrix} + \frac{1}{2} (| x (0) |^{2} + | x (T) |^{2}) - 2 〈 x (0), v_{0} 〉 + | v_{0} |^{2}, \end{matrix}

whenever

x \in S = {X_{2}; x (t) \in D (B) \cap D (b_{1}, b_{2}) \subset D (Λ)}

and

+ \infty

elsewhere. Then there exists a path

v \in S

such that

\begin{matrix} I (x) = {inf}_{x \in L_{X}^{2} ([0, T])} I (x) = 0 . \end{matrix}

(92)

\begin{matrix} - \dot{v} (t) - A v (t) - Λ v (t) & \in & \partial φ (v (t)) for a.e. t \in [0, T] \end{matrix}

(93)

\begin{matrix} v (0) & = & v_{0} . \end{matrix}

\begin{matrix} b_{1} (v (t)) & = & b_{1} (v_{0}) . \end{matrix}

(94)

Proof: The Lagrangian

L (t, x, p) : = {\begin{matrix} φ (x) + φ^{*} (- A x - p) + \frac{1}{2} (| b_{1} x |^{2} + | b_{2} x |^{2}) - 2 〈 b_{1} v_{0}, b_{1} x 〉 + | b_{1} v_{0} |^{2} i f x \in D (A) \cap D (b_{1}, b_{2}) & + \infty e l s e w h e r e \end{matrix}

is an ASD Lagrangian on

X \times X^{*}

by Propostion 2.5. . Let

ℓ

ℓ (r, s) = \frac{1}{2} (| r |^{2} + | s |^{2}) - 2 〈 r, v_{0} 〉 + | v_{0} |^{2},

and lift

Λ

to a regular conservative operator

\tilde{Λ}

from

L_{X}^{2} ([0, T])

into

L_{X^{*}}^{2} ([0, T])

by setting

(\tilde{Λ} x) (t) = Λ (x (t))

which is defined on

\tilde{D} = {x \in L_{X}^{2} ([0, T]); x (t) \in D (Λ) a . e .}

. It is easy to check that all the conditions of Theorem 6.1 are satisfied by

L

ℓ

B

and

\tilde{Λ}

, hence there exists

v \in X_{2}

such that

I (v) = 0

. We obtain

\begin{matrix} 0 & = & \int_{0}^{T} (φ (v (t)) + φ^{*} (- Λ v (t) - A v (t) - \dot{v} (t)) + 〈 v (t), Λ v (t) + A v (t) + \dot{v} (t) 〉) d t \end{matrix}

\begin{matrix} + \frac{1}{2} \int_{0}^{T} ∥ b_{1} (v (t)) - γ (t) ∥_{H}^{2} d t \end{matrix}

\begin{matrix} + \frac{1}{2} ∥ v (0) - v_{0} ∥_{H}^{2} . \end{matrix}

The result follows from the fact that each term above is non-negative.

References

G. Auchmuty. Saddle points and existence-uniqueness for evolution equations, Differential Integral Equations, 6 (1993), 1161–1171.
G. Auchmuty. Variational principles for operator equations and initial value problems, Nonlinear Analysis, Theory, Methods and Applications Vol. 12, No.5, pp. 531-564 (1988).
C. Bardos. Problèmes aux limites pour les equations aux dérivées partielles du premier ordre a coefficients réels; Théorèmes d'approximation; Application à l'équation de transport, Ann. scient. Ec. Norm. Sup., $4^{e}$ série, t. 3, (1970), p. 185-233.
H. Brezis, I. Ekeland, Un principe variationnel associé à certaines equations paraboliques. Le cas independant du temps, C.R. Acad. Sci. Paris Sér. A 282 (1976), 971–974.
H. Brezis, I. Ekeland, Un principe variationnel associé à certaines equations paraboliques. Le cas dependant du temps, C.R. Acad. Sci. Paris Sér. A 282 (1976), 1197–1198.
H. Brezis, L. Nirenberg, G. Stampachia, A remark on Ky Fan's Minimax Principle, Bollettino U. M. I (1972), 293-300
N. Ghoussoub, A theory of anti-selfdual Lagrangians: Dynamical case, C.R. Acad. Sci., Paris, Ser. I 340 (2005) p. 325-330
N. Ghoussoub, Anti-selfdual Lagrangians: Variational resolutions of non self-adjoint equations and dissipative evolutions, (2005). Submitted, 50 pages
N. Ghoussoub, A. Moameni, A general nonlinear variational principle and its applications to partial differential equations and systems, In preparation (2005)
N. Ghoussoub, L. Tzou. Anti-self dual Lagrangians II: Unbounded non self-adjoint operators and evolution equations, (2005). Submitted, 30 pages
R. Temam, Infinite-dimensional dynamical systems in mechanics and physics, Applied mathematical sciences, 68, Springer-Verlag (1997).