We prove full boundary regularity for minimizing biharmonic maps with smooth Dirichlet boundary conditions. Our result, similarly as in the case of harmonic maps, is based on the nonexistence of nonconstant boundary tangent maps. With the help of recently derivated boundary monotonicity formula for minimizing biharmonic maps by Altuntas we prove compactness at the boundary following Scheven's interior argument. Then we combine those results with the conditional partial boundary regularity result for stationary biharmonic maps by Gong--Lamm--Wang.
We study the regularity of solutions to the obstacle problem for the parabolic biharmonic equation. We analyze the problem via an implicit time discretization, and we prove some regularity properties of the solution.
Our goal is to establish a hidden regularity result for solutions of time fractional Petrovsky system where the Caputo fractional derivative is of order $α\in(1,2)$. We achieve such result for a suitable class of weak solutions.
We derive a boundary monotonicity formula for a class of biharmonic maps with Dirichlet boundary conditions. A monotonicity formula is crucial in the theory of partial regularity in super-critical dimensions. As a consequence of such a boundary monotonicity formula, one is able to show partial regularity for variationally biharmonic maps and full boundary regularity for minimizing biharmonic maps.
In this paper, we study the relaxed energy for biharmonic maps from a $m$-dimensional domain into spheres. By an approximation method, we prove the existence of a minimizer of the relaxed energy of the Hessian energy, and that the minimizer is biharmonic and smooth outside a singular set $Σ$ of finite $(m-4)$-dimensional Hausdorff measure. Moreover, when $m=5$, we prove that the singular set $Σ$ is 1-rectifiable.
We consider critical points $u:Ω\to N$ of the bi-energy \[ \int_Ω|Δu|^2\,d x, \] where $Ω\subset\mathbb{R}^m$ is a bounded smooth domain of dimension $m\ge 5$ and $N\subset\mathbb{R}^L$ a compact submanifold without boundary. More precisely, we consider variationally biharmonic maps $u\in W^{2,2}(Ω,N)$, which are defined as critical points of the bi-energy that satisfy a certain stationarity condition up to the boundary. For weakly convergent sequences of variationally biharmonic maps, we demonstrate that the only obstruction that can prevent the strong compactness up to the boundary is the pr…
In this article we use flatness improvement argument to study the regularity of the free boundary for the biharmonic obstacle problem with zero obstacle. Assuming that the solution is almost one-dimensional, and that the non-coincidence set is an non-tangentially accessible (NTA) domain, we derive the $C^{1,α}$-regularity of the free boundary in a small ball centered at the origin. From the $C^{1,α}$-regularity of the free boundary we conclude that the solution to the biharmonic obstacle problem is locally $ C^{3,α}$ up to the free boundary, and therefore $C^{2,1} $. In the end we study an exa…
We consider the Dirichlet problem for stationary biharmonic maps $u$ from a bounded, smooth domain $Ω\subset\mathbb R^n$ ($n\ge 5$) to a compact, smooth Riemannian manifold $N\subset\mathbb R^l$ without boundary. For any smooth boundary data, we show that if, in addition, $u$ satisfies a certain boundary monotonicity inequality, then there exists a closed subset $Σ\subset\barΩ$, with $H^{n-4}(Σ)=0$, such that $u\in C^\infty(\barΩ\setminusΣ, N)$.
This paper deals with the initial-boundary value problem of the biharmonic cubic nonlinear Schrödinger equation in a quarter plane with inhomogeneous Dirichlet-Neumann boundary data. We prove local well-posedness in the low regularity Sobolev spaces introducing Duhamel boundary forcing operator associated to the linear equation to construct solutions on the whole line. With this in hands, the energy and nonlinear estimates allow us to apply Fourier restriction method, introduced by J. Bourgain, to get the main result of the article. Additionally, adaptations of this approach for the biharmonic…
In this paper we prove quantitative regularity results for stationary and minimizing extrinsic biharmonic maps. As an application, we determine sharp, dimension independent $L^p$ bounds for $\nabla^k f$ that do not require a small energy hypothesis. In particular, every minimizing biharmonic map is in $W^{4,p}$ for all $1\le p<5/4$. Further, for minimizing biharmonic maps from $Ω\subset \mathbb{R}^5$, we determine a uniform bound on the number of singular points in a compact set. Finally, using dimension reduction arguments, we extend these results to minimizing and stationary biharmonic maps …
In this paper, we consider the characterizations of the Lipschitz spaces and homogeneous Lipschitz spaces associated to the biharmonic operator $Δ^2.$ With this characterizations, we prove the boundedness of the Bessel potentials, fractional integrals, fractional powers, Riesz transforms and multipliers of Laplace transforms type associated to $Δ^2$ on Lipschitz spaces and homogeneous Lipschitz spaces. The proofs of these results need the language of semigroups in an essential way.
We show the local wellposedness of biharmonic wave maps with initial data of sufficiently high Sobolev regularity and a blow-up criterion in the sup-norm of the gradient of the solutions. In contrast to the wave maps equation we use a vanishing viscosity argument and an appropriate parabolic regularization in order to obtain the existence result. The geometric nature of the equation is exploited to prove convergence of approximate solutions, uniqueness of the limit, and continuous dependence on initial data.
We study the existence and the regularity of the biharmonic Green kernel in a Brelot biharmonic space whose associated harmonic spaces have Green kernels. We show by some examples that this kernel does not always exist. We then introduce and study the adjoint of the given biharmonic space. This study was initiated by Smyrnelis, however, it seems that several results were incomplete and we clarify them here.
We prove a Brezis-Kato-type regularity result for weak solutions to the biharmonic nonlinear equation $$ Δ^2 u = g(x,u)\qquad\text{in }\mathbb{R}^N$$ with a Carathéodory function $g:\mathbb{R}^N\times \mathbb{R}\to \mathbb{R}$, $N\geq 5$. The regularity results give rise to the existence of ground state solutions provided that $g$ has a general subcritical growth at infinity. We also conceive a new biharmonic logarithmic Sobolev inequality $$ \int_{\mathbb{R}^N}|u|^2\log |u|\,dx\leq\frac{N}{8}\log \Big(C\int_{\mathbb{R}^N}|Δu|^2\,dx \Big), \quad\text{for } u \in H^2(\mathbb{R}^N), \; \int_{\ma…
In this paper, we study the problem of uniqueness of tangent cone for minimizing extrinsic biharmonic maps. Following the celebrated result of Simon, we prove that if the target manifold is a compact analytic submanifold in R p and if there is one tangent map whose singularity set consists of the origin only, then this tangent map is unique.
We examine a variational free boundary problem of Alt-Caffarelli type for the biharmonic operator with Navier boundary conditions in two dimensions. We show interior C2-regularity of minimizers and that the free boundary consists of finitely many C2-hypersurfaces. With the aid of these results, we can prove that minimizers are in general not unique. We investigate radial symmetry of minimizers and compute radial solutions explicitly.
We show that a bilinear estimate for biharmonic functions in a Lipschitz domain $Ω$is equivalent to the solvability of the Dirichlet problem for the biharmonic equationin $Ω$. As a result, we prove that for any given bounded Lipschitz domain $Ω$ in $\rn{d}$ and $1<q<\infty$, the solvability of the $L^{q}$ Dirichlet problem for $Δ^2 u=0$ in $Ω$ with boundary data in ${\emph{WA}}^{1,q}(\partialΩ)$ is equivalent to that of the $L^p$ regularity problem for $Δ^2 u=0$ in $Ω$ with boundary data in ${\emph{WA}}^{2,p}(\partialΩ)$, where $\frac{1}{p} +\frac{1}{q}=1$. This duality relation, together with…
We introduce here a nonlocal operator as a natural generalization to the biharmonic operator that appears in plate theory. This operator is built in the nonlocal calculus framework defined by Du et al. and its connected with the recent theory of peridynamics. For the steady state equation coupled with different boundary conditions we show existence and uniqueness of solutions, as well as regularity of solutions. The boundary conditions considered are nonlocal counterparts of the classical clamped and hinged boundary conditions. For each system we show convergence of the nonlocal solutions to t…
Motived by the heat flow and bubble analysis of biharmonic mappings, we study further regularity issues of the fourth order Lamm-Riviere system $$Δ^{2}u=Δ(V\cdot\nabla u)+{\rm div}(w\nabla u)+(\nablaω+F)\cdot\nabla u+f$$ in dimension four, with an inhomogeneous term $f$ which belongs to some natural function space. We obtain optimal higher order regularity and sharp Holder continuity of weak solutions. Among several applications, we derive weak compactness for sequences of weak solutions with uniformly bounded energy, which generalizes the weak convergence theory of approximate biharmonic mapp…
In this paper, we study semilinear elliptic systems with critical nonlinearity of the form \begin{equation}\label{sys01} Δu=Q(x, u, \nabla u), \end{equation} for $u: \mathbb{R}^n\rightarrow \mathbb{R}^K$, $Q$ has quadratic growth in $\nabla u$. Our work is motivated by elliptic systems for harmonic map and biharmonic map. When $n=2$, such a system does not have smooth regularity in general for $W^{1, 2}$ weak solutions, by a well-known example of J. Frehse. Classical results of harmonic map, proved by F. Hélein (for $n=2$) and F. Béthuel (for $n\geq 3$), assert that a $W^{1, n}$ weak solution …
We study the local and global wellposedness of the initial-boundary value problem for the biharmonic Schrödinger equation on the half-line with inhomogeneous Dirichlet-Neumann boundary data. First, we obtain a representation formula for the solution of the linear nonhomogenenous problem by using the Fokas method (also known as the \emph{unified transform method}). We use this representation formula to prove space and time estimates on the solutions of the linear model in fractional Sobolev spaces by using Fourier analysis. Secondly, we consider the nonlinear model with a power type nonlinearit…
We prove the nonexistence of smooth stable solution to the biharmonic problem $Δ^2 u= u^p$, $u>0$ in $\R^N$ for $1 < p < \infty$ and $N < 2(1 + x_0)$, where $x_0$ is the largest root of the following equation: $$x^4 - \frac{32p(p+1)}{(p-1)^2}x^2 + \frac{32p(p+1)(p+3)}{(p-1)^3}x -\frac{64p(p+1)^2}{(p-1)^4} = 0.$$ In particular, as $x_0 > 5$ when $p > 1$, we obtain the nonexistence of smooth stable solution for any $N \leq 12$ and $p > 1$. Moreover, we consider also the corresponding problem in the half space $\R^N_+$, or the elliptic problem $Δ^2 u= ł(u+1)^p$ on a bounded smooth domain $Ø$ with…
We consider the Hölder continuity for the Dirichlet problem at the boundary. Almgren introduced the multivalued; Q-valued functions for studying regularity of minimal surfaces in higher codimension. The Hölder continuity in the interior for Dirichlet minimizers is an outcome of Almgren's original theory, to which C. De Lellis and E.N. Spadaro's work have given a simpler alternative approach. We extend the Hölder regularity for Dirichlet minimizing Q-valued functions up to the boundary assuming enough regularity of the domain and Hölder regularity of the boundary data with exponent >1/2.
Energy identity for Intrinsic Stationary Biharmonic Mappings into Homogeneous Spaces in Supercritical Dimensions
Shandong University（山东大学）；University of Eastern Finland（芬兰东部大学）；Frontiers Science Center for Nonlinear Expectations, Ministry of Education, P. R. China（教育部非线性期望前沿科学中心）；Tsinghua University（清华大学）
In this paper we prove a $\mathcal C^{1,α}$ regularity result for minimizers of the planar Griffith functional arising from a variational model of brittle fracture. We prove that any isolated connected component of the crack, the singular set of a minimizer, is locally a $\mathcal C^{1,α}$ curve outside a set of zero Hausdorff measure.
This short note is the announcement of a forthcoming work in which we prove a first general boundary regularity result for area-minimizing currents in higher codimension, without any geometric assumption on the boundary, except that it is an embedded submanifold of a Riemannian manifold, with a mild amount of smoothness ($C^{3, a_0}$ for a positive $a_0$ suffices). Our theorem allows to answer a question posed by Almgren at the end of his Big Regularity Paper. In this note we discuss the ideas of the proof and we also announce a theorem which shows that the boundary regularity is in general we…
In this note we prove an abstract version of a recent quantitative stratifcation priciple introduced by Cheeger and Naber (Invent. Math., 191 (2013), no. 2, 321-339; Comm. Pure Appl. Math., 66 (2013), no. 6, 965-990). Using this general regularity result paired with an $\varepsilon$-regularity theorem we provide a new estimate of the Minkowski dimension of the set of higher multiplicity points of a Dir-minimizing Q-valued function. The abstract priciple is applicable to several other problems: we recover recent results in the literature and we obtain also some improvements in more classical co…
We establish a theory of $Q$-valued functions minimizing a suitable generalization of the Dirichlet integral. In a second paper the theory will be used to approximate efficiently area minimizing currents $\mathrm{mod}(p)$ when $p=2Q$, and to establish a first general partial regularity theorem for every $p$ in any dimension and codimension.
We establish a first general partial regularity theorem for area minimizing currents $\mathrm{mod}(p)$, for every $p$, in any dimension and codimension. More precisely, we prove that the Hausdorff dimension of the interior singular set of an $m$-dimensional area minimizing current $\mathrm{mod}(p)$ cannot be larger than $m-1$. Additionally, we show that, when $p$ is odd, the interior singular set is $(m-1)$-rectifiable with locally finite $(m-1)$-dimensional measure.
We consider a variational model for periodic partitions of the upper half-space into three regions, where two of them have prescribed volume and are subject to the geometrical constraint that their union is the subgraph of a function, whose graph is a free surface. The energy of a configuration is given by the weighted sum of the areas of the interfaces between the different regions, and a general volume-order term. We establish existence of minimizing configurations via relaxation of the energy involved, in any dimension. Moreover, we prove partial regularity results for volume-constrained mi…
We study the inverse boundary value problems of determining a potential in the Helmholtz type equation for the perturbed biharmonic operator from the knowledge of the partial Cauchy data set. Our geometric setting is that of a domain whose inaccessible portion of the boundary is contained in a hyperplane, and we are given the Cauchy data set on the complement. The uniqueness and logarithmic stability for this problem were established in [37] and [7], respectively. We establish stability estimates in the high frequency regime, with an explicit dependence on the frequency parameter, under mild r…
We prove the (optimal) $W^{1,\infty}$-regularity of weak solutions to the equation $-Δu = Q \; \mathcal{H}^{n-1} \llcorner Γ$ in a domain $Ω\subset \mathbb{R}^n$ with Dirichlet boundary conditions, where $Γ\subset \subset Ω$ is a compact (Lipschitz) manifold and $Q \in L^\infty(Γ)$. We also discuss optimality and necessity of the assumptions on $Q$ and $Γ$. Our findings can be applied to study the regularity of solutions for several free boundary problems, in particular the biharmonic Alt-Caffarelli Problem.
We consider integral area-minimizing $2$-dimensional currents $T$ in $U\subset \mathbb R^{2+n}$ with $\partial T = Q[\![Γ]\!]$, where $Q\in \mathbb N \setminus \{0\}$ and $Γ$ is sufficiently smooth. We prove that, if $q\in Γ$ is a point where the density of $T$ is strictly below $\frac{Q+1}{2}$, then the current is regular at $q$. The regularity is understood in the following sense: there is a neighborhood of $q$ in which $T$ consists of a finite number of regular minimal submanifolds meeting transversally at $Γ$ (and counted with the appropriate integer multiplicity). In view of well-known ex…
We show $C^{1,α}$-regularity for energy minimizing maps from a 2-dimensional Riemannian manifold into a Finsler space $(\R^n, F)$ with a Finsler structure $F(u,X)$.
In the present paper we establish the Wiener test for boundary regularity of the solutions to the polyharmonic operator. We introduce a new notion of polyharmonic capacity and demonstrate necessary and sufficient conditions on the capacity of the domain responsible for the regularity of a polyharmonic function near a boundary point. In the case of the Laplacian the test for regularity of a boundary point is the celebrated Wiener criterion of 1924. It was extended to the biharmonic case in dimension three by [Mayboroda, Maz'ya, Invent. Math. 2009]. As a preliminary stage of this work, in [Maybo…
In this article we extend to generic $p$-energy minimizing maps between Riemannian manifolds a regularity result which is known to hold in the case $p=2$. We first show that the set of singular points of such a map can be quantitatively stratified: we classify singular points based on the number of almost-symmetries of the map around them, as done by Cheeger and Naber in 2013. Then, adapting the work of Naber and Valtorta, we apply a Reifenberg-type Theorem to each quantitative stratum; through this, we achieve an upper bound on the Minkowski content of the singular set, and we prove it is $k$…
We consider $L^2$ minimizing geodesics along the group of volume preserving maps $SDiff(D)$ of a given 3-dimensional domain $D$. The corresponding curves describe the motion of an ideal incompressible fluid inside $D$ and are (formally) solutions of the Euler equations. It is known that there is a unique possible pressure gradient for these curves whenever their end points are fixed. In addition, this pressure field has a limited but unconditional (internal) regularity. The present paper completes these results by showing: 1) the uniqueness property can be viewed as an infinite dimensional phe…
This article addresses the regularity issue for minimizing fractional harmonic maps of order $s\in(0,1/2)$ from an interval into a smooth manifold. Hölder continuity away from a locally finite set is established for a general target. If the target is the standard sphere, then Hölder continuity holds everywhere.
