Radial symmetry of positive solutions of an integral system associated with the reversed Stein-Weiss inequality

Technische Samenvatting: Radiale Symmetrie van Positieve Oplossingen van een Integraalsysteem Geassocieerd met de Omgekeerde Stein-Weiss Ongelijkheid

Probleemstelling
Dit artikel onderzoekt de radiale symmetrie en monotoniciteit van positieve oplossingen van een specifiek systeem van integraalvergelijkingen die voortkomen uit het Euler-Lagrange systeem voor extremale functies van de omgekeerde Stein-Weiss ongelijkheid. Het systeem wordt gegeven door:
$$\begin{cases} u(x) = \int_{\mathbb{R}^n} \frac{|x|^\alpha v^{-p_2}(y) |y|^\beta}{|x-y|^\Lambda} dy, \\ v(x) = \int_{\mathbb{R}^n} \frac{|x|^\beta u^{-p_1}(y) |y|^\alpha}{|x-y|^\Lambda} dy, \end{cases}$$
waarbij $n \ge 1$, $\Lambda > 0$, $p_1, p_2 > 1$, en de gewichten voldoen aan specifieke beperkingen met betrekking tot $\alpha, \beta$. De auteurs beschouwen oplossingen $(u, v)$ die bijna overal positief zijn in $\mathbb{R}^n$ en behoren tot $L^\infty_{loc}(\mathbb{R}^n) \times L^\infty_{loc}(\mathbb{R}^n)$.

Het probleem breidt eerder werk uit op de Hardy-Littlewood-Sobolev (HLS) en Stein-Weiss ongelijkheden. Terwijl Chen, Li en Ou de radiale symmetrie voor standaard HLS- en Stein-Weiss-systemen vaststelden met de methode van bewegende vlakken, en Dou, Zhu en Liu zich bezighielden met de omgekeerde HLS-ongelijkheid, bleef de radiale symmetrie voor het omgekeerde Stein-Weiss-systeem (dat dubbele gewichten en negatieve exponenten in de integrand bevat) een open vraag.

Methodologie
De auteurs maken gebruik van de methode van bewegende vlakken in integrale vorm, een techniek die oorspronkelijk is ontwikkeld door Chen, Li en Ou en later is verfijnd door Dou, Guo en Zhu voor systemen met negatieve exponenten. Het bewijs verloopt via de volgende technische stappen:

1. Auxiliaire Functies en Regulariteit: Om de dubbele gewichten ($|x|^\alpha, |y|^\beta$) en de singulariteit in de oorsprong te behandelen, introduceren de auteurs de hulpfuncties:
   $$t(x) = |x|^{-\alpha}u(x), \quad w(x) = |x|^{-\alpha/p_1}u(x), \quad s(x) = |x|^{-\beta}v(x).$$
   Zij stellen eerst het asymptotisch gedrag van de oplossingen $(u, v)$ in de nabijheid van oneindigheid en de oorsprong vast (Lemma 2.1). Cruciaal is dat zij bewijzen dat de hulpfuncties $t$ en $s$ continu zijn in $\mathbb{R}^n$ en differentieerbaar in $\mathbb{R}^n \setminus \{0\}$, en zij leiden precieze schattingen af voor hun gradiënten (Lemma's 2.2 en 2.3). Deze schattingen zijn noodzakelijk om de singulariteiten nabij de oorsprong tijdens het proces van bewegende vlakken te beheersen.

2. Integrale Representatie: De auteurs leiden integrale representaties af voor de verschillen $t(x) - t_\lambda(x)$ en $s(x) - s_\lambda(x)$, waarbij $x_\lambda$ de reflectie van $x$ is over het vlak $T_\lambda = \{x_1 = \lambda\}$. Deze representaties bevatten de kern $G(x, y) = |x_\lambda - y|^\Lambda - |x - y|^\Lambda$ (Lemma 2.4).

3. Het Argument van het Bewegende Vlak:

   • Startpunt: Voor voldoende negatieve $\lambda$ tonen de auteurs aan dat $t(x) \ge t_\lambda(x)$ en $s(x) \ge s_\lambda(x)$ gelden in de regio $\Sigma_\lambda = \{x \in \mathbb{R}^n \mid x_1 \le \lambda\}$. Dit berust op het asymptotisch gedrag van de oplossingen bij oneindigheid en de specifieke groeicijfers van de hulpfuncties.
   • Het Vlak Bewegen: Het vlak $T_\lambda$ wordt naar rechts verschoven zolang de ongelijkheden standhouden. De auteurs definiëren $\lambda_0 = \sup \{ \mu < 0 \mid \text{ongelijkheden gelden voor alle } \lambda < \mu \}$.
   • Tegenspraak: Zij nemen aan dat $\lambda_0 < 0$ en leiden een tegenspraak af. Door de integrale representaties te analyseren en gebruik te maken van de strikte positiviteit van de kern $G(x, y)$ en de monotoniciteit van de machtfuncties, tonen zij aan dat als de ongelijkheden standhouden tot $\lambda_0$, ze strikt moeten gelden in een buurt voorbij $\lambda_0$, tenzij de oplossing al symmetrisch is. Het bewijs behandelt de singulariteit bij de oorsprong zorgvuldig door de integratiedomeinen op te splitsen en de vastgestelde gradiëntschattingen te gebruiken.
   • Conclusie van Symmetrie: De tegenspraak impliceert dat $\lambda_0 = 0$. Omdat de richting van de $x_1$-as willekeurig is, zijn de oplossingen $w$ en $s$ (en bij consequent de $u$ en $v$) radiaal symmetrisch rond de oorsprong.

Belangrijkste Bijdragen en Resultaten
De belangrijkste resultaat is Stelling 1.1, die stelt dat onder de voorwaarden $n \ge 1$, $\Lambda > 0$, $\min\{p_1, p_2\} > 1$, en specifieke grenzen op de gewichten $\alpha$ en $\beta$, elk paar positieve oplossingen $(u, v)$ van het systeem (1.12) radiaal symmetrisch en monotoon toenemend is rond de oorsprong.

De specifieke technische bijdragen van het artikel zijn:

• Het uitbreiden van de methode van bewegende vlakken naar het omgekeerde Stein-Weiss-systeem, dat dubbele gewichten en negatieve exponenten ($v^{-p_2}, u^{-p_1}$) bevat.
• Het introduceren en gebruiken van specifieke hulpfuncties ($t, w, s$) om de gewichten te ontkoppelen van de integralkernen, wat het toepassen van de methode van bewegende vlakken mogelijk maakt ondanks het gebrek aan een directe omgekeerde Stein-Weiss ongelijkheid voor het systeem.
• Het leveren van rigoureuze schattingen voor de gradiënten van de hulpfuncties nabij de oorsprong en bij oneindigheid om de geldigheid van de integrale schattingen vereist voor het argument van het bewegende vlak te waarborgen.

Betekenis en Claims
Het artikel beweert de vraag naar de radiale symmetrie voor de extremale functies van de omgekeerde Stein-Weiss ongelijkheid op te lossen, een probleem dat wordt gemotiveerd door het werk van Chen, Liu, Lu en Tao (2018), die de ongelijkheid hebben vastgesteld maar de symmetrie van haar extremalen niet hebben geclassificeerd.

De auteurs positioneren hun werk als een natuurlijke progressie in de studie van conformale vergelijkingen en integraalsystemen. Zij merken op dat hoewel de Stein-Weiss ongelijkheid niet direct op hun systeem van toepassing is op dezelfde manier als op het standaard Stein-Weiss systeem (zoals in Jin en Li, 2006), het schema ontwikkeld door Dou, Guo en Zhu voor de omgekeerde HLS ongelijkheid succesvol kan worden aangepast. Het artikel benadrukt dat de dubbel gewogen aard van het systeem een moeilijkheid vormt die de introductie van de hulpfuncties vereist om de singulariteit bij de oorsprong effectief te behandelen.

Het werk stelt geen nieuwe toepassingen of experimentele opstellingen voor, maar draagt bij aan het theoretische begrip van de structuur van oplossingen voor nietlineaire integraalvergelijkingen die voortkomen uit de mathematische fysica en de theorie van de beste constanten in functionele ongelijkheden.