2025-11-15T15:25:11.913329

Nonlocal discrete diffusion equations and the fractional discrete Laplacian, regularity and applications

Ciaurri, Roncal, Stinga et al.
The analysis of nonlocal discrete equations driven by fractional powers of the discrete Laplacian on a mesh of size $h>0$ \[ (-Δ_h)^su=f, \] for $u,f:\mathbb{Z}_h\to\mathbb{R}$, $0<s<1$, is performed. The pointwise nonlocal formula for $(-Δ_h)^su$ and the nonlocal discrete mean value property for discrete $s$-harmonic functions are obtained. We observe that a characterization of $(-Δ_h)^s$ as the Dirichlet-to-Neumann operator for a semidiscrete degenerate elliptic local extension problem is valid. Regularity properties and Schauder estimates in discrete Hölder spaces as well as existence and uniqueness of solutions to the nonlocal Dirichlet problem are shown. For the latter, the fractional discrete Sobolev embedding and the fractional discrete Poincaré inequality are proved, which are of independent interest. We introduce the negative power (fundamental solution) \[ u=(-Δ_h)^{-s}f, \] which can be seen as the Neumann-to-Dirichlet map for the semidiscrete extension problem. We then prove the discrete Hardy--Littlewood--Sobolev inequality for $(-Δ_h)^{-s}$. As applications, the convergence of our fractional discrete Laplacian to the (continuous) fractional Laplacian as $h\to0$ in Hölder spaces is analyzed. Indeed, uniform estimates for the error of the approximation in terms of $h$ under minimal regularity assumptions are obtained. We finally prove that solutions to the Poisson problem for the fractional Laplacian \[ (-Δ)^sU=F, \] in $\mathbb{R}$, can be approximated by solutions to the Dirichlet problem for our fractional discrete Laplacian, with explicit uniform error estimates in terms of~$h$.
academic

Ecuaciones de difusión discreta no local y el Laplaciano fraccionario discreto, regularidad y aplicaciones

Información Básica

  • ID del Artículo: 1608.08913
  • Título: Ecuaciones de difusión discreta no local y el Laplaciano fraccionario discreto, regularidad y aplicaciones
  • Autores: Óscar Ciaurri, Luz Roncal, Pablo Raúl Stinga, José L. Torrea, Juan Luis Varona
  • Clasificación: math.AP cs.NA math.CA math.FA math.NA math.PR
  • Fecha de Publicación: 21 de marzo de 2018 (v2)
  • Enlace del Artículo: https://arxiv.org/abs/1608.08913

Resumen

En este artículo se realiza un análisis profundo de ecuaciones discretas no locales (−Δh)su=f(-\Delta_h)^s u = f impulsadas por potencias fraccionarias del operador Laplaciano discreto, donde u,f:Zh→Ru,f: \mathbb{Z}_h \to \mathbb{R}, 0<s<10 < s < 1, y h>0h > 0 es el tamaño de malla. Se obtienen fórmulas puntuales no locales para (−Δh)su(-\Delta_h)^s u y propiedades de valor medio no local para funciones ss-armónicas discretas. Se demuestra que (−Δh)s(-\Delta_h)^s puede caracterizarse como el operador de Dirichlet-to-Neumann de un problema de extensión elíptico degenerado semidiscreto. Se establecen propiedades de regularidad en espacios de Hölder discretos y estimaciones de Schauder, así como existencia y unicidad de soluciones para el problema de Dirichlet no local. Se introducen potencias negativas (soluciones fundamentales) u=(−Δh)−sfu = (-\Delta_h)^{-s}f y se demuestran las correspondientes desigualdades discretas de Hardy-Littlewood-Sobolev. Como aplicaciones, se analiza la convergencia del Laplaciano fraccionario discreto hacia el Laplaciano fraccionario continuo en espacios de Hölder cuando h→0h \to 0, y se demuestra que las soluciones del problema de Poisson fraccionario continuo pueden aproximarse mediante soluciones del problema de Dirichlet del Laplaciano fraccionario discreto.

Antecedentes de Investigación y Motivación

Contexto del Problema

El operador Laplaciano fraccionario, como potencia fraccionaria del Laplaciano clásico, ha existido durante mucho tiempo en múltiples campos matemáticos incluyendo teoría del potencial, análisis armónico, cálculo fraccionario, análisis funcional y teoría de probabilidades. Durante la última década, las ecuaciones de difusión no local que involucran el operador Laplaciano fraccionario se han convertido en uno de los temas de investigación más candentes en el campo de las ecuaciones diferenciales parciales.

Problemas Centrales

  1. Desafíos de Discretización: La naturaleza no local y singular del operador Laplaciano fraccionario (−Δ)s(−\Delta)^s presenta dificultades principales para la aproximación numérica
  2. Carencia Teórica: Falta un marco teórico sistemático para el operador Laplaciano fraccionario discreto
  3. Análisis de Convergencia: Se requieren garantías teóricas rigurosas para la convergencia del modelo discreto hacia el modelo continuo

Motivación de la Investigación

  • Establecer un sistema teórico completo para el operador Laplaciano fraccionario discreto
  • Proporcionar métodos de aproximación discreta efectivos para problemas continuos
  • Proporcionar estimaciones de error explícitas bajo hipótesis de regularidad mínima

Contribuciones Principales

  1. Se establece un marco teórico completo para el operador Laplaciano fraccionario discreto, incluyendo fórmulas puntuales, estimaciones del núcleo y propiedades fundamentales
  2. Se demuestra la teoría de regularidad en espacios de Hölder discretos, incluyendo estimaciones de Schauder y principios del máximo
  3. Se establecen incrustaciones de Sobolev fraccionarias discretas y desigualdades de Poincaré, proporcionando fundamentos teóricos para el problema de Dirichlet no local
  4. Se proporcionan desigualdades discretas de Hardy-Littlewood-Sobolev, completando la teoría de integrales fraccionarias discretas
  5. Se demuestra convergencia uniforme hacia el operador Laplaciano fraccionario continuo, proporcionando estimaciones de error explícitas en espacios de Hölder
  6. Se establece la teoría de aproximación discreta para soluciones del problema de Poisson continuo, proporcionando estimaciones de error en la norma L∞L^\infty

Explicación Detallada de Métodos

Definición de la Tarea

Se estudian ecuaciones de difusión discreta no local en la malla Zh={hj:j∈Z}\mathbb{Z}_h = \{hj : j \in \mathbb{Z}\}: (−Δh)su=f(-\Delta_h)^s u = f donde u,f:Zh→Ru, f: \mathbb{Z}_h \to \mathbb{R}, 0<s<10 < s < 1, y h>0h > 0.

Marco Técnico Principal

1. Definición mediante Método de Semigrupos

La potencia fraccionaria del operador Laplaciano discreto se define mediante el método de semigrupos: (−Δh)suj=1Γ(−s)∫0∞(etΔhuj−uj)dtt1+s(-\Delta_h)^s u_j = \frac{1}{\Gamma(-s)} \int_0^\infty \left(e^{t\Delta_h}u_j - u_j\right) \frac{dt}{t^{1+s}}

donde wj(t)=etΔhujw_j(t) = e^{t\Delta_h}u_j es la solución de la ecuación del calor semidiscreta:

undefined