English

A note on the radially symmetry in the moving plane method

Analysis of PDEs 2024-09-18 v1

Abstract

Let ΩRn\Omega\subset\mathbb{R}^n, n2n\ge 2, be a bounded connected C2C^2 domain. For any unit vector νRn\nu\in\mathbb{R}^n, let Tλν={xRn:xν=λ}T_{\lambda}^{\nu}=\{x\in\mathbb{R}^n:x\cdot\nu=\lambda\}, Σλν={xΩ:xν<λ}\Sigma_{\lambda}^{\nu}=\{x\in\Omega:x\cdot\nu<\lambda\} and x=x2(xνλ)νx^{\ast}=x-2(x\cdot\nu-\lambda)\nu be the reflection of a point xRnx\in\mathbb{R}^n about the plane TλνT_{\lambda}^{\nu}. Let Σ~λν={xΩ:xΣλν}\widetilde{\Sigma}_{\lambda}^{\nu}=\{x\in\Omega:x^{\ast}\in\Sigma_{\lambda}^{\nu}\} and uC2(Ω)u\in C^2(\overline{\Omega}). Suppose for any unit vector νRn\nu\in\mathbb{R}^n, there exists a constant λνR\lambda_{\nu}\in\mathbb{R} such that Ω\Omega is symmetric about the plane TλννT_{\lambda_{\nu}}^{\nu} and uu is symmetric about the plane TλννT_{\lambda_{\nu}}^{\nu} and satisfies (i)uν(x)>0xΣλνν\,\frac{\partial u}{\partial\nu}(x)>0\quad\forall x\in \Sigma_{\lambda_{\nu}}^{\nu} and (ii)uν(x)<0xΣ~λνν\,\frac{\partial u}{\partial\nu}(x)<0\quad\forall x\in \widetilde{\Sigma}_{\lambda_{\nu}}^{\nu}. We will give a simple proof that uu is radially symmetric about some point x0Ωx_0\in\Omega and Ω\Omega is a ball with center at x0x_0. Similar result holds for the domain Rn\mathbb{R}^n and function uC2(Rn)u\in C^2(\mathbb{R}^n) satisfying similar monotonicity and symmetry conditions. We also extend this result under weaker hypothesis on the function uu.

Keywords

Cite

@article{arxiv.2409.10834,
  title  = {A note on the radially symmetry in the moving plane method},
  author = {Shu-Yu Hsu},
  journal= {arXiv preprint arXiv:2409.10834},
  year   = {2024}
}

Comments

6 pages

R2 v1 2026-06-28T18:47:08.269Z