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

Resumo Técnico: Conjectura de Brück para Soluções de Equações Diferenciais Parciais de Primeira Ordem em $\mathbb{C}^m$

Enunciado do Problema
Este artigo investiga a extensão da conjectura de Brück da teoria de funções inteiras em uma variável complexa para o cenário de várias variáveis complexas ($\mathbb{C}^m$). A conjectura clássica de Brück diz respeito à relação entre uma função inteira não constante $f$ e sua derivada $f'$ quando elas compartilham um valor $a$ contando multiplicidades (CM). Especificamente, ela postula que se a hiper-ordem $\rho_1(f)$ não for um inteiro não negativo ou infinito, e se $f$ e $f'$ compartilharem $a$ CM, então $f' - a = c(f - a)$ para algum constante não nulo $c$.

Os autores generalizam este problema para equações diferenciais parciais de primeira ordem. Eles consideram uma função inteira não constante $f$ em $\mathbb{C}^m$ e investigam o cenário onde as derivadas parciais $\partial_{z_i} f$ compartilham um valor $a$ com $f$ para todo $i \in \{1, \dots, m\}$. A questão central é se a relação $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$ implica que a função inteira $\alpha(z)$ deve reduzir-se a uma constante, forçando assim $f$ a uma forma exponencial específica. O artigo observa que a conjectura falha se a condição de crescimento sobre a hiper-ordem for removida ou se o termo exponencial for substituído por uma função inteira arbitrária com zeros.

Metodologia
Os autores utilizam a teoria de Nevanlinna em várias variáveis complexas para analisar a distribuição de valores de funções meromorfas e suas derivadas parciais. A metodologia envolve:

1. Estabelecimento de Lemas Fundamentais: O artigo deriva e utiliza diversos resultados auxiliares, incluindo:

   • Um teorema de Borel-Carathéodory generalizado em $\mathbb{C}^m$ (Lema 2.5), que limita o módulo máximo $M(r, f)$ em termos da parte real máxima $A(R, f)$.
   • Relações entre a ordem de uma função e suas derivadas parciais (Lema 2.9).
   • Estimativas para as funções de proximidade e de contagem de derivadas (Lemmas 2.1, 2.3).
   • Um resultado afirmando que, se as segundas derivadas parciais de uma função desaparecem identicamente, a função deve ser um polinômio (Lema 2.4).

2. Análise de Valores Compartilhados: O núcleo da prova envolve a análise da condição onde $f$ e $\partial_{z_i} f$ compartilham um valor $a$ CM. Isso leva à equação funcional $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$.

3. Distinção de Casos e Contradição:

   • Caso $a=0$: Os autores provam que, se $f$ e $\partial_{z_i} f$ compartilham 0 CM, então $f$ não possui zeros. Isso permite a representação $f = e^\beta$, reduzindo o problema à análise das derivadas de $\beta$. Ao examinar as ordens de crescimento e usar a condição $\rho_1(f) \notin \mathbb{N} \cup \{\infty\}$, eles mostram que as derivadas de $\beta$ devem ser constantes.
   • Caso $a \neq 0$: Os autores consideram dois subcasos baseados na natureza de $\alpha(z)$. Se $\alpha(z)$ é constante, o resultado segue diretamente. Se $\alpha(z)$ é não constante, eles assumem o contrário e constroem funções auxiliares $F$ e $G$ envolvendo derivadas de segunda e terceira ordem. Ao analisar o Wronskiano e usar a suposição de que a função de contagem dos zeros das derivadas é pequena ($o(T(r, f))$), eles derivam uma contradição ($T(r, f) = o(T(r, f))$), provando assim que $\alpha(z)$ deve ser constante.

Principais Contribuições e Resultados
O artigo estabelece dois teoremas principais confirmando a conjectura de Brück em $\mathbb{C}^m$ sob condições específicas:

• Teorema 1.1: Se $f$ é uma função inteira não constante em $\mathbb{C}^m$ com hiper-ordem $\rho_1(f) \notin \mathbb{N} \cup \{\infty\}$, e se $\partial_{z_i} f = e^{\alpha(z)} f$ para todo $i$, então $\alpha(z)$ reduz-se a uma constante $c$. Consequentemente, $f(z) = c_1 e^{A(z_1 + \dots + z_m)}$, onde $A = e^c$.
• Teorema 1.2: Se $f$ é uma função inteira não constante em $\mathbb{C}^m$ tal que a função de contagem dos zeros de suas derivadas parciais satisfaz $\|N(r, 0; \partial_{z_i} f) = o(T(r, f))$ para todo $i$, e se $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$ para uma constante não nula $a$, então $\alpha(z)$ reduz-se a uma constante. A solução assume a forma $f(z) = c_1 e^{A(z_1 + \dots + z_m)} + a - a/A$.

Os autores também fornecem contraexemplos (Exemplos 1.1–1.3) demonstrando que a conjectura não se mantém se a condição de hiper-ordem for violada (isto é, se $\rho_1(f) \in \mathbb{N} \cup \{\infty\}$) ou se o termo exponencial for substituído por uma função inteira com zeros.

Significância e Alegações
O artigo afirma estender o escopo da conjectura de Brück de uma variável complexa para dimensões superiores ($\mathbb{C}^m$) dentro do arcabouço de equações diferenciais parciais de primeira ordem. Os autores afirmam que seus resultados mostram que a conjectura se mantém em $\mathbb{C}^m$ sob as condições adicionais de crescimento de hiper-ordem restrito ou condições específicas de pequenez nas funções de contagem das derivadas.

Na busca por esses resultados, os autores também estabelecem um teorema de Borel-Carathéodory em $\mathbb{C}^m$ e derivam resultados fundamentais relativos à ordem e hiper-ordem de funções inteiras em dimensões superiores. O trabalho contribui para o crescente campo da teoria de distribuição de valores de Nevanlinna em várias variáveis complexas, oferecendo uma compreensão mais profunda da unicidade e das propriedades de crescimento de soluções de equações diferenciais parciais em espaços complexos multidimensionais.