• Source: Sobolev mapping

In mathematics, a Sobolev mapping is a mapping between manifolds which has smoothness in some sense.
Sobolev mappings appear naturally in manifold-constrained problems in the calculus of variations and partial differential equations, including the theory of harmonic maps.




Definition


Given Riemannian manifolds



M


{\displaystyle M}

and



N


{\displaystyle N}

, which is assumed by Nash's smooth embedding theorem without loss of generality to be isometrically embedded into





R


ν




{\displaystyle \mathbb {R} ^{\nu }}

as





W

s
,
p


(
M
,
N
)
:=
{
u
∈

W

s
,
p


(
M
,


R


ν


)

|

u
(
x
)
∈
N

for almost every

x
∈
M
}
.


{\displaystyle W^{s,p}(M,N):=\{u\in W^{s,p}(M,\mathbb {R} ^{\nu })\,\vert \,u(x)\in N{\text{ for almost every }}x\in M\}.}


First-order (



s
=
1


{\displaystyle s=1}

) Sobolev mappings can also be defined in the context of metric spaces.




Approximation


The strong approximation problem consists in determining whether smooth mappings from



M


{\displaystyle M}

to



N


{\displaystyle N}

are dense in




W

s
,
p


(
M
,
N
)


{\displaystyle W^{s,p}(M,N)}

with respect to the norm topology.
When



s
p
>
dim
⁡
M


{\displaystyle sp>\dim M}

, Morrey's inequality implies that Sobolev mappings are continuous and can thus be strongly approximated by smooth maps.
When



s
p
=
dim
⁡
M


{\displaystyle sp=\dim M}

, Sobolev mappings have vanishing mean oscillation and can thus be approximated by smooth maps.
When



s
p
<
dim
⁡
M


{\displaystyle sp<\dim M}

, the question of density is related to obstruction theory:





C

∞


(
M
,
N
)


{\displaystyle C^{\infty }(M,N)}

is dense in




W

1
,
p


(
M
,
N
)


{\displaystyle W^{1,p}(M,N)}

if and only if every continuous mapping on a from a



⌊
p
⌋


{\displaystyle \lfloor p\rfloor }

–dimensional triangulation of



M


{\displaystyle M}

into



N


{\displaystyle N}

is the restriction of a continuous map from



M


{\displaystyle M}

to



N


{\displaystyle N}

.
The problem of finding a sequence of weak approximation of maps in




W

1
,
p


(
M
,
N
)


{\displaystyle W^{1,p}(M,N)}

is equivalent to the strong approximation when



p


{\displaystyle p}

is not an integer.
When



p


{\displaystyle p}

is an integer, a necessary condition is that the restriction to a



⌊
p
−
1
⌋


{\displaystyle \lfloor p-1\rfloor }

-dimensional triangulation of every continuous mapping from a



⌊
p
⌋


{\displaystyle \lfloor p\rfloor }

–dimensional triangulation of



M


{\displaystyle M}

into



N


{\displaystyle N}

coincides with the restriction a continuous map from



M


{\displaystyle M}

to



N


{\displaystyle N}

.
When



p
=
2


{\displaystyle p=2}

, this condition is sufficient.
For




W

1
,
3


(
M
,


S


2


)


{\displaystyle W^{1,3}(M,\mathbb {S} ^{2})}

with



dim
⁡
M
≥
4


{\displaystyle \dim M\geq 4}

, this condition is not sufficient.




Homotopy


The homotopy problem consists in describing and classifying the path-connected components of the space




W

s
,
p


(
M
,
N
)


{\displaystyle W^{s,p}(M,N)}

endowed with the norm topology.
When



0
<
s
≤
1


{\displaystyle 0
and



dim
⁡
M
≤
s
p


{\displaystyle \dim M\leq sp}

, then the path-connected components of




W

s
,
p


(
M
,
N
)


{\displaystyle W^{s,p}(M,N)}

are essentially the same as the path-connected components of



C
(
M
,
N
)


{\displaystyle C(M,N)}

: two maps in




W

s
,
p


(
M
,
N
)
∩
C
(
M
,
N
)


{\displaystyle W^{s,p}(M,N)\cap C(M,N)}

are connected by a path in




W

s
,
p


(
M
,
N
)


{\displaystyle W^{s,p}(M,N)}

if and only if they are connected by a path in



C
(
M
,
N
)


{\displaystyle C(M,N)}

, any path-connected component of




W

s
,
p


(
M
,
N
)


{\displaystyle W^{s,p}(M,N)}

and any path-connected component of



C
(
M
,
N
)


{\displaystyle C(M,N)}

intersects




W

s
,
p


(
M
,
N
)
∩
C
(
M
,
N
)


{\displaystyle W^{s,p}(M,N)\cap C(M,N)}

non trivially.
When



dim
⁡
M
>
p


{\displaystyle \dim M>p}

, two maps in




W

1
,
p


(
M
,
N
)


{\displaystyle W^{1,p}(M,N)}

are connected by a continuous path in




W

1
,
p


(
M
,
N
)


{\displaystyle W^{1,p}(M,N)}

if and only if their restrictions to a generic



⌊
p
−
1
⌋


{\displaystyle \lfloor p-1\rfloor }

-dimensional triangulation are homotopic.: th. 1.1 




Extension of traces


The classical trace theory states that any Sobolev map



u
∈

W

1
,
p


(
M
,
N
)


{\displaystyle u\in W^{1,p}(M,N)}

has a trace



T
u
∈

W

1
−
1

/

p
,
p


(
∂
M
,
N
)


{\displaystyle Tu\in W^{1-1/p,p}(\partial M,N)}

and that when



N
=

R



{\displaystyle N=\mathbb {R} }

, the trace operator is onto. The proof of the surjectivity being based on an averaging argument, the result does not readily extend to Sobolev mappings.
The trace operator is known to be onto when




π

1


(
N
)
≃
⋯

π

⌊
p
−
1
⌋


(
N
)
≃
{
0
}


{\displaystyle \pi _{1}(N)\simeq \dotsb \pi _{\lfloor p-1\rfloor }(N)\simeq \{0\}}

or when



p
≥
3


{\displaystyle p\geq 3}

,




π

1


(
N
)


{\displaystyle \pi _{1}(N)}

is finite and




π

2


(
N
)
≃
⋯

π

⌊
p
−
1
⌋


(
N
)
≃
{
0
}


{\displaystyle \pi _{2}(N)\simeq \dotsb \pi _{\lfloor p-1\rfloor }(N)\simeq \{0\}}

. The surjectivity of the trace operator fails if




π

⌊
p
−
1
⌋


(
N
)
≄
{
0
}


{\displaystyle \pi _{\lfloor p-1\rfloor }(N)\not \simeq \{0\}}

or if




π

ℓ


(
N
)


{\displaystyle \pi _{\ell }(N)}

is infinite for some



ℓ
∈
{
1
,
…
,
⌊
p
−
1
⌋
}


{\displaystyle \ell \in \{1,\dotsc ,\lfloor p-1\rfloor \}}

.




Lifting


Given a covering map



π
:



N
~



→
N


{\displaystyle \pi :{\tilde {N}}\to N}

, the lifting problem asks whether any map



u
∈

W

s
,
p


(
M
,
N
)


{\displaystyle u\in W^{s,p}(M,N)}

can be written as



u
=
π
∘



u
~





{\displaystyle u=\pi \circ {\tilde {u}}}

for some






u
~



∈

W

s
,
p


(
M
,



N
~



)


{\displaystyle {\tilde {u}}\in W^{s,p}(M,{\tilde {N}})}

, as it is the case for continuous or smooth



u


{\displaystyle u}

and






u
~





{\displaystyle {\tilde {u}}}

when



M


{\displaystyle M}

is simply-connected in the classical lifting theory.
If the domain



M


{\displaystyle M}

is simply connected, any map



u
∈

W

s
,
p


(
M
,
N
)


{\displaystyle u\in W^{s,p}(M,N)}

can be written as



u
=
π
∘



u
~





{\displaystyle u=\pi \circ {\tilde {u}}}

for some






u
~



∈

W

s
,
p


(
M
,
N
)


{\displaystyle {\tilde {u}}\in W^{s,p}(M,N)}


when



s
p
≥
dim
⁡
M


{\displaystyle sp\geq \dim M}

, when



s
≥
1


{\displaystyle s\geq 1}

and



2
≤
s
p
<
dim
⁡
M


{\displaystyle 2\leq sp<\dim M}


and when



N


{\displaystyle N}

is compact,



0
<
s
<
1


{\displaystyle 0
and



2
≤
s
p
<
dim
⁡
M


{\displaystyle 2\leq sp<\dim M}

.
There is a topological obstruction to the lifting when



s
p
<
2


{\displaystyle sp<2}

and an analytical obstruction when



1
≤
s
p
<
dim
⁡
M


{\displaystyle 1\leq sp<\dim M}

.




References






Further reading


https://mathoverflow.net/questions/108808/differential-of-a-sobolev-map-between-manifolds

Kata Kunci Pencarian:

• Sobolev mapping
• Sobolev space
• Sergei Sobolev
• Smoothness
• Liouville's theorem (conformal mappings)
• Coarea formula
• Riemann mapping theorem
• Quasiconformal mapping
• Hilbert space
• Large deformation diffeomorphic metric mapping