On Variational Approximations For Wave Maps

Zhiyuan Geng and Changyou Wang

arXiv: 2605.17536v1 · PDF · 17 May 2026
Categories: math.AP
Licence: CC BY 4.0 The site shows the text.

Abstract

n this paper, we revisit the existence of global weak solutions of wave maps from \R^n into the sphere \mathbb{S}^{L-1}, \Box u\perp T_u \mathbb{S}^{L-1}, by establishing it as a singular limit of maps from \R^n\times \R_+ to \mathbb S^{L-1} that minimize elliptic regularized variational functionals that contain an exponential weight in the time direction with a small parameter \varepsilon, where the initial data of the Cauchy problem serve as the boundary condition. The idea went back to De Giorgi [Giorgi1996], which has been implemented by Serra and Tilli [Serra-Tilli2012, Serra-Tilli2016] for certain class of nonlinear wave equations. This approach is also applicable to the SO(m)-target manifold.

Items 17

Theorem

Theorem 1.1

VNY4

Assume N=\mathbb{S}^{L-1} or SO(m). Let \phi\in \dot{H}^1(\mathbb R^n, N) and \psi\in (L^\infty\cap {H}^1)(\mathbb R^n, \phi^*TN). For \varepsilon>0, let v_\varepsilon:\mathbb{R}^n\times (0,\infty)\to N be a minimizer of the energy {E}_\varepsilon over the admissible space \mathcal{H} together with boundary data (\phi,\psi). Then there exists a subsequence \varepsilon_i\to 0 such that v_i=v_{\varepsilon_i} weakly converges to a map v:\mathbb{R}^n\times \mathbb{R}_+\to N in H^1(\mathbb{R}^n\times \mathbb{R}_+) so that

(\partial_tv, \nabla v)\in L^\infty(\mathbb{R}_+, L^2(\mathbb R^n)).

And v is a weak solution of the wave map equation:

\begin{aligned} \partial_t^2v-\Delta v \perp T_v N \ \ {\rm{in}}\ \ \mathbb{R}^n\times (0,\infty), \end{aligned}

along with the initial condition

\begin{aligned} v(x,0)=\phi(x),\ \partial_tv(x,0)=\psi(x), \ \ \forall x\in\mathbb{R}^n. \end{aligned}

Furthermore, v satisfies the following energy inequality:

\begin{aligned} E(v(t))=\int_{\mathbb{R}^n} (|\partial_tv|^2+|\nabla v|^2)(x,t)\,dx \le E(v(0))=\int_{\mathbb{R}^n} (|\psi|^2+|\nabla \phi|^2)(x)\,dx. \end{aligned}

Lemma

Lemma 2.1

FDUD

Assume \phi\in \dot{H}^1(\mathbb R^n,\mathbb S^{L-1}) and \psi\in ({H}^1\cap L^\infty)(\mathbb R^n,\mathbb \phi^*T\mathbb{S}^{L-1}). Then there exists a map u_\varepsilon\in\mathcal{H}_{\phi,\varepsilon\psi} such that

\begin{aligned} I_\varepsilon(u_\varepsilon)\le I_\varepsilon(v), \ \forall v\in\mathcal{H}_{\phi,\varepsilon\psi}. \end{aligned}

Proof of Lemma 2.1

First, it follows from Lemma 2.2 below that

\alpha:=\inf\Big\{I_\varepsilon(v): \ v\in\mathcal{H}_{\phi,\varepsilon\psi}\Big\} \le \varepsilon^2\int_{\mathbb R^n}|\nabla\phi|^2+C\varepsilon^3<\infty,

where C>0 depends on \|\nabla\phi\|_{L^2(\mathbb{R}^n)}, \|\nabla\psi\|_{L^2(\mathbb{R}^n)}, and \|\psi\|_{L^4(\mathbb{R}^n)}.

Now let \{u_i\}\subset\mathcal{H}_{\phi,\varepsilon\psi} be a minimizing sequence of \alpha, i.e.,

I_\varepsilon(u_i)\rightarrow \alpha.

By the weak compactness of \mathcal{H}_{\phi,\varepsilon\psi}, there exists a map u_\varepsilon:\mathbb{R}^n\times\mathbb R_+\to\mathbb R^L, with \big[u\big]_{\mathcal{H}}<\infty, such that, after passing to a subsequence if necessary,

(\partial_t^2u_i,\nabla u_i)\rightharpoonup (\partial_t^2u_\varepsilon,\nabla u_\varepsilon) \ \ {\rm{in}}\ \ L^2(\mathbb R^n),

and

(u_i,\partial_tu_i)\rightarrow (u_\varepsilon, \partial_tu_\varepsilon) \ \ {\rm{in}}\ \ L^2_{\rm{loc}}(\mathbb{R}^n\times \mathbb{R}_+)\ \ {\rm{and\ a.e.\ in }} \ \ \mathbb{R}^n\times\mathbb R_+.

In particular, |u_\varepsilon|=1 a.e. in \mathbb{R}^n\times\mathbb R_+, and (u_\varepsilon,\partial_t u_\varepsilon)\big|_{t=0}=(\phi,\varepsilon\psi), that is, u_\varepsilon\in \mathcal{H}_{\phi,\varepsilon\psi}. Hence

I_\varepsilon(u_\varepsilon)\ge\alpha.

On the other hand, by the lower semi continuity of I_\varepsilon on \mathcal{H}, we have

I_\varepsilon(u_\varepsilon)\le \liminf_{i}I_\varepsilon(u_i)=\alpha.

Thus I_\varepsilon(u_\varepsilon)=\alpha. This completes the proof.

Lemma

Lemma 2.2

KBT5

Assume \phi\in \dot{H}^1(\mathbb R^n,\mathbb S^{L-1}) and \psi\in ({H}^1\cap L^\infty)(\mathbb R^n,\mathbb \phi^*T\mathbb{S}^{L-1}). Then

\begin{aligned} \alpha:=\inf\Big\{I_\varepsilon(u):\ u\in \mathcal{H}_{\phi,\varepsilon\psi}\Big\} \le \varepsilon^2\int_{\mathbb{R}^n} |\nabla\phi|^2+C\varepsilon^3. \end{aligned}

Used by Proof

Proof of Lemma 2.2

Since \phi(x)+t\varepsilon \psi(x) satisfies

we can define the \mathbb{S}^{L-1}-valued map by

w_\varepsilon(x)=\displaystyle\frac{\phi(x)+t\varepsilon \psi(x)} {|\phi(x)+t\varepsilon \psi(x)|}, \ (x,t)\in\mathbb{R}^n\times\mathbb R_+.

By the definition of \alpha, we have

\alpha\le I_\varepsilon(w_\varepsilon).

To estimate I_\varepsilon(w_\varepsilon), we first calculate

\begin{aligned} \nabla w_\varepsilon(\cdot,t)&= \frac{(\nabla\phi+t\varepsilon\nabla\psi) |\phi+t\varepsilon\psi|^2-(\phi+t\varepsilon\psi)\langle\phi+t\varepsilon\psi,\nabla\phi+t\varepsilon\nabla\psi\rangle} {|\phi+t\varepsilon\psi|^3}\\ &=\frac{1}{|\phi+t\varepsilon\psi|}\Big( (\nabla\phi+t\varepsilon\nabla\psi)- \langle \nabla\phi+t\varepsilon\nabla\psi, \frac{\phi+t\varepsilon\psi}{|\phi+t\varepsilon\psi|}\rangle\frac{\phi+t\varepsilon\psi}{|\phi+t\varepsilon\psi|}\Big) \end{aligned}

so that

Also we calculate

\partial_tw_\varepsilon(\cdot,t) =\frac{\varepsilon\psi}{|\phi+t\varepsilon\psi|} -\frac{\varepsilon (\phi+t\varepsilon\psi)\langle \phi+t\varepsilon\psi,\psi\rangle}{|\phi+t\varepsilon\psi|^3}

so that

\begin{aligned} \partial_t^2w_\varepsilon(\cdot, t) &=-\frac{2\varepsilon^2\psi\langle \phi+t\varepsilon\psi,\psi\rangle}{|\phi+t\varepsilon\psi|^3} -\frac{\varepsilon^2|\psi|^2(\phi+t\varepsilon\psi)} {|\phi+t\varepsilon\psi|^3}\\ &\ \ \ +3\frac{\varepsilon^2(\phi+t\varepsilon\psi)\langle \phi+t\varepsilon\psi,\psi\rangle^2} {|\phi+t\varepsilon\psi|^5}. \end{aligned}

Hence

\begin{aligned} |\partial_t^2w_\varepsilon|(\cdot, t) &\le 6\varepsilon^2|\psi|^2 \end{aligned}

This implies that

\begin{aligned} I_\varepsilon(w_\varepsilon) &\le \iint_{\mathbb{R}^n\times\mathbb{R}_+} e^{-t}(|\partial_t^2w_\varepsilon|^2+\varepsilon^2|\nabla w_\varepsilon|^2)\,dxdt\\ &\le \int_{\mathbb{R}^n} (\varepsilon^2|\nabla\phi|^2+C\varepsilon^3|\nabla\phi||\nabla\psi|+C\varepsilon^4 (|\nabla\psi|^2+|\psi|^4))\,dxdt\\ &\le\varepsilon^2\int_{\mathbb{R}^n}|\nabla\phi|^2\,dx+O(\varepsilon^3). \end{aligned}

Here we have used the fact that

\|\psi\|_{L^4(\mathbb{R}^n)}\le \|\psi\|_{L^2(\mathbb{R}^n)}^\frac12 \|\psi\|_{L^\infty(\mathbb{R}^n)}^\frac12.

This completes the proof.

Lemma

Lemma 2.3

KZMP

E_\epsilon'(t)=-2D_\varepsilon(t).

In particular, E_\epsilon\in W^{1,1}_{\rm{loc}}(\mathbb{R}_+), and is monotonically non-increasing with respect to t.

Proof of Lemma 2.3

The idea of proof is based on the inner variation of u_\varepsilon along the t-direction. For the detail, we follow closely the argument by [Serra-Tilli2012, Proposition 3.1]. For any \eta\in C_0^\infty(\mathbb{R}_+), define

g(t)=\int_0^t\eta(s)\,ds.

Then g\in C^\infty(\mathbb{R}_+) vanishes near t=0.

Write u for u_\varepsilon. For a sufficiently small \delta\in\mathbb{R}, define

\alpha_\delta(t)=t-\delta g(t) \ \ {\rm{and}}\ \ U_\delta(x,t )=u(x, \alpha_\delta(t)), \ (x,t)\in\mathbb{R}^n\times\mathbb{R}_+.

Then U_\delta satisfies the boundary condition (2.2), and u\equiv U_0 so that by the minimality, we have

I_\varepsilon(u)\le I_\varepsilon(U_\delta),

and hence

\frac{d}{d\delta}\big|_{\delta=0}I_\varepsilon (U_\delta)=0.

Since \alpha_\delta is invertible when \delta is sufficiently small, we denote \beta_\delta as the inverse so that \beta_\delta\circ\alpha_\delta(t)=t. By change of variables, we can rewrite I_\varepsilon(U_\delta) as

\begin{aligned} I_\varepsilon(U_\delta) &=\iint_{\mathbb{R}^n\times\mathbb{R}_+} (e^{-\beta_\delta(s)}\beta_\delta'(s)) \big(|\partial_t^2u(\alpha_\delta')^2+\partial_tu\alpha_\delta''|^2+\varepsilon^2 |\nabla u|^2(x,s)\big)\,dxds. \end{aligned}

Direct calculations yield

\frac{d}{d\delta}\big|_{\delta=0}\big(e^{-\beta_\delta}\beta_\delta'\big) =e^{-t}(g'(t)-g(t)),

and

\frac{d}{d\delta}\big|_{\delta=0}\alpha'_\delta(t)=g'(t), \ \ \frac{d}{d\delta}\big|_{\delta=0}\alpha''_\delta(t)=g''(t).

Using these identities, we can deduce

\begin{aligned} 0&=\frac{d}{d\delta}\big|_{\delta=0}I_\varepsilon (U_\delta)\\ &=\iint_{\mathbb{R}^n\times\mathbb{R}_+} e^{-t}(g'-g)(|\partial_t^2u|^2+\varepsilon^2|\nabla u|^2)(t,x)\,dxdt\\ &\ \ -\iint_{\mathbb{R}^n\times\mathbb{R}_+} e^{-t}(4|\partial_t^2u|^2g'+2\langle \partial_t^2u, \partial_t u\rangle g'')(t,x)\,dxdt\\ &=\int_0^\infty e^{-t}(g'(t)-g(t))L_\varepsilon(t)\,dt-\int_0^\infty e^{-t}(4D_\varepsilon(t) g'(t)+2 I_\varepsilon'(t) g''(t))\,dt. \end{aligned}

Observe that

\begin{aligned} -\int_0^\infty e^{-t} g(t)L_\epsilon(t)\,dt &=\int_0^\infty g(t)H_\varepsilon'(t)\,dt\\ &=g(t)H_\varepsilon(t)\big|_{0}^\infty-\int_0^\infty H_\varepsilon(t)g'(t)\,dt\\ &=-\int_0^\infty H_\varepsilon(t)g'(t)\,dt, \end{aligned}

since g(0)=H_\varepsilon(\infty)=0. Observe also that

g'(t)=\eta(t) \ \ {\rm{and}}\ \ g''(t)=\eta'(t).

Therefore, we obtain that

\begin{aligned} \int_0^\infty \big(L_\varepsilon(t)-e^t H_\varepsilon(t)-4D_\varepsilon(t)\big) e^{-t}\eta(t)\,dt-2\int_0^\infty I_\varepsilon'(t) e^{-t}\eta'(t))\,dt=0. \end{aligned}

By integration by parts, we have

\int_0^\infty I_\varepsilon'(t) e^{-t}\eta'(t)\,dt =\int_0^\infty I_\varepsilon'(t) e^{-t}\eta(t)\,dt -\int_0^\infty I_\varepsilon''(t) e^{-t}\eta(t)\,dt.

Thus we arrive at

\int_0^\infty \Big[\big(L_\varepsilon(t)-e^t H_\varepsilon(t)-4D_\varepsilon(t)-2I_\varepsilon'(t)\big) +2I_\varepsilon''(t)\Big]e^{-t}\eta(t)\,dt=0.

This, combined with (e^t H_\epsilon(t))' =e^t H_\varepsilon(t)-L_\varepsilon(t), yields

E_\varepsilon'(t)=\Big(\frac12 e^t H_\epsilon(t)+I_\varepsilon(t)-I_\varepsilon'(t)\Big)'=-2D_\varepsilon(t)\le 0.

In particular, E_\varepsilon(t) is monotonically decreasing with respect to t. This completes the proof.

Lemma

Lemma 2.4

B52V

Assume \phi\in \dot{H}^1(\mathbb R^n,\mathbb S^{L-1}) and \psi\in ({H}^1\cap L^\infty)(\mathbb R^n,\mathbb \phi^*T\mathbb{S}^{L-1}). Let u_\varepsilon be a minimizer of I_\varepsilon in \mathcal{H}_{\phi,\varepsilon\psi}. There exists C>0 such that for any h\in L^\infty(\mathbb{R}^n)\cap \dot{H}^1(\mathbb{R}^n), if u_\varepsilon is a minimizer of I_\varepsilon, then for a.e. t>0,

\begin{aligned} \Big|\int_{\mathbb{R}^n} \partial_t^2u_\varepsilon(x,t)\times u_\varepsilon(x,t)\cdot h(x)\,dx\Big|\le Ce^{t}\varepsilon^2\Big(\|h\|_{L^\infty(\mathbb {R}^n)}+\|\nabla h\|_{L^2(\mathbb{R}^n)}\Big). \end{aligned}

Used by Proof, Proof

Proof of Lemma 2.4

Since u_\varepsilon is a minimizer of I_\varepsilon over \mathcal{H}_{\phi,\psi}^\varepsilon, it is a weak solution of the Euler-Lagrange equation:

\begin{aligned} \Big[\partial_t^2(e^{-t}\partial_t^2u_\varepsilon)-\nabla\cdot(\varepsilon^2 e^{-t}\nabla u_\varepsilon)\Big]\times u_\varepsilon=0 \ \ {\rm{in}}\ \ \mathbb{R}^n\times(0,+\infty). \end{aligned}

Assume h\in C_0^\infty(\mathbb{R}^n). As in [Serra-Tilli2012, Theorem 4.2], let \eta\in C^{1,1}(\mathbb{R}) be given by

\eta(t)=\begin{cases} 0 & t\le 0,\\ t^2 & 0<t<1,\\ 2t-1 & t\ge 1. \end{cases}

For T>0 and \delta>0, define

\eta_\delta(t)=\delta\eta(\frac{t-T}{\delta}).

Testing (Proof) by \eta_\delta(t)h(x), we have that

\begin{aligned} 0&=\iint_{\mathbb{R}^n\times\mathbb{R}_+} \Big[e^{-t}\partial_t^2u_\varepsilon\times \partial_t^2(u_\varepsilon \eta_\delta h)+\varepsilon^2 e^{-t}\nabla u_\varepsilon\times \nabla(u_\varepsilon\eta_\delta h)\Big]\,dxdt\\ &=\iint_{\mathbb{R}^n\times\mathbb{R}_+} e^{-t}[\partial_t^2u_\varepsilon\times (\partial_t^2u_\varepsilon\eta_\delta +u_\varepsilon \eta_\delta''+2\partial_t u_\varepsilon\eta_\delta')h+\varepsilon^2 \nabla u_\varepsilon\times (\nabla u_\varepsilon h+u_\varepsilon \nabla h) \eta_\delta]\,dxdt\\ &=\iint_{\mathbb{R}^n\times\mathbb{R}_+} e^{-t}[\partial_t^2u_\varepsilon\times (u_\varepsilon \eta_\delta''+2\partial_tu_\varepsilon\eta_\delta')h+\varepsilon^2\nabla u_\varepsilon\times (u_\varepsilon \nabla h) \eta_\delta]\,dxdt. \end{aligned}

Thus, we have

\begin{aligned} \iint_{\mathbb{R}^n\times\mathbb{R}_+} e^{-t}\partial_t^2u_\varepsilon\times u_\varepsilon \eta_\delta''h\,dxdt&+2\iint_{\mathbb{R}^n\times\mathbb{R}_+}e^{-t}\partial_t^2u_\varepsilon\times \partial_tu_\varepsilon\eta_\delta' h\,dxdt\\ &+\varepsilon^2\iint_{\mathbb{R}^n\times\mathbb{R}_+}e^{-t}\nabla u_\varepsilon\times u_\varepsilon \nabla h \eta_\delta\,dxdt=0. \end{aligned}

Since \eta_\delta''(t)=2\delta^{-1}\chi_{(T,T+\delta)}(t), the first term of (Proof) becomes

\begin{aligned} \iint_{\mathbb{R}^n\times\mathbb{R}_+} e^{-t}\partial_t^2u_\varepsilon\times u_\varepsilon \eta_\delta''h\,dxdt &=\frac{2}{\delta}\int_{T}^{T+\delta} \int_{\mathbb{R}^n} e^{-t} \partial_t^2 u_\varepsilon\times u_\varepsilon h\,dxdt \\ &\rightarrow 2e^{-T} \int_{\mathbb{R}^n} \partial_t^2u_\varepsilon\times u_\varepsilon h\,dx, \ {\rm{as}}\ \ \delta\to 0. \end{aligned}

The second term of (Proof) can be estimated as follows.

\begin{aligned} &2\iint_{\mathbb{R}^n\times\mathbb{R}_+}e^{-t} \partial_t^2u_\varepsilon\times \partial_tu_\varepsilon\eta_\delta' h\,dxdt\\ & =4\int_{T}^{T+\delta} \frac{t-T}{\delta} e^{-t}\int_{\mathbb{R}^n} \partial_t^2u_\varepsilon\times \partial_tu_\varepsilon h\,dxdt\\ &\quad+4\int_{T+\delta}^\infty e^{-t}\int_{\mathbb{R}^n} \partial_t^2u_\varepsilon\times \partial_tu_\varepsilon h\,dxdt, \end{aligned}

hence we have

\begin{aligned} &\Big|2\iint_{\mathbb{R}^n\times\mathbb{R}_+}e^{-t}\partial_t^2u_\varepsilon\times \partial_tu_\varepsilon\eta_\delta' h\,dxdt\Big|\\ &\le 4\int_{T}^{\infty} e^{-t}\int_{\mathbb{R}^n} |\partial_t^2u_\varepsilon\times \partial_tu_\varepsilon| |h|\,dxdt\\ &\le C\|h\|_{L^\infty(\mathbb{R}^n)} \Big(\iint_{\mathbb{R}^n\times\mathbb{R}_+} e^{-t}|\partial_t^2u_\varepsilon|^2\,dxdt\Big)^\frac12 \Big(\iint_{\mathbb{R}^n\times\mathbb{R}_+} e^{-t}|\partial_tu_\varepsilon|^2\,dxdt\Big)^\frac12\\ &\le C\|h\|_{L^\infty(\mathbb{R}^n)} \Big(\iint_{\mathbb{R}^n\times\mathbb{R}_+} e^{-t}|\partial_t^2u_\varepsilon|^2\,dxdt\Big)^\frac12\\ &\quad\cdot\Big(\iint_{\mathbb{R}^n\times\mathbb{R}_+} e^{-t}|\partial_t^2u_\varepsilon|^2\,dxdt+\int_{\mathbb{R}^n}|\partial_tu_\varepsilon(x,0)|^2\,dx\Big)^\frac12\\ &\le C\varepsilon^2 \|h\|_{L^\infty(\mathbb{R}^n)}. \end{aligned}

The third term of (Proof) can be estimated by

\begin{aligned} &\lim_{\delta\to 0} \Big|\iint_{\mathbb{R}^n\times \mathbb{R}_+}e^{-t}\nabla u_\varepsilon\times u_\varepsilon \nabla h \eta_\delta\,dxdt\Big|\\ &=2\Big|\iint_{\mathbb{R}^n\times\mathbb{R}_+}e^{-t}(t-T)^+\nabla u_\varepsilon\times u_\varepsilon \nabla h\,dxdt\Big|\\ &\le 2\iint_{\mathbb{R}^n\times\mathbb{R}_+}e^{-t}(t-T)^+|\nabla u_\varepsilon||\nabla h|\,dxdt\\ &\le 2\sum_{k=0}^\infty e^{-k}(k+1)\Big(\int_{T+k}^{T+k+1}\int_{\mathbb{R}^n}|\nabla u_\varepsilon|^2\,dxdt\Big)^\frac12 \Big(\int_{T+k}^{T+k+1}\int_{\mathbb{R}^n}|\nabla h|^2\,dxdt\Big)^\frac12\\ &\le C\|\nabla h\|_{L^2(\mathbb{R}^n)} \sup_{k\ge 0} \Big(\int_{T+k}^{T+k+1}\int_{\mathbb{R}^n}|\nabla u_\varepsilon|^2\,dxdt\Big)^\frac12\\ &\le C\|\nabla h\|_{L^2(\mathbb{R}^n)}. \end{aligned}

Substituting these estimates into (Proof) yields (2.4) holds for a.e. T>0.

Theorem

Theorem 2.5

I9W9

For v obtained by the previous subsection,

\begin{aligned} {E}(v(t)) =\int_{\mathbb{R}^n}(|\partial_tv|^2+|\nabla v|^2)(x,t)\,dx \le {E}(v(0))=\int_{\mathbb{R}^n}(|\psi|^2+|\nabla \phi|^2)(x)\,dx \end{aligned}

holds for a.e. t>0.

Proof of Theorem 2.5

Applying Lemma 2.6 below and (?) above, we can employ the same arguments as in [Serra-Tilli2012, pages 1572-1573] to establish (2.5).

Lemma

Lemma 2.6

8PQV

\begin{aligned} E_\varepsilon(0) =I_\varepsilon(0)-I_\varepsilon'(0)+\frac12 H_\varepsilon(0)\le \frac12\varepsilon^2\int_{\mathbb{R}^n} (|\nabla\phi|^2+|\psi|^2)(x)\,dx+C\varepsilon^3. \end{aligned}

Proof of Lemma 2.6

From the definition, we know

\begin{aligned} I_\varepsilon(0)=\frac12\int_{\mathbb{R}^n}|\partial_tu_\varepsilon(x,0)|^2\,dx =\frac12\int_{\mathbb{R}^n}\varepsilon^2|\psi(x)|^2\,dx. \end{aligned}

By (2.2), we have

\begin{aligned} \frac12H_\varepsilon(0) =\frac12 I_\varepsilon(u_\varepsilon) \le\frac12\big(\int_{\mathbb{R}^n} \varepsilon^2|\nabla\phi(x)|^2\,dx+C\varepsilon^3\big). \end{aligned}

Now we claim that

\begin{aligned} |I_\epsilon'(0)| \le C\varepsilon^3. \end{aligned}

To do it, first observe that |u_\varepsilon(x,t)|=1 implies that \langle \partial_tu_\varepsilon, u_\varepsilon\rangle (x,t)=0 and hence

|\partial_tu_\varepsilon|^2(x,t) =|\partial_tu_\varepsilon\times u_\varepsilon|^2(x,t), \ (t,x)\in \mathbb{R}^n\times \mathbb{R}_+

so that

I_\varepsilon(t)=\int_{\mathbb{R}^n} |\partial_tu_\varepsilon\times u_\varepsilon|^2(x,t)\,dx.

Next we choose sufficiently small \delta>0 and estimate

\begin{aligned} \Big|\frac{1}{\delta}\int_0^\delta I_\varepsilon'(t)\,dt\Big| &\le \Big|\frac{2}{\delta}\int_0^\delta \int_{\mathbb{R}^n}\langle (\partial_t^2u_\varepsilon\times u_\varepsilon)(x,t), (\partial_tu_\varepsilon\times u_\varepsilon)(x,t)-(\partial_tu_\varepsilon\times u_\varepsilon)(x,0)\rangle\,dxdt\Big|\\ &\ \ +\Big|\frac{2}{\delta}\int_0^\delta \int_{\mathbb{R}^n}\langle (\partial_t^2u_\varepsilon\times u_\varepsilon)(x,t), (\partial_tu_\varepsilon\times u_\varepsilon)(x,0)\rangle\,dxdt\Big|\\ &=A_\varepsilon+B_\varepsilon. \end{aligned}

From (2.4)

\begin{aligned} B_\varepsilon&=\Big|\frac{2\varepsilon}{\delta}\int_0^\delta \int_{\mathbb{R}^n}\langle (\partial_t^2u_\varepsilon\times u_\varepsilon)(x,t), (\psi\times \phi)(x)\rangle\,dxdt\Big|\\ &\le 2\varepsilon\sup_{0\le t\le\delta} \Big|\int_{\mathbb{R}^n}\langle (\partial_t^2u_\varepsilon\times u_\varepsilon)(x,t), (\psi\times \phi)(x)\rangle\,dx\Big|\\ &\le C\varepsilon^3\big(\|\nabla(\psi\times\phi)\|_{L^2(\mathbb{R}^n)} +\|\psi\times\phi\|_{L^\infty(\mathbb{R}^n)}\big)\\ &\le C\varepsilon^3 \Big(\|\psi\|_{L^\infty(\mathbb{R}^n)} +\|\nabla\psi\|_{L^2(\mathbb{R}^n)} +\|\psi\|_{L^\infty(\mathbb{R}^n)} \|\nabla\phi\|_{L^2(\mathbb{R}^n)}\Big)\\ &\le C\varepsilon^3. \end{aligned}

As for A_\varepsilon, we can estimate as follows

\begin{aligned} A_\varepsilon &=\Big|\frac{2}{\delta}\int_0^\delta \int_{\mathbb{R}^m}\langle (\partial_t^2u_\varepsilon\times u_\varepsilon)(x,t), \int_0^t \partial_t(\partial_tu_\varepsilon\times u_\varepsilon)(x, \tau)\,d\tau\rangle\,dxdt\Big|\\ &= \Big|\frac{2}{\delta}\int_0^\delta \int_{\mathbb{R}^n}\langle (\partial_t^2u_\varepsilon\times u_\varepsilon)(x,t), \int_0^t (\partial_t^2u_\varepsilon\times u_\varepsilon)(x, \tau)\,d\tau\rangle\,dxdt\Big|\\ &\le \frac{2}{\delta} \Big(\int_0^\delta \int_{\mathbb{R}^n}|\partial_t^2u_\varepsilon(x,t)|^2\,dxdt\Big)^\frac12 \Big(\int_0^\delta \int_{\mathbb{R}^n}t\int_0^t|\partial_t^2u_\varepsilon|^2(x,\tau)\,d\tau\,dxdt\Big)^\frac12\\ &\le 2\int_0^\delta \int_{\mathbb{R}^n}|\partial_t^2u_\varepsilon(x,t)|^2\,dxdt \to 0,\ \ {\rm{as}}\ \ \delta\to 0. \end{aligned}

Substituting the estimates for A_\varepsilon and B_\varepsilon into (Proof) and sending \delta\to 0 yields (Proof). It is readily seen that (2.6) follows from (Proof), (Proof), and (Proof).

Uses Lemma 2.2, Lemma 2.4

Lemma

Lemma 3.1

29VQ

Assume \phi\in \dot{H}^1(\mathbb R^n,SO(m)) and \psi\in ({H}^1\cap L^\infty)(\mathbb R^n, \phi^*T(SO(m))). Let U_\varepsilon be a minimizer of I_\varepsilon in \mathcal{H}_{\phi,\varepsilon\psi}. There exists C>0 such that for any h\in L^\infty(\mathbb{R}^n, {\it so}(m))\cap \dot{H}^1(\mathbb{R}^n, {\it so}(m)), it holds that for a.e. t>0,

\begin{aligned} \Big|\int_{\mathbb{R}^n} \langle\partial_t^2U_\varepsilon(x,t), U_\varepsilon(x,t) h(x)\rangle\,dx\Big|\le Ce^t\varepsilon^2\Big(\|h\|_{L^\infty(\mathbb {R}^n)}+\|\nabla h\|_{L^2(\mathbb{R}^n)}\Big). \end{aligned}

Used by Proof

Proof of Lemma 3.1

It is similar to that of Lemma 2.4. Here we give a sketch. First, as in the previous subsection, we know that U_\varepsilon satisfies

\begin{aligned} 0&=\iint_{\mathbb{R}^n\times\mathbb{R}_+} \Big[\langle e^{-t}\partial_t^2U_\varepsilon, \partial_t^2(U_\varepsilon \eta_\delta h)\rangle +\varepsilon^2 \langle e^{-t}\nabla U_\varepsilon, \nabla(U_\varepsilon\eta_\delta h)\rangle \Big]\,dxdt\\ &=\iint_{\mathbb{R}^n\times\mathbb{R}_+} \Big[\langle e^{-t}\partial_t^2U_\varepsilon, (U_\varepsilon \eta_\delta''+2\partial_tU_\varepsilon\eta_\delta')h\rangle + \varepsilon^2 \langle e^{-t}\nabla U_\varepsilon, U_\varepsilon \nabla h\rangle \eta_\delta\Big]\,dxdt, \end{aligned}

where h\in C_0^\infty(\mathbb{R}^n, {\it so}(m)) and \eta_\delta\in C^{1,1}(\mathbb{R}) is given by Lemma 2.4.

As in Lemma 2.4, we can bound

\begin{aligned} \iint_{\mathbb{R}^n\times (0,\infty)} e^{-t}\langle \partial_t^2 U_\varepsilon, U_\varepsilon \eta_\delta''h\rangle\,dxdt &=\frac{2}{\delta}\int_{T}^{T+\delta}\int_{\mathbb{R}^n} e^{-t}\langle \partial_t^2 U_\varepsilon, U_\varepsilon h\rangle \,dxdt\\ &\rightarrow 2e^{-T} \int_{\mathbb{R}^n} \langle\partial_t^2 U_\varepsilon, U_\varepsilon h\rangle\,dx, \ {\rm{as}}\ \delta\to 0, \end{aligned}

\begin{aligned} &\Big|\iint_{\mathbb{R}^n\times (0,\infty)} e^{-t}\langle \partial_t^2 U_\varepsilon, 2\partial_t U_\varepsilon \eta_\delta'h\rangle\,dxdt\Big|\\ &=\Big|4\int_T^{T+\delta} \frac{t-T}{\delta}e^{-t}\int_{\mathbb{R}^n} \langle\partial_t^2 U_\varepsilon, \partial_t U_\epsilon h\rangle\,dxdt +4\int_{T+\delta}^{\infty}e^{-t}\int_{\mathbb{R}^n}\langle\partial_t^2 U_\varepsilon, \partial_t U_\varepsilon h\rangle \,dxdt\Big|\\ &\le C\big\|h\big\|_{L^\infty(\mathbb{R}^n)} \Big(\iint_{\mathbb{R}^n\times (0,\infty)} e^{-t}|\partial_t^2 U_\varepsilon|^2\,dxdt\Big)^\frac12 \Big(\iint_{\mathbb{R}^n\times (0,\infty)} e^{-t}|\partial_t U_\varepsilon|^2\,dxdt\Big)^\frac12\\ &\le C\varepsilon^2 \big\|h\big\|_{L^\infty(\mathbb{R}^n)}, \end{aligned}

and

\begin{aligned} &\lim_{\delta\to 0} \Big|\iint_{\mathbb{R}^n\times (0,\infty)} e^{-t}\langle\nabla U_\varepsilon, U_\varepsilon\nabla h\rangle\,dxdt\Big|\\ &=2\Big|\iint_{\mathbb{R}^n\times (0,\infty)}e^{-t}(t-T)^+\langle\nabla U_\varepsilon, U_\varepsilon\nabla h\rangle\,dxdt\Big|\\ &\le C\big\|\nabla h\big\|_{L^2(\mathbb{R}^n)} \sup_{k\ge 0} \Big(\iint_{\mathbb{R}^n\times [T+k, T+k+1]}|\nabla U_\varepsilon|^2\,dxdt\Big)^\frac12\\ &\le C\big\|\nabla h\big\|_{L^2(\mathbb{R}^n)}. \end{aligned}

Putting all these estimates together yields (3.1).

Uses Lemma 2.4

Lemma

Lemma 3.2

JMVI

\begin{aligned} E_\varepsilon(0) =I_\varepsilon(0)-I_\varepsilon'(0)+\frac12 H_\varepsilon(0)\le \frac12\varepsilon^2\int_{\mathbb{R}^n} (|\nabla\phi|^2+|\psi|^2)(x)\,dx+C\varepsilon^3. \end{aligned}

Proof of Lemma 3.2

Similar to Lemma 2.6. First, by definition

I_\varepsilon(0)=\frac12\int_{\mathbb{R}^n}\varepsilon^2|\psi|^2\,dx,

and by (?),

\frac12 H_\varepsilon(0)=\frac12 I_\varepsilon(U_\varepsilon) \le \frac12(\int_{\mathbb{R}^n}\varepsilon^2|\nabla\phi|^2\,dx+C\varepsilon^3).

Thus, it remains to show

|I_\varepsilon'(0)|\le C\varepsilon^3.

Note that U_\varepsilon:\mathbb{R}^n\times (0,\infty)\to SO(m), one has

I_\varepsilon(t)=\int_{\mathbb{R}^n}|U_\varepsilon^T\partial_t U_\varepsilon|^2\,dx

Hence, for \delta>0 small, we can estimate

\begin{aligned} \Big|\frac{1}{\delta}\int_0^\delta I_\varepsilon'(t)\,dt\Big| &\le \Big|\frac{2}{\delta}\int_0^{\delta} \langle \partial_t(U_\varepsilon^T\partial_tU_\varepsilon), U_\varepsilon^T\partial_t U_\varepsilon-U_\varepsilon^T(x,0)\partial_t U_\varepsilon(x,0)\rangle\,dxdt\Big|\\ &+ \Big|\frac{2}{\delta}\int_0^{\delta} \langle \partial_t(U_\varepsilon^T\partial_tU_\varepsilon), U_\varepsilon^T(x,0)\partial_t U_\varepsilon(x,0)\rangle\,dxdt\Big|. \end{aligned}

Now we can apply the same estimates as in Lemma 2.6, with (2.4) replaced by (3.1), to bound

\begin{aligned} &\Big|\frac{2}{\delta}\int_0^{\delta} \langle \partial_t(U_\varepsilon^T\partial_tU_\varepsilon), U_\varepsilon^T(x,0)\partial_t U_\varepsilon(x,0)\rangle\,dxdt\Big|\\ &\le C\varepsilon^3 \big(\|\psi\|_{L^\infty(\mathbb{R}^n)} +\|\nabla\psi\|_{L^2(\mathbb{R}^n)}+\|\psi\|_{L^\infty(\mathbb{R}^n)}\|\nabla\phi\|_{L^2(\mathbb{R}^n)}\big)\le C\varepsilon^3, \end{aligned}

and

\begin{aligned} &\Big|\frac{2}{\delta}\int_0^{\delta} \big\langle \partial_t(U_\varepsilon^T\partial_tU_\varepsilon), U_\varepsilon^T\partial_t U_\varepsilon-U_\varepsilon^T(x,0)\partial_t U_\varepsilon(x,0)\big\rangle\,dxdt\Big|\\ &\le C\int_0^{\delta}\int_{\mathbb{R}^n}|\partial_t^2 U_\varepsilon|^2\,dxdt\rightarrow 0, \end{aligned}

as \delta\to 0. Putting all these estimates together yields (3.2).

Uses Lemma 3.1

Source and licence

The text on this page is from arXiv:2605.17536v1 by Zhiyuan Geng and Changyou Wang, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2605/2605.17536.jsonl.