On $m$-order logarithmic Schrödinger operator

Resumo Técnico: Sobre o Operador de Schrödinger Logarítmico de Ordem $m$

Enunciado do Problema
Este artigo investiga o logaritmo de ordem $m$ do operador de Schrödinger $L_V = -\Delta + V$ em $\mathbb{R}^d$, onde $V$ é um potencial mensurável não negativo. Embora o Laplaciano logarítmico $\log(-\Delta)$ e seus contrapartes de ordem superior tenham sido extensivamente estudados nos últimos anos (por exemplo, [5, 9]), a extensão desses conceitos para o cenário de Schrödinger com um potencial $V$ apresenta desafios analíticos específicos. O objetivo principal é definir os operadores $\log^m L_V$ para $m \in \mathbb{N}$ e utilizá-los para derivar expansões assintóticas (séries de Taylor) para as potências fracionárias $L_V^s$ e $L_V^{-s}$ conforme a ordem $s \to 0^+$. O estudo foca no estabelecimento dessas expansões em espaços $L^p(\mathbb{R}^d)$ e pontualmente para classes específicas de funções, abordando o fato de que o semigrupo associado não é Markoviano quando $V > 0$.

Metodologia
Os autores empregam uma abordagem teórica espectral combinada com estimativas de núcleo de calor (heat kernel).

1. Definição Espectral: O operador $L_V$ é tratado como um operador autoadjunto em $L^2(\mathbb{R}^d)$ associado a uma forma sesquilinear fechada. Usando a medida espectral $E_V$ suportada em $[0, \infty)$, as potências fracionárias $L_V^s$ e os operadores logarítmicos $\log^m L_V$ são definidos via a integral espectral:
   $$\Phi(L_V)f = \int_0^\infty \Phi(\lambda) dE_V(\lambda)f.$$
2. Extensão do Semigrupo: A definição dos operadores logarítmicos é estendida de $L^2(\mathbb{R}^d)$ para uma classe mais ampla de funções Lipschitz usando o semigrupo de calor $\{T_t^V\}_{t>0}$ gerado por $L_V$. Os autores utilizam a representação integral:
   $$L_V^s f = \frac{1}{\Gamma(-s)} \int_0^\infty \frac{T_t^V f - f}{t^{s+1}} dt,$$
   válida para $s \in (0, 1)$ e funções adequadas.
3. Condições do Potencial: A análise assume $d \ge 3$ e que o potencial $V$ satisfaz uma desigualdade de Hölder reversa ($V \in RH_q$ com $q > d/2$). Esta condição permite o uso da função de raio crítico $\rho(x)$ e estimativas de núcleo de calor melhoradas (especificamente, limites envolvendo $\rho(x)$ e o núcleo de calor euclidiano).
4. Análise Assintótica: O trabalho técnico central envolve analisar o comportamento dos quocientes de diferença $\frac{L_V^s f - f}{s}$ e suas derivadas de ordem superior em relação a $s$ conforme $s \to 0^+$. Os autores decompõem as representações integrais em partes localizadas e não localizadas para lidar com a singularidade em $t=0$ e o comportamento no infinito, utilizando as propriedades da função Gamma e da função de raio crítico.

Principais Contribuições e Resultados

• Definição de Operadores Logarítmicos de Ordem Superior: O artigo define rigorosamente o operador de Schrödinger logarítmico de ordem $m$, $\log^m L_V$, via medida espectral. Ele estende ainda a definição do operador $\text{Log}^k L_V$ (que atua como o limite pontual das derivadas das potências fracionárias) para funções em espaços Lipschitz locais intersectados com espaços $L^1$ ponderados.
• Expansões Assintóticas em $L^2$: O Teorema 1.1 estabelece expansões de Taylor para $L_V^s f$ e $L_V^{-s} f$ em $L^2(\mathbb{R}^d)$ para funções no domínio dos operadores logarítmicos. Especificamente, para $f \in D(\log^{m+1} L_V) \cap D(L_V^{s_0})$:
  $$L_V^s f - \sum_{k=0}^m \frac{s^k}{k!} (\log^k L_V)f = o(s^m) \quad \text{conforme } s \to 0^+.$$
  Uma expansão semelhante é fornecida para potências negativas com sinais alternados.
• Convergência em $L^p$ e $L^\infty$: O Teorema 1.2 e o Teorema 1.3 estendem esses resultados para $L^p(\mathbb{R}^d)$ ($1 < p < \infty$) e $L^\infty(K)$ para conjuntos compactos $K$. Estes resultados valem para funções em $C_c(\mathbb{R}^d) \cap \text{Lip}_{\text{loc,uni}}^\theta(\mathbb{R}^d)$ e $L^1 \cap L^\infty \cap \text{Lip}_{\text{loc,uni}}^\theta(\mathbb{R}^d)$. As expansões são dadas por:
  $$\lim_{s \to 0^+} \frac{L_V^s f - f - \sum_{k=1}^{n-1} \frac{s^k}{k!} (\text{Log}^k L_V)f}{s^n/n!} = (\text{Log}^n L_V)f.$$
• Representação Pontual: O artigo fornece representações integrais pontuais explícitas para os operadores $\text{Log}^k L_V$, generalizando a representação conhecida para $\log L_V$ encontrada em [1]. Estas representações envolvem integrais do núcleo de calor $T_t^V(x, y)$ e da função de raio crítico $\rho(x)$, destacando que os termos de correção não são constantes (ao contrário do caso do Laplaciano puro) devido à natureza não Markoviana do semigrupo.
• Aplicação a Equações Fracionárias: O Corolário 1.4 demonstra que estas expansões podem ser usadas para descrever a solução $u_{f,s} = L_V^{-s} f$ da equação $L_V^s u = f$ com condições de contorno nulas no infinito, fornecendo uma série assintótica em termos dos operadores logarítmicos conforme $s \to 0$.

Significância e Alegações
Os autores alegam que este trabalho generaliza resultados anteriores sobre o Laplaciano logarítmico (especificamente aqueles de Chen [5] e Chen-Weth [9]) para o cenário do operador de Schrödinger com potenciais não triviais. Um aspecto significativo do artigo é o tratamento dos fatores de correção não constantes decorrentes do potencial $V$, o que exige o uso da função de raio crítico $\rho(x)$ e condições específicas de Hölder reversa. Os resultados fornecem um arcabouço rigoroso para compreender o comportamento das potências fracionárias de operadores de Schrödinger próximo à identidade (isto é, conforme a ordem se aproxima de zero) através de suas derivadas logarítmicas. O artigo não propõe novas aplicações experimentais, mas estabelece a base teórica para expansões assintóticas neste contexto específico de teoria de operadores.