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

Resumen Técnico: Conjetura de Brück para Soluciones de Ecuaciones Diferenciales Parciales de Primer Orden en $\mathbb{C}^m$

Planteamiento del Problema
Este artículo investiga la extensión de la conjetura de Brück de la teoría de funciones enteras en una variable compleja al entorno de varias variables complejas ($\mathbb{C}^m$). La conjetura clásica de Brück se refiere a la relación entre una función entera no constante $f$ y su derivada $f'$ cuando comparten un valor $a$ contando multiplicidades (CM). Específicamente, postula que si la hiperorden $\rho_1(f)$ no es un entero no negativo o infinito, y $f$ y $f'$ comparten $a$ CM, entonces $f' - a = c(f - a)$ para alguna constante no nula $c$.

Los autores generalizan este problema a las ecuaciones diferenciales parciales de primer orden. Consideran una función entera no constante $f$ en $\mathbb{C}^m$ e investigan el escenario donde las derivadas parciales $\partial_{z_i} f$ comparten un valor $a$ con $f$ para todo $i \in \{1, \dots, m\}$. La cuestión central es si la relación $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$ implica que la función entera $\alpha(z)$ debe reducirse a una constante, forzando así a $f$ a una forma exponencial específica. El artículo señala que esta conjetura falla si se elimina la condición de crecimiento sobre la hiperorden o si el término exponencial se reemplaza por una función entera arbitraria con ceros.

Metodología
Los autores emplean la teoría de Nevanlinna en varias variables complejas para analizar la distribución de valores de funciones meromorfas y sus derivadas parciales. La metodología involucra:

1. Establecimiento de Lemas Fundamentales: El artículo deriva y utiliza varios resultados auxiliares, incluyendo:

   • Un teorema de Borel-Carathéodory generalizado en $\mathbb{C}^m$ (Lema 2.5), que acota el módulo máximo $M(r, f)$ en términos de la parte real máxima $A(R, f)$.
   • Relaciones entre el orden de una función y sus derivadas parciales (Lema 2.9).
   • Estimaciones para las funciones de proximidad y de conteo de las derivadas (Lemmas 2.1, 2.3).
   • Un resultado que establece que si las segundas derivadas parciales de una función se anulan identicamente, la función debe ser un polinomio (Lema 2.4).

2. Análisis de Valores Compartidos: El núcleo de la prueba implica el análisis de la condición donde $f$ y $\partial_{z_i} f$ comparten un valor $a$ CM. Esto conduce a la ecuación funcional $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$.

3. Distinción de Casos y Contradicción:

   • Caso $a=0$: Los autores demuestran que si $f$ y $\partial_{z_i} f$ comparten 0 CM, entonces $f$ no tiene ceros. Esto permite la representación $f = e^\beta$, reduciendo el problema al análisis de las derivadas de $\beta$. Al examinar los órdenes de crecimiento y utilizando la condición $\rho_1(f) \notin \mathbb{N} \cup \{\infty\}$, demuestran que las derivadas de $\beta$ deben ser constantes.
   • Caso $a \neq 0$: Los autores consideran dos subcasos basados en la naturaleza de $\alpha(z)$. Si $\alpha(z)$ es constante, el resultado sigue directamente. Si $\alpha(z)$ es no constante, asumen lo contrario y construyen funciones auxiliares $F$ y $G$ que involucran derivadas de segundo y tercer orden. Al analizar el Wronskiano y utilizando la suposición de que la función de conteo de los ceros de las derivadas es pequeña ($o(T(r, f))$), derivan una contradicción ($T(r, f) = o(T(r, f))$), demostrando así que $\alpha(z)$ debe ser constante.

Contribuciones Clave y Resultados
El artículo establece dos teoremas principales que confirman la conjetura de Brück en $\mathbb{C}^m$ bajo condiciones específicas:

• Teorema 1.1: Si $f$ es una función entera no constante en $\mathbb{C}^m$ con hiperorden $\rho_1(f) \notin \mathbb{N} \cup \{\infty\}$, y si $\partial_{z_i} f = e^{\alpha(z)} f$ para todo $i$, entonces $\alpha(z)$ se reduce a una constante $c$. En consecuencia, $f(z) = c_1 e^{A(z_1 + \dots + z_m)}$, donde $A = e^c$.
• Teorema 1.2: Si $f$ es una función entera no constante en $\mathbb{C}^m$ tal que la función de conteo de los ceros de sus derivadas parciales satisface $\|N(r, 0; \partial_{z_i} f) = o(T(r, f))$ para todo $i$, y si $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$ para una constante no nula $a$, entonces $\alpha(z)$ se reduce a una constante. La solución toma la forma $f(z) = c_1 e^{A(z_1 + \dots + z_m)} + a - a/A$.

Los autores también proporcionan contraejemplos (Ejemplos 1.1–1.3) demostrando que la conjetura no se sostiene si se viola la condición de hiperorden (es decir, si $\rho_1(f) \in \mathbb{N} \cup \{\infty\}$) o si el término exponencial se reemplaza por una función entera con ceros.

Significancia y Reivindicaciones
El artículo afirma extender el alcance de la conjetura de Brück de una variable compleja a dimensiones superiores ($\mathbb{C}^m$) dentro del marco de las ecuaciones diferenciales parciales de primer orden. Los autores afirman que sus resultados muestran que la conjetura se cumple en $\mathbb{C}^m$ bajo las condiciones adicionales de crecimiento restringido de la hiperorden o condiciones específicas de pequeñez en las funciones de conteo de las derivadas.

En la búsqueda de estos resultados, los autores también establecen un teorema de Borel-Carathéodory en $\mathbb{C}^m$ y derivan resultados fundamentales relativos al orden y la hiperorden de funciones enteras en dimensiones superiores. El trabajo contribuye al creciente campo de la teoría de la distribución de valores de Nevanlinna en varias variables complejas, ofreciendo una comprensión más profunda de la unicidad y las propiedades de crecimiento de las soluciones a ecuaciones diferenciales parciales en espacios complejos multidimensionales.