Optimal regularity of solutions to a singular cooperative system
Abstract
In the pioneer work of vectorial free boundary problems \cite[Adv. Math. 280 (2015)]{ASUW15}, Andersson, Shahgholian, Uraltseva, and Weiss investigated the regularity theory of solutions and the free boundary of a singular cooperative system Δu = u/|u| χ{|u|>0} in Ω⊂ℝn, u:Ω⟶ ℝm, n,m≥ 2. At the level of solutions, the boundedness of the right-hand side directly yields W2,ploc regularity for every 1<p<∞ by standard elliptic estimates, while the corresponding W2,∞loc regularity question was explicitly left as an open problem on page~753 of that paper. In this paper, we give a positive answer by establishing optimal W2,∞loc regularity through a scale-invariant interior Hessian estimate for every weak solution. Unlike the scalar case, the classical Alt--Caffarelli--Friedman monotonicity formula cannot be applied directly to the present system. Our proof instead combines a localized Newtonian potential decomposition with an explicit projection onto quadratic harmonic polynomials on the unit sphere, which isolates the symmetric trace-free quadratic part of the Hessian. A key new observation is that the resulting matrix coefficients satisfy an exact linear ordinary differential equations with constant coefficients on the logarithmic scale. The main novelty of this work lies in a so-called two-regime argument based on the competition between the affine and quadratic parts of the rescaled solution, together with a continuity argument that connects the two regimes and yields a uniform bound for the coefficient. The resulting a priori estimate provides an analytic basis for further study of the fine structure of the free boundary.
Related
- Local regularity for solutions to singular and degenerate quasilinear parabolic equations
- On Solutions for Singular Toda System on Surfaces with Boundary
- Existence of Weak Solutions and Higher-Order Regularity for a Heat-Wave Fluid-Structure Interaction System on a Periodic Strip
- Regularity theorems for Lipschitz viscosity solutions to the minimal surface system
- Negative Sobolev regularity and optimal decay for the fractional Navier--Stokes--Poisson system
BibTeX
@misc{du2026optimal,
title = {{Optimal regularity of solutions to a singular cooperative system}},
author = {Lili Du and Xu Tang and Cong Wang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.13604},
eprint = {2609.13604},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.13604},
}
RIS
TY - UNPB
TI - Optimal regularity of solutions to a singular cooperative system
AU - Lili Du
AU - Xu Tang
AU - Cong Wang
PY - 2026
DA - 2026/09/11
PB - arXiv
DO - 10.48550/arxiv.2609.13604
UR - https://arxiv.org/abs/2609.13604
AB - In the pioneer work of vectorial free boundary problems \cite[Adv. Math. 280 (2015)]{ASUW15}, Andersson, Shahgholian, Uraltseva, and Weiss investigated the regularity theory of solutions and the free boundary of a singular cooperative system Δu = u/|u| χ_{|u|>0} in Ω⊂ℝ^n, u:Ω⟶ ℝ^m, n,m≥ 2. At the level of solutions, the boundedness of the right-hand side directly yields W^2,p_loc regularity for every 1<p<∞ by standard elliptic estimates, while the corresponding W^2,∞_loc regularity question was explicitly left as an open problem on page~753 of that paper. In this paper, we give a positive answer by establishing optimal W^2,∞_loc regularity through a scale-invariant interior Hessian estimate for every weak solution. Unlike the scalar case, the classical Alt--Caffarelli--Friedman monotonicity formula cannot be applied directly to the present system. Our proof instead combines a localized Newtonian potential decomposition with an explicit projection onto quadratic harmonic polynomials on the unit sphere, which isolates the symmetric trace-free quadratic part of the Hessian. A key new observation is that the resulting matrix coefficients satisfy an exact linear ordinary differential equations with constant coefficients on the logarithmic scale. The main novelty of this work lies in a so-called two-regime argument based on the competition between the affine and quadratic parts of the rescaled solution, together with a continuity argument that connects the two regimes and yields a uniform bound for the coefficient. The resulting a priori estimate provides an analytic basis for further study of the fine structure of the free boundary.
ER -