[Paper Review] A Pohozaev-type formula and Quantization of Horizontal Half-Harmonic Maps

Francesca Da Lio, Paul Laurain+1 more|arXiv (Cornell University)|Jul 19, 2016

Advanced Harmonic Analysis Research11 references3 citations

TL;DR

This paper establishes compactness and quantization results for sequences of horizontal 1/2-harmonic maps in one dimension, using a novel Pohozaev-type identity to analyze energy concentration. It proves that such sequences converge locally away from a finite set of blow-up points, with energy quantization arising from asymptotic decomposition into model maps, extending regularity and conservation law techniques to fractional horizontal harmonic maps.

ABSTRACT

In a recent paper the first and the third authors introduced the notion of horizontal α-harmonic map, with respect to a given C^1 planes distribution P_T on all R^m. The goal of this paper is to investigate compactness and quantization properties of sequences of horizontal 1/2- harmonic maps u_k in 1D. The quantization analysis is obtained through a precise asymptotic development of the energy of u_k in the neck regions and a subtle application of new Pohozaev-type formulae.

Motivation & Objective

• To investigate the compactness and quantization properties of sequences of horizontal 1/2-harmonic maps in one dimension.
• To establish a Pohozaev-type identity for the fractional Laplacian $(-\Delta)^{1/2}$ in $\mathbb{R}$, enabling energy analysis in neck regions.
• To prove that bounded sequences of such maps converge locally away from a discrete set of blow-up points, with energy quantization via profile decomposition.
• To extend the regularity and conservation law framework to fractional horizontal harmonic maps, particularly in the critical $\dot{H}^{1/2}$ setting.
• To analyze the asymptotic behavior of energy in neck regions through precise expansion and application of new conservation laws.

Proposed method

• Derive a Pohozaev-type identity for $(-\Delta)^{1/2}$ on $\mathbb{R}$, $S^1$, and $\mathbb{R}^2$, generalizing classical identities to fractional settings.
• Use the Pohozaev identity to analyze energy concentration in neck regions between blow-up points, enabling quantization estimates.
• Apply a profile decomposition argument: decompose the sequence $u_k$ into a limit map $u_\infty$, a finite number of rescaled model maps $\tilde{u}_\infty^{i,j}$, and a remainder with vanishing $L^2$-norm of $(-\Delta)^{1/4}$-norm.
• Establish convergence in $\dot{W}^{1/2,p}_{\text{loc}}(\mathbb{R} \setminus \{a_1,\dots,a_\ell\})$ for $p \geq 2$, with control on the remainder term.
• Use the structure of the horizontal $1/2$-harmonic map equation $P_T(u)(-\Delta)^{1/2}u = 0$ in $\mathcal{D}'(\mathbb{R})$ to enforce geometric constraints on the blow-up profiles.
• Construct a counter-example via rescaling of a symmetric solution to show that quantization fails without the Pohozaev identity, highlighting its necessity.

Experimental results

Research questions

• RQ1 Can compactness and quantization be established for sequences of horizontal 1/2-harmonic maps in one dimension under $\dot{H}^{1/2}$ and $L^1((-\Delta)^{1/2}u)$ bounds?
• RQ2 What is the precise asymptotic structure of energy concentration in the neck regions between blow-up points for such sequences?
• RQ3 How can a Pohozaev-type identity be derived and applied for the fractional Laplacian $(-\Delta)^{1/2}$ in $\mathbb{R}$ to control energy in neck regions?
• RQ4 To what extent do conservation laws and geometric constraints from the horizontal map condition influence the profile decomposition and quantization of energy?
• RQ5 Is the Pohozaev identity necessary for quantization, and can a counter-example be constructed where quantization fails without it?

Key findings

• Sequences $u_k$ of horizontal $1/2$-harmonic maps with bounded $\dot{H}^{1/2}(\mathbb{R})$ and $L^1((-\Delta)^{1/2}u_k)$ norms converge locally in $\dot{W}^{1/2,p}_{\text{loc}}(\mathbb{R} \setminus \{a_1,\dots,a_\ell\})$ for $p \geq 2$, away from a discrete set of blow-up points $\{a_1,\dots,a_\ell\}$.
• The energy quantization is achieved through a profile decomposition: $u_k - u_\infty - \sum_{i,j} \tilde{u}_\infty^{i,j}((x - x_k^{i,j})/r_k^{i,j})$ has vanishing $L^2$-norm of $(-\Delta)^{1/4}$ as $k \to \infty$, with $r_k^{i,j} \to 0$ and $x_k^{i,j} \to a_i$.
• The blow-up profiles $\tilde{u}_\infty^{i,j}$ are themselves horizontal $1/2$-harmonic maps, indicating that energy is concentrated in self-similar solutions at each blow-up point.
• The Pohozaev-type identity is essential for the quantization result: a counter-example shows that without such identities, energy may not quantize even with bounded $L^2$-norm of the solution.
• The energy quantization is proven via precise asymptotic expansion of the energy in neck regions, relying on the new Pohozaev identities to control error terms.
• The method demonstrates that the geometric constraint $P_T(u)(-\Delta)^{1/2}u = 0$ and the fractional Schrödinger-type structure are sufficient to enforce compactness and quantization in the critical $\dot{H}^{1/2}$ regime.