On a diffeomorphism between two Banach spaces

0 downloads 0 Views 475KB Size Report
Jun 29, 2017 - Provide suj cient conditions for a 31 mapping O : G ) I to be a diffeomorphism using local diffeomorphism theorem and mountain pass theorem;.
On a di¤eomorphism between two Banach spaces - a variational approach Marek Galewski LUT, Institute of Mathematics

June 29, 2017

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

1 / 28

Main aims of the talk

Provide su¢ cient conditions for a C 1 mapping f : X ! Z to be a di¤eomorphism using local di¤eomorphism theorem and mountain pass theorem;

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

2 / 28

Main aims of the talk

Provide su¢ cient conditions for a C 1 mapping f : X ! Z to be a di¤eomorphism using local di¤eomorphism theorem and mountain pass theorem; Examine whether the assumption that f is C 1 can be weakened; …nite dimensional case and non-smooth critical point theory methods;

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

2 / 28

Main aims of the talk

Provide su¢ cient conditions for a C 1 mapping f : X ! Z to be a di¤eomorphism using local di¤eomorphism theorem and mountain pass theorem; Examine whether the assumption that f is C 1 can be weakened; …nite dimensional case and non-smooth critical point theory methods; Examine what happens when f is only locally Lipschitz continuous describe problems which appear here in the context of non-smooth di¤erentiation; …nite dimensional case.

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

2 / 28

Main aims of the talk

Provide su¢ cient conditions for a C 1 mapping f : X ! Z to be a di¤eomorphism using local di¤eomorphism theorem and mountain pass theorem; Examine whether the assumption that f is C 1 can be weakened; …nite dimensional case and non-smooth critical point theory methods; Examine what happens when f is only locally Lipschitz continuous describe problems which appear here in the context of non-smooth di¤erentiation; …nite dimensional case. Provide outline of the applications and state the mains di¢ culties appearing there

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

2 / 28

Existing results 1 Theorem (D.I. A.S. S.W. Adv. Nonlinear Stud. 12, No. 1, 89-100 (2012).)Let X be a real Banach space, H - a real Hilbert space. If f : X ! H is a C 1 -mapping such that (i) for any y 2 H the functional ϕ : X ! R given by the formula ϕ (x ) =

1 kf (x ) 2

y k2 =

1 hf (x ) 2

y , f (x )

yi

satis…es the Palais-Smale condition, 0 (ii) for any x 2 X , f (x )X = H and there exists a constant αx > 0 such that 0 f (x )h αx kh k then f is a di¤eomorphism. M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

3 / 28

Existing results 2

Theorem (D.I. Discrete Contin. Dyn. Syst. Ser. B, 19 (8)

(2014)). Let X , Y be a

real Banach space, H - a real Hilbert space. Assume that F : X Y ! H is a C 1 -mapping such that (i) for any y 2 H the functional ϕ : X ! R given by the formula ϕ (x ) =

1 kF (x, y )k2 2

satis…es the P-S condition, 0 (ii) for any (x, y ) 2 X Y the di¤erential Fx (x, y ) : X ! H is a bijection. Then there exists a unique function f : Y ! X such that equations F (x, y ) = 0 and x = f (y ) are equivalent on X Y .

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

4 / 28

Main ideas and problems

replace a Hilbert space with a Banach space - to extend applicability

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

5 / 28

Main ideas and problems

replace a Hilbert space with a Banach space - to extend applicability use weak version of MPT - in order to relax some proof steps

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

5 / 28

Main ideas and problems

replace a Hilbert space with a Banach space - to extend applicability use weak version of MPT - in order to relax some proof steps …nd a suitable formula for ϕ - so that the arguments from existing sources work

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

5 / 28

Preliminary material. P-S condition X (re‡exive) Banach space J : X ! R satis…es the Palais-Smale condition if every sequence fun g such that fJ (un )g is bounded and J 0 (un ) ! 0, has a convergent subsequence;

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

6 / 28

Preliminary material. P-S condition X (re‡exive) Banach space J : X ! R satis…es the Palais-Smale condition if every sequence fun g such that fJ (un )g is bounded and J 0 (un ) ! 0, has a convergent subsequence; a C 1 functional bounded from below and satisfying the P-S condition has an argument of a minimum-valid also when derivative replaced with Clarke derivative with genuinely same proof;

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

6 / 28

Preliminary material. P-S condition X (re‡exive) Banach space J : X ! R satis…es the Palais-Smale condition if every sequence fun g such that fJ (un )g is bounded and J 0 (un ) ! 0, has a convergent subsequence; a C 1 functional bounded from below and satisfying the P-S condition has an argument of a minimum-valid also when derivative replaced with Clarke derivative with genuinely same proof; a C 1 functional bounded from below and satisfying the P-S condition is coercive - converse true only in a …nite dimensional setting

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

6 / 28

Preliminary material. P-S condition X (re‡exive) Banach space J : X ! R satis…es the Palais-Smale condition if every sequence fun g such that fJ (un )g is bounded and J 0 (un ) ! 0, has a convergent subsequence; a C 1 functional bounded from below and satisfying the P-S condition has an argument of a minimum-valid also when derivative replaced with Clarke derivative with genuinely same proof; a C 1 functional bounded from below and satisfying the P-S condition is coercive - converse true only in a …nite dimensional setting a coercive and w.l.s.c. functional has an argument of a minimum;

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

6 / 28

Preliminary material. P-S condition X (re‡exive) Banach space J : X ! R satis…es the Palais-Smale condition if every sequence fun g such that fJ (un )g is bounded and J 0 (un ) ! 0, has a convergent subsequence; a C 1 functional bounded from below and satisfying the P-S condition has an argument of a minimum-valid also when derivative replaced with Clarke derivative with genuinely same proof; a C 1 functional bounded from below and satisfying the P-S condition is coercive - converse true only in a …nite dimensional setting a coercive and w.l.s.c. functional has an argument of a minimum; examples: f (x ) = x 2 + x 4 Yes and f (x ) = exp f (x ) = exp (x ) No

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

x2 ,

June 29, 2017

6 / 28

Preliminary material. P-S condition X (re‡exive) Banach space J : X ! R satis…es the Palais-Smale condition if every sequence fun g such that fJ (un )g is bounded and J 0 (un ) ! 0, has a convergent subsequence; a C 1 functional bounded from below and satisfying the P-S condition has an argument of a minimum-valid also when derivative replaced with Clarke derivative with genuinely same proof; a C 1 functional bounded from below and satisfying the P-S condition is coercive - converse true only in a …nite dimensional setting a coercive and w.l.s.c. functional has an argument of a minimum; examples: f (x ) = x 2 + x 4 Yes and f (x ) = exp x 2 , f (x ) = exp (x ) No R1 R1 H01 (0, 1), J (x ) = 12 0 x˙ 2 (t ) dt 14 0 x 4 (t ) dt satis…es PS and is not coercive M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

6 / 28

Preliminary material- MPT

Lemma (Version Solimini- de Figuereido, 1984) Let X be a Banach space and J 2 C 1 (X , R) satisfy the P-S condition. Assume that inf J (x )

kx k=r

maxfJ (0), J (e )g,

where 0 < r < ke k and e 2 X . Then J has a non-zero critical point x0 and J (x0 ) maxfJ (0), J (e )g. (G. Bonanno, 2014). Additionally, there is another critical point (not necessarily non-trivial) which is an argument of a local minimum. (no localization).

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

7 / 28

Di¤eomorphism Theorem - …rst (hammer) version Theorem (M.G., E.G., E.S., Electron. J. Di¤. Equ., 99 (2014)) X , B real B-spaces; 1 1 f 2 C (X , B ), η 2 C (B, R+ ), η (0) = 0 () x = 0 and 0 0 η (0) = 0 () x = 0, η : B ! R has a cont. inverse. f is a di¤eomorphism if (i)ϕ : X ! R, ϕ (x ) = η (f (x ) y ) satis…es the P-S cond. for y 2 B 0 (ii) for any x 2 X , f (x )X = B and 0

f (x )h

αx khk for some αx > 0

(iii) there exist α, c, M > 0 such that η (x )

M. G. (LUT, Institute of Mathematics)

c kx kα for kx k

Di¤eomorphisms via MPT

M

June 29, 2017

8 / 28

Di¤eomorphism Theorem - second (more re…ned) version Theorem (M.G. M.K. Stud. Sci. Math. Hung., 52

(2015)) Let X , B be B-spaces.

Let the duality mapping A : B ! B be such that its potential u ! is C 1 . If f : X ! B is a C 1 -mapping such that: 1

ku k p p

for any y 2 B the functional ϕ : X ! R ϕ (x ) =

1 kf (x ) p

y kp

satis…es the P-S condition; 2

for any x 2 X , f 0 (x )X = B, there exists αx > 0 such that f 0 (x )h

αx kh k ,

(1)

then f is a di¤eomorphism. M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

9 / 28

On a duality mapping Let p > 1. A duality mapping on X corresponding to ϕ (t ) = t p operator A : X ! 2X such that for all u 2 X , y 2 A (u )

ky k = ku kp

1

1

is an

, hy , u i = ky k ku k .

Lemma X is a re‡exive B-space with a strictly convex dual X . Then A is single u p valued and u ! kp k is Gâteaux di¤erentiable with A being its derivative. u!

ku k p p

=

R ku k 0

M. G. (LUT, Institute of Mathematics)

ϕ (t ) dt has a "convex subdi¤erential"

Di¤eomorphisms via MPT

June 29, 2017

10 / 28

On a duality mapping Let p > 1. A duality mapping on X corresponding to ϕ (t ) = t p operator A : X ! 2X such that for all u 2 X , y 2 A (u )

ky k = ku kp

1

1

is an

, hy , u i = ky k ku k .

Lemma X is a re‡exive B-space with a strictly convex dual X . Then A is single u p valued and u ! kp k is Gâteaux di¤erentiable with A being its derivative.

R ku k = 0 ϕ (t ) dt has a "convex subdi¤erential" X strictly convex means A is single valued u!

ku k p p

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

10 / 28

On a duality mapping Let p > 1. A duality mapping on X corresponding to ϕ (t ) = t p operator A : X ! 2X such that for all u 2 X , y 2 A (u )

ky k = ku kp

1

1

is an

, hy , u i = ky k ku k .

Lemma X is a re‡exive B-space with a strictly convex dual X . Then A is single u p valued and u ! kp k is Gâteaux di¤erentiable with A being its derivative.

R ku k = 0 ϕ (t ) dt has a "convex subdi¤erential" X strictly convex means A is single valued A : X ! X is demicontinous (norm to weak) u!

ku k p p

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

10 / 28

On a duality mapping Let p > 1. A duality mapping on X corresponding to ϕ (t ) = t p operator A : X ! 2X such that for all u 2 X , y 2 A (u )

ky k = ku kp

1

1

is an

, hy , u i = ky k ku k .

Lemma X is a re‡exive B-space with a strictly convex dual X . Then A is single u p valued and u ! kp k is Gâteaux di¤erentiable with A being its derivative.

R ku k = 0 ϕ (t ) dt has a "convex subdi¤erential" X strictly convex means A is single valued A : X ! X is demicontinous (norm to weak) u!

ku k p p

since A demincontinuous, u ! M. G. (LUT, Institute of Mathematics)

ku k p p

is di¤erentiable

Di¤eomorphisms via MPT

June 29, 2017

10 / 28

Duality mapping- example ˜ 1,p ([0, 1], E) contains AC fncs x : [0, 1] ! Rn , x (0) = 0 and W 0 x 0 2 Lp ([0, 1] , E);E smooth, uniformly convex, separable

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

11 / 28

Duality mapping- example ˜ 1,p ([0, 1], E) contains AC fncs x : [0, 1] ! Rn , x (0) = 0 and W 0 x 0 2 Lp ([0, 1] , E);E smooth, uniformly convex, separable ˜ 1,p ([0, 1], E) uniformly convex, with strictly convex dual W 0

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

11 / 28

Duality mapping- example ˜ 1,p ([0, 1], E) contains AC fncs x : [0, 1] ! Rn , x (0) = 0 and W 0 x 0 2 Lp ([0, 1] , E);E smooth, uniformly convex, separable ˜ 1,p ([0, 1], E) uniformly convex, with strictly convex dual W 0 ˜ W 1,p is considered with a usual norm 0

jjx jjW˜ 1,p = ( 0

M. G. (LUT, Institute of Mathematics)

Z1 0

x 0 (t )

p

˜ 1,p . dt )1/p , x 2 W 0

Di¤eomorphisms via MPT

June 29, 2017

11 / 28

Duality mapping- example ˜ 1,p ([0, 1], E) contains AC fncs x : [0, 1] ! Rn , x (0) = 0 and W 0 x 0 2 Lp ([0, 1] , E);E smooth, uniformly convex, separable ˜ 1,p ([0, 1], E) uniformly convex, with strictly convex dual W 0 ˜ W 1,p is considered with a usual norm 0

jjx jjW˜ 1,p = ( 0

ϕ:

˜ 1,p W 0

Z1

x 0 (t )

0

p

˜ 1,p . dt )1/p , x 2 W 0

! R is continuously di¤erentiable if ϕ (u ) =

M. G. (LUT, Institute of Mathematics)

Z 1 0

u 0 (t )

Di¤eomorphisms via MPT

p

dt

(2)

June 29, 2017

11 / 28

Duality mapping- example ˜ 1,p ([0, 1], E) contains AC fncs x : [0, 1] ! Rn , x (0) = 0 and W 0 x 0 2 Lp ([0, 1] , E);E smooth, uniformly convex, separable ˜ 1,p ([0, 1], E) uniformly convex, with strictly convex dual W 0 ˜ W 1,p is considered with a usual norm 0

jjx jjW˜ 1,p = ( 0

ϕ:

˜ 1,p W 0

Z1

x 0 (t )

p

0

˜ 1,p . dt )1/p , x 2 W 0

! R is continuously di¤erentiable if ϕ (u ) =

Z 1 0

u 0 (t )

˜ 1,p ! W ˜ 1,p A duality mapping A : W 0 0

hAu, v i = M. G. (LUT, Institute of Mathematics)

Z 1 0

u 0 (t )

p 2

Di¤eomorphisms via MPT

p

dt

(2)

such that u 0 (t )v 0 (t )dt June 29, 2017

11 / 28

Sketch of the proof

1

Main aim: show that f is onto and one-one - local di¤eomorphism holds since f 0 (x )X = B and there id αx > 0 s.t. f 0 (x )h

M. G. (LUT, Institute of Mathematics)

αx kh k ,

Di¤eomorphisms via MPT

June 29, 2017

12 / 28

Sketch of the proof

1

Main aim: show that f is onto and one-one - local di¤eomorphism holds since f 0 (x )X = B and there id αx > 0 s.t. f 0 (x )h

αx kh k ,

2

ϕ (x ) =

1 kf (x ) p

y kp

is C 1 as a composition of C 1 mappings and has a (global) minimizer since it is bounded below and satis…es the P-S

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

12 / 28

Sketch of the proof

1

Main aim: show that f is onto and one-one - local di¤eomorphism holds since f 0 (x )X = B and there id αx > 0 s.t. f 0 (x )h

αx kh k ,

2

ϕ (x ) =

1 kf (x ) p

y kp

is C 1 as a composition of C 1 mappings and has a (global) minimizer since it is bounded below and satis…es the P-S 3

if the minimizer is unique, we are done

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

12 / 28

Sketch of the proof

1

Main aim: show that f is onto and one-one - local di¤eomorphism holds since f 0 (x )X = B and there id αx > 0 s.t. f 0 (x )h

αx kh k ,

2

ϕ (x ) =

1 kf (x ) p

y kp

is C 1 as a composition of C 1 mappings and has a (global) minimizer since it is bounded below and satis…es the P-S 3

if the minimizer is unique, we are done

4

if not, argue by contradiction using MPT

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

12 / 28

Contradiction the argmin x which satis…es the Fermat’s rule 0

0 = ϕ (x ) = A (f (x )

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

y ) f 0 (x ).

June 29, 2017

13 / 28

Contradiction the argmin x which satis…es the Fermat’s rule 0

y ) f 0 (x ).

0 = ϕ (x ) = A (f (x )

y ) = 0; kA (u )k = ku kp

f 0 (x ) is invertible we see that A (f (x )

kA (f (x )

y )k = kf (x )

f (x )

y = 0.

y kp

1

1

.

Thus f is surjective. e = x1

x2

g (x ) = f (x + x2 ) ψ (x ) =

M. G. (LUT, Institute of Mathematics)

1 kf (x + x2 ) p

Di¤eomorphisms via MPT

a, a kp

June 29, 2017

13 / 28

Contradiction the argmin x which satis…es the Fermat’s rule 0

y ) f 0 (x ).

0 = ϕ (x ) = A (f (x )

y ) = 0; kA (u )k = ku kp

f 0 (x ) is invertible we see that A (f (x )

kA (f (x )

y )k = kf (x )

f (x )

y = 0.

y kp

1

1

.

Thus f is surjective. e = x1

x2

g (x ) = f (x + x2 )

a,

1 kf (x + x2 ) akp p There is a number ρ > 0, ρ < min fke k , M g such that 1 αx kx k kg (x )k for x 2 B (0, ρ). 2 ψ (x ) =

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

13 / 28

Mountain geometry. Conclusion ψ satis…es the P-S condition

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

14 / 28

Mountain geometry. Conclusion ψ satis…es the P-S condition ψ (e ) = ψ (0) = 0

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

14 / 28

Mountain geometry. Conclusion ψ satis…es the P-S condition ψ (e ) = ψ (0) = 0 take any 0 < r < ρ and observe inf ψ(x )

kx k=r

M. G. (LUT, Institute of Mathematics)

1 p

1 αx r 2

Di¤eomorphisms via MPT

p

>0

June 29, 2017

14 / 28

Mountain geometry. Conclusion ψ satis…es the P-S condition ψ (e ) = ψ (0) = 0 take any 0 < r < ρ and observe inf ψ(x )

kx k=r

1 p

1 αx r 2

p

>0

ψ has a critical point 0

v 6= 0 and ψ (v ) = A(f (v + x1 )

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

0

a) f (v + x1 ) = 0

June 29, 2017

14 / 28

Mountain geometry. Conclusion ψ satis…es the P-S condition ψ (e ) = ψ (0) = 0 take any 0 < r < ρ and observe inf ψ(x )

kx k=r

1 p

1 αx r 2

p

>0

ψ has a critical point 0

v 6= 0 and ψ (v ) = A(f (v + x1 ) either A(f (v + x1 )

M. G. (LUT, Institute of Mathematics)

0

a) f (v + x1 ) = 0

0

a) = 0 or f (v + x1 ) = 0 - not possible

Di¤eomorphisms via MPT

June 29, 2017

14 / 28

Mountain geometry. Conclusion ψ satis…es the P-S condition ψ (e ) = ψ (0) = 0 take any 0 < r < ρ and observe inf ψ(x )

kx k=r

1 p

1 αx r 2

p

>0

ψ has a critical point 0

v 6= 0 and ψ (v ) = A(f (v + x1 ) 0

a) = 0 or f (v + x1 ) = 0 - not possible

either A(f (v + x1 ) thus A(f (v + x1 )

M. G. (LUT, Institute of Mathematics)

0

a) f (v + x1 ) = 0

a) = 0 and so f (v + x1 )

Di¤eomorphisms via MPT

a=0

June 29, 2017

14 / 28

Mountain geometry. Conclusion ψ satis…es the P-S condition ψ (e ) = ψ (0) = 0 take any 0 < r < ρ and observe inf ψ(x )

kx k=r

1 p

1 αx r 2

p

>0

ψ has a critical point 0

v 6= 0 and ψ (v ) = A(f (v + x1 )

0

a) f (v + x1 ) = 0

0

a) = 0 or f (v + x1 ) = 0 - not possible

either A(f (v + x1 ) thus A(f (v + x1 )

a) = 0 and so f (v + x1 )

a=0

This means the equality ψ(v ) = 0 holds which contradicts ψ(v ) > 0. Contradiction with MPT M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

14 / 28

Application Based on J.D. M.G. M.K. E.S. An application of a di¤eomorphism theorem to Volterra integral operator, accepted to Di¤erential and Integral Equations. Consider

V (x )(t ) = x (t ) +

Zt

v (t, τ, x (τ ))d τ, x (0) = 0,

(3)

0

˜ 1,p ([0, 1], Rn ) space consisting of AC fncs where p > 1; x 2 W 0 x : [0, 1] ! Rn s.t. x (0) = 0 and x 0 2 Lp (0, 1). The associated Volterra integral equation x (t ) +

Zt 0

v (t, τ, x (τ ))d τ = y (t ) , for t 2 [0, 1], x (0) = 0,

(4)

˜ 1,p in case V : W ˜ 1,p ! W ˜ 1,p is a is uniquely solvable for any y 2 W 0 0 0 di¤eomorphism. M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

15 / 28

Assumptions P∆ = f(t, τ ) 2 [0, 1]

[0, 1]; τ

t g , v : P∆

Rn ! Rn

c1 v and its partial derivatives satisfy some technical standard assumptions (no real growth) c2

jv (t, τ, x )j

c1 (t, τ )jx j + d1 (t, τ )

for a.e (t, τ ) 2 P∆ , x 2 Rn and 1

2

(p 1 ) p

jjc1 jjLp (P ∆ ,R)

> 0,

(5)

c3 vt (t, , x ) is measurable on [0, 1] for all (t, x ) 2 G and there exist functions c2 , d2 2 Lp (P∆ , R+ ) such that

jvt (t, τ, x )j

c2 (t, τ )jx j + d2 (t, τ )

for a.e. (t, τ ) 2 P∆ , x 2 Rn , M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

16 / 28

Applications - main di¢ culties 1

1. Examination of Volterra operator- well posedness, di¤erentiability. 2. De…nition of ϕ lack of Hilbert space structure 1

(p ϕ(x )) p = jjx ( ) jjx jjW˜ 1,p 0

1

2

(p 1 ) p

M. G. (LUT, Institute of Mathematics)

y ( )+

R 0

jjy jjW˜ 1,p 0

jj

R 0

v ( , τ, x (τ ))d τ jjW˜ 1,p 0

v ( , τ, x (τ ))d τ jjW˜ 1,p

jjc1 jjLp (P ∆ ,Rn ) jjx jjW˜ 1,p ([0,1 ],Rn ) 0

Di¤eomorphisms via MPT

(6)

0



June 29, 2017

17 / 28

Applications - main di¢ culties 2 3. PS-condition. Convergence of p ( ϕ0 (xn )

ϕ0 (x0 ))(xn

x0 ) ! 0

should provide that xn ! x0

˜ 1,p in order to have the PS condition satis…ed. Technical! Uses in W 0 coercivity and properties of Lebesgue spaces. 4. Solvability of h (t ) +

Zt 0

vx (t, τ, x (τ ))h(τ )d τ = g (t )fort 2 [0, 1] .

Classical successive approximation scheme but in Lp instead of L2 . M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

18 / 28

Example

Proposition ˜ 1,p ! W ˜ 1,p de…ned pointwisely for The integral Volterra operator V : W 0 0 all t 2 [0, 1] by V (x )(t ) = x (t ) +

Zt

21

p

(t

τ )1/2 ln(1 + (t

τ )4 x (τ )2 )d τ, x (0) = 0

0

de…nes a global di¤eomorphism. Thus the assciated Volteraa equation is uniquely solvable.

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

19 / 28

Main result-without cont. di¤erentiability

Theorem (M.G. Quaestiones Mathematicae, 39 (2016), 683-688) If f : Rn ! Rn is a Fréchet-di¤erentiable mapping such that (b1) for any y 2 Rn the functional ϕ : Rn ! R de…ned by ϕ (x ) =

1 kf (x ) 2

y k2

is coercive; (b2) for any x 2 Rn we have det[f 0 (x )] 6= 0; (b3) f : Rn ! Rn is strictly di¤erentiable, then f is a di¤eomorphism.

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

20 / 28

Some background

Lemma (R¼adulescu Twins) Let D be an open set of Rn and let f : D ! Rn be a di¤erentiable map and the following condition holds: det[f 0 (x )] 6= 0 for every x 2 D.Then f is a local di¤eomorphism. Problems - ϕ is not C 1 , MPT does not work, no results for di¤erentiable only fncs. f : D ! Rn is strictly di¤erentiable at x0 , if there exists f 0 (x0 ) 2 Rn lim

w !x0 ,t !0 +

f (w + tz ) t

f (w )

= f 0 (x0 ), z

for all z 2 Rn

provided the convergence is uniform for z in compact sets.

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

21 / 28

Clarke derivative

f 0 (u; z ) := lim sup w !u, t !0 +

∂f (u ) := fξ 2 Rn : hξ, z i

f (w + tz ) t

f (w )

.

f 0 (u; z ), for all z 2 Rn g.

If f is strictly di¤erentiable the Clarke subdi¤erential reduces to a singleton, i.e. its derivative.

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

22 / 28

PS condition and MPT u is called a critical point of f , if 0 2 ∂f (u ). J : Rn !R satis…es non-smooth P-S condition if every fun g such that fJ (un )g is bounded and J 0 (un ; u

un )

εn ku

un k for all u 2 Rn ,

where εn ! 0+ , admits a convergent subsequence.

Theorem

Let J : Rn !R be a locally Lipschitz and satis…es the P-S condition. If there exist u1 , u2 2 Rn , u1 6= u2 and r 2 (0, ku2 u1 k) such that inf fJ (u ) : ku

u1 k = r g

maxfJ (u1 ), J (u2 )g

Γ the family of continuous paths γ : [0, 1] ! Rn joining u1 and u2 , then c := inf max J (γ(s )) γ2Γs 2[0,1 ]

maxfJ (u1 ), J (u2 )g

is a critical value for Rn and Kc nfu1 , u2 g 6= ∅. M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

23 / 28

Main di¤erences in the proof

non-smooth Fermat’s rule, i.e. 0 2 f (x )

y ) f 0 (x )

chain rule, g locally Lipschitz, f is C 1 then ∂ (g

M. G. (LUT, Institute of Mathematics)

f)

∂g

rf

Di¤eomorphisms via MPT

June 29, 2017

24 / 28

Invertibility of Lipschitz mappings

Lemma If f : D ! Rn satis…es a Lipschitz condition in some neighbourhood of x0 and ∂f (x0 ) Rn is of maximal rank, then there exist neighborhoods U D of x0 and V of f (x0 ) and a Lipschitz function g : V ! Rn such that i ) for every u 2 U, g (f (u )) = u, and ii) for every v 2 V , f (g (v )) = v . Set ∂f (x ) Rn being of maximal rank means that all matrices in ∂f (x ) are nonsingular, so it re‡ects the assumption that det[f 0 (x )] 6= 0 for every x 2D

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

25 / 28

Global lipeomorphism

Theorem (M.G. M.R. submitted) Assume f : Rn ! Rn is a locally Lipschitz mapping such that (b1) for any y 2 Rn the functional ϕ : Rn ! R de…ned by ϕ (x ) =

1 kf (x ) 2

y k2

satis…es the non-smooth P-S condition; (b2) for any x 2 Rn we have that ∂f (x ) Rn is of maximal rank; Then f is invertible on Rn and f 1 is locally Lipschitz.

M. G. (LUT, Institute of Mathematics)

Di¤eomorphisms via MPT

June 29, 2017

26 / 28

Applications

Ax = F (x ) + ξ,

(7)

ξ 2 RN is …xed, A positive de…nite, symmetric; F : RN ! RN is a locally Lipschitz function.

Theorem (i) There exists a constant 0 < a