Bruck conjecture for solutions of first-order partial differential equations in Cm

Technische Samenvatting: De Brück-conjectuur voor oplossingen van eerstegraads partiële differentiaalvergelijkingen in $\mathbb{C}^m$

Probleemstelling
Dit artikel onderzoekt de uitbreiding van de Brück-conjectuur vanuit de theorie van volledige functies in één complexe variabele naar de setting van meerdere complexe variabelen ($\mathbb{C}^m$). De klassieke Brück-conjectuur betreft de relatie tussen een niet-constante volledige functie $f$ en haar afgeleide $f'$ wanneer zij een waarde $a$ delen met telling van veelvuldigheden (CM). Specifiek stelt het dat als de hyperorde $\rho_1(f)$ geen niet-negatief geheel getal of oneindig is, en $f$ en $f'$ de waarde $a$ CM delen, dan $f' - a = c(f - a)$ geldt voor een bepaalde niet-nul constante $c$.

De auteurs generaliseren dit probleem naar eerstegraads partiële differentiaalvergelijkingen. Zij beschouwen een niet-constante volledige functie $f$ in $\mathbb{C}^m$ en onderzoeken het scenario waarin de partiële afgeleiden $\partial_{z_i} f$ voor alle $i \in \{1, \dots, m\}$ een waarde $a$ delen met $f$. De centrale vraag is of de relatie $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$ impliceert dat de volledige functie $\alpha(z)$ moet reduceren tot een constante, waardoor $f$ wordt gedwongen in een specifieke exponentiële vorm. Het artikel merkt op dat deze conjectuur faalt als de groeiconditie op de hyperorde wordt verwijderd of als de exponentiële term wordt vervangen door een willekeurige volledige functie met nulpunten.

Methodologie
De auteurs maken gebruik van Nevanlinna-theorie in meerdere complexe variabelen om de waardeverdeling van meromorfe functies en hun partiële afgeleiden te analyseren. De methodologie omvat:

1. Het vaststellen van fundamentele lemma's: Het artikel leidt verschillende hulpresultaten af en maakt daar gebruik van, waaronder:

   • Een gegeneraliseerd Borel-Carathéodory-stelling in $\mathbb{C}^m$ (Lemma 2.5), die het maximummodulus $M(r, f)$ begrenst in termen van het maximaal reëel deel $A(R, f)$.
   • Relaties tussen de orde van een functie en haar partiële afgeleiden (Lemma 2.9).
   • Schattingen voor de nabijheids- en telfuncties van afgeleiden (Lemma's 2.1, 2.3).
   • Een resultaat dat stelt dat als de tweede partiële afgeleiden van een functie identiek nul zijn, de functie een polynoom moet zijn (Lemma 2.4).

2. Analyse van gedeelde waarden: De kern van het bewijs behelst het analyseren van de conditie waarbij $f$ en $\partial_{z_i} f$ een waarde $a$ CM delen. Dit leidt tot de functionele vergelijking $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$.

3. Gevalsonderscheid en tegenspraak:

   • Geval $a=0$: De auteurs bewijzen dat als $f$ en $\partial_{z_i} f$ 0 CM delen, dan $f$ geen nulpunten heeft. Dit maakt de representatie $f = e^\beta$ mogelijk, wat het probleem reduceert tot het analyseren van de afgeleiden van $\beta$. Door de groeigordes te onderzoeken en gebruik te maken van de conditie $\rho_1(f) \notin \mathbb{N} \cup \{\infty\}$, tonen zij aan dat de afgeleiden van $\beta$ constanten moeten zijn.
   • Geval $a \neq 0$: De auteurs beschouwen twee subgevallen op basis van de aard van $\alpha(z)$. Als $\alpha(z)$ constant is, volgt het resultaat direct. Als $\alpha(z)$ niet-constant is, nemen zij het tegendeel aan en construeren zij hulpfuncties $F$ en $G$ die tweede en derde orde afgeleiden bevatten. Door de Wronskiaan te analyseren en gebruik te maken van de aanname dat de telfunctie van de nulpunten van de afgeleiden klein is ($o(T(r, f))$), leiden zij een tegenspraak af ($T(r, f) = o(T(r, f))$), waarmee zij bewijzen dat $\alpha(z)$ constant moet zijn.

Belangrijkste bijdragen en resultaten
Het artikel vestigt twee hoofdtheorema's die de Brück-conjectuur in $\mathbb{C}^m$ bevestigen onder specifieke condities:

• Theorema 1.1: Als $f$ een niet-constante volledige functie is in $\mathbb{C}^m$ met hyperorde $\rho_1(f) \notin \mathbb{N} \cup \{\infty\}$, en als $\partial_{z_i} f = e^{\alpha(z)} f$ voor alle $i$, dan reduceert $\alpha(z)$ tot een constante $c$. Bijgevolg is $f(z) = c_1 e^{A(z_1 + \dots + z_m)}$, waarbij $A = e^c$.
• Theorema 1.2: Als $f$ een niet-constante volledige functie is in $\mathbb{C}^m$ zodanig dat de telfunctie van de nulpunten van haar partiële afgeleiden voldoet aan $\|N(r, 0; \partial_{z_i} f) = o(T(r, f))$ voor alle $i$, en als $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$ voor een niet-nul constante $a$, dan reduceert $\alpha(z)$ tot een constante. De oplossing heeft de vorm $f(z) = c_1 e^{A(z_1 + \dots + z_m)} + a - a/A$.

De auteurs bieden ook tegenvoorbeelden (Voorbeelden 1.1–1.3) die aantonen dat de conjectuur niet standhoudt als de hyperorde-conditie wordt geschonden (d.w.z. als $\rho_1(f) \in \mathbb{N} \cup \{\infty\}$) of als de exponentiële term wordt vervangen door een volledige functie met nulpunten.

Betekenis en Claims
Het artikel claimt de reikwijdte van de Brück-conjectuur uit te breiden van één complexe variabele naar hogere dimensies ($\mathbb{C}^m$) binnen het kader van eerstegraads partiële differentiaalvergelijkingen. De auteurs stellen dat hun resultaten aantonen dat de conjectuur in $\mathbb{C}^m$ standhoudt onder de aanvullende condities van beperkte hyperorde-groei of specifieke kleinheidseisen voor de telfuncties van de afgeleiden.

In het streven naar deze resultaten hebben de auteurs ook een Borel-Carathéodory-stelling in $\mathbb{C}^m vastgesteld en fundamentele resultaten afgeleid met betrekking tot de orde en hyperorde van volledige functies in hogere dimensies. Het werk draagt bij aan het groeiende veld van de Nevanlinna-waardeverdelingstheorie in meerdere complexe variabelen en biedt een dieper begrip van de uniciteit en groeieigenschappen van oplossingen voor partiële differentiaalvergelijkingen in multidimensionale complexe ruimten.