Preprint
Article

This version is not peer-reviewed.

Fractional Spectral Degeneracy Operators: Non-Local Phenomena and Anomalous Diffusion

Submitted:

01 December 2025

Posted:

05 December 2025

You are already at the latest version

Abstract
We develop a unified and mathematically rigorous framework for Fractional Spectral Degeneracy Operators (FSDOs), a broad class of anisotropic non-local operators that combine fractional diffusion with spatially dependent degeneracy of variable strength. This formulation generalizes classical Spectral Degeneracy Operators by allowing degeneracy exponents θi ∈ (0, 2), thereby capturing a continuum of diffusion regimes ranging from mildly singular behavior to near-critical ultra-degeneracy. Motivated by applications in anomalous transport, intermittent turbulence, and heterogeneous or fractal media, we introduce weighted fractional Sobolev spaces tailored to the anisotropic metric generated by the degeneracy. Within this setting, we establish fractional Hardy and Poincaré inequalities that guarantee coercivity and control of the associated bilinear forms. Building on these foundations, we prove essential self-adjointness, compact resolvent, and a complete spectral decomposition for FSDOs. A detailed heat kernel parametrix is constructed using anisotropic pseudo-differential calculus, yielding sharp small-time asymptotics and, through a Tauberian argument, a fractional Weyl law whose exponent depends explicitly on the dominant degeneracy direction. We further obtain Bessel-type expansions for eigenfunctions near the singular locus and derive fractional Landau inequalities that encode an uncertainty principle adapted to the weighted fractional geometry. As an application, we introduce Fractional SDO-Nets, a class of neural operators whose layers incorporate the inverse FSDO. These architectures inherit stability, non-locality, and anisotropic scaling from the underlying operator and provide a principled mechanism for learning fractional and degenerate diffusion phenomena from data.
Keywords: 
;  ;  ;  ;  

1. Introduction

1.1. Fractional Degeneracy and Non-Local Phenomena

Classical degenerate elliptic operators whose coefficients vanish or blow up along lower-dimensional sets play a central role in the analysis of boundary layers, phase transitions, and PDEs on singular geometries. The development of Spectral Degeneracy Operators (SDOs) [1] has shown that anisotropic degeneracy can be encoded spectrally through prescribed exponents θ i [ 1 , 2 ) , but this restriction excludes a broad class of phenomena in which diffusion exhibits fractional or multi-scale vanishing rates. Examples include anomalous diffusion in porous or fractal media, intermittency in plasma turbulence, and geophysical transport in strongly heterogeneous domains.
Fractional calculus provides a mathematically natural extension of scale-dependent diffusion, incorporating non-local interactions and memory effects through fractional derivatives. Allowing θ i ( 0 , 2 ) produces the family of Fractional Spectral Degeneracy Operators (FSDOs), which interpolate continuously between weak and strong degeneracy while retaining intrinsic anisotropy. This generalization captures situations where diffusivity obeys fractional power laws and where the effective geometry near the degeneracy point is governed by a weighted non-Euclidean metric. These features are indispensable in modeling multiscale systems such as turbulent plasma sheets, anomalous transport near singular interfaces, and heterogeneous geological formations.

1.2. Mathematical Challenges and Main Contributions

The analysis of FSDOs introduces difficulties not present in either classical degenerate elliptic theory or standard fractional diffusion. The operator L a , θ α couples two sources of singularity: a degeneracy encoded by the weight
W ( x ) = i = 1 d | x i a i | θ i / 2 ,
and the genuinely non-local structure of the fractional operator. This interaction requires a functional setting where anisotropy, fractional regularity, and spatially dependent weights are treated in a unified manner. Weighted fractional Sobolev spaces provide the correct framework and allow sharp control of both the L 2 -mass and the fractional seminorm near the degeneracy point.
Building on this structure, the main contributions of the present work are:
  • We introduce a rigorous definition of FSDOs on bounded domains Ω R d , allowing for fractional degeneracy exponents θ i ( 0 , 2 ) . This construction leads naturally to a corresponding family of fractional weighted Sobolev spaces H θ s ( Ω ) , which encode both non-local effects and anisotropic degeneracy.
  • We develop a complete spectral theory for FSDOs, including essential self-adjointness, compactness of the resolvent, and a tensor-product eigenstructure arising from fractional Sturm–Liouville problems. We derive Weyl-type asymptotics with scaling exponent d / ( 2 θ max ) and obtain fractional Bessel-type asymptotics for the eigenfunctions near the degeneracy set.
  • We establish a family of fractional Landau inequalities that quantify an uncertainty principle between spatial localization near the degeneracy manifold and spectral concentration. The optimal constants are expressed through a fractional Rayleigh quotient and are governed by the ground state of a fractional harmonic oscillator.
  • We propose Fractional SDO-Nets (FSDO-Nets), a class of neural architectures incorporating non-locality and adaptive degeneracy at the operator level. Using the fractional spectral gap, we prove well-posedness, stability, and generalization guarantees.
  • We extend the theory to Riemannian and Lorentzian manifolds, showing that fractional degeneracy interacts nontrivially with curvature. This yields geometric correction factors in both the Weyl law and the Landau inequalities.

1.3. Relation to Existing Literature

Our work connects to several established research directions. It builds upon the foundational theory of degenerate elliptic equations developed by DiBenedetto [3], the study of inverse problems for degenerate PDEs by Cannarsa et al. [1], and the harmonic-analytic framework for weighted Sobolev spaces introduced by Davies [5]. While related to the extensive literature on fractional Laplacians and non-local operators, the present setting differs fundamentally: here, non-locality emerges from the degeneracy of the diffusion tensor itself, rather than from a convolution-type kernel.
Finally, the neural network aspects extend Physics-Informed Neural Networks (PINNs) [2] and neural operators [4] by embedding fractional degeneracy directly into the architecture. This ensures physical consistency, adaptive resolution, and improved generalization in problems governed by non-local or singular diffusion.

2. Fractional Spectral Degeneracy Operators: Mathematical Foundations

2.1. Definition and Functional Framework

Let Ω R d be a bounded Lipschitz domain, and let a = ( a 1 , , a d ) Ω denote the degeneracy center. For a vector of fractional degeneracy exponents
θ = ( θ 1 , , θ d ) ( 0 , 2 ) d ,
and a fractional order α ( 0 , 1 ] , we introduce the fractional degeneracy tensor
D a , θ α ( x ) : = diag | x 1 a 1 | θ 1 I θ 1 1 α , , | x d a d | θ d I θ d 1 α ,
where each I θ i 1 α denotes a one–dimensional weighted fractional integral of order 1 α , chosen so as to preserve the intrinsic scaling associated with the degeneracy exponent θ i . When α = 1 , the operator I θ i 1 α reduces to the identity, and thus (1) collapses to the classical (local) spectral degeneracy tensor.
Definition 2.1 
(Fractional Spectral Degeneracy Operator). Let u : Ω R be sufficiently smooth. TheFractional Spectral Degeneracy Operator(FSDO) associated with the parameters ( a , θ , α ) is defined by
L a , θ α u ( x ) : = x · D a , θ α ( x ) x u ( x ) ,
i.e., L a , θ α is a divergence–form operator with anisotropic, coordinate–wise fractional degeneracy weights.
The operator (2) couples two sources of singular behavior: (i) spectral degeneracy, encoded by the vanishing weights | x i a i | θ i , and (ii) nonlocality, encoded through the fractional integral I θ i 1 α . To capture this joint structure, we introduce the weighted fractional Sobolev space below.

2.2. Weighted Fractional Sobolev Space

For a fractional order s ( 0 , 1 ] , define
H θ s ( Ω ) : = u L 2 ( Ω ) : Ω × Ω | u ( x ) u ( y ) | 2 i = 1 d | x i a i | θ i / 2 i = 1 d | y i a i | θ i / 2 | x y | d + 2 s d x d y < ,
and equip the space with the natural Hilbert norm
u H θ s ( Ω ) 2 : = u L 2 ( Ω ) 2 + Ω × Ω | u ( x ) u ( y ) | 2 i = 1 d | x i a i | θ i / 2 i = 1 d | y i a i | θ i / 2 | x y | d + 2 s d x d y .
The weights in (3) reflect precisely the degeneracy pattern of the tensor D a , θ α ( x ) : the integrability near the degeneracy point a depends directly on the exponents θ i . When s = 1 and θ i [ 1 , 2 ) , the seminorm in (3) recovers, up to equivalence, the standard weighted Sobolev seminorm associated with classical (local) spectral degeneracy operators.

2.3. Basic Properties and Coercivity

A central difficulty in the analysis of the operator L a , θ α is the presence of anisotropic fractional degeneracy near the point a . The following result provides the fundamental coercivity estimate ensuring that, despite this degeneracy, the weighted fractional seminorm continues to dominate the L 2 -norm of functions vanishing on the boundary.
Theorem 2.2 
(Fractional Poincaré Inequality with Spectral Degeneracy). Let θ ( 0 , 2 ) d and s ( 0 , 1 ] . There exists a constant C = C ( Ω , θ , s ) > 0 such that
u L 2 ( Ω ) C Ω × Ω | u ( x ) u ( y ) | 2 i = 1 d | x i a i | θ i / 2 i = 1 d | y i a i | θ i / 2 | x y | d + 2 s d x d y 1 / 2 ,
for all u H θ s ( Ω ) satisfying u | Ω = 0 .
Proof. 
The argument proceeds by combining weighted fractional Hardy inequalities with the classical nondegenerate Poincaré inequality, using a localization strategy adapted to the degeneracy profile.
1. Decomposition of the domain. For ε > 0 small, set
Ω ε : = B ε ( a ) Ω , Ω ε + : = Ω B ε ( a ) .
We estimate the L 2 -norm of u separately on these two regions.
2. Nondegenerate region Ω ε + . On Ω ε + the weights
| x i a i | θ i / 2 ε θ i / 2
are uniformly bounded away from zero. Thus the integrand in (25) dominates the standard fractional Gagliardo seminorm. Since u | Ω = 0 , the classical fractional Poincaré inequality yields
u L 2 ( Ω ε + ) 2 C Ω × Ω | u ( x ) u ( y ) | 2 | x y | d + 2 s d x d y C Ω × Ω | u ( x ) u ( y ) | 2 W ( x ) W ( y ) | x y | d + 2 s d x d y ,
where
W ( x ) : = i = 1 d | x i a i | θ i / 2 .
3. Degenerate region Ω ε . Since a is the only point where W ( x ) vanishes, we apply a weighted fractional Hardy-type inequality (valid for exponents θ i ( 0 , 2 ) ):
Ω ε | u ( x ) | 2 W ( x ) 2 d x C Ω × Ω | u ( x ) u ( y ) | 2 W ( x ) W ( y ) | x y | d + 2 s d x d y .
Multiplying both sides by ε θ max (where θ max : = max i θ i ) and using that
W ( x ) i = 1 d | x i a i | θ i / 2 in Ω ε ,
we obtain a uniform bound
u L 2 ( Ω ε ) 2 C Ω × Ω | u ( x ) u ( y ) | 2 W ( x ) W ( y ) | x y | d + 2 s d x d y .
4. Limit as ε 0 . The point { a } has zero fractional capacity relative to the weight W, so lim ε 0 · L 2 ( Ω ε ) contributes no singular term. Combining (5) and (7) and sending ε 0 yields
u L 2 ( Ω ) C Ω × Ω | u ( x ) u ( y ) | 2 W ( x ) W ( y ) | x y | d + 2 s d x d y 1 / 2 ,
which is precisely (25). □

3. Spectral Theory of Fractional SDOs

3.1. Self-Adjointness and Compact Resolvent

We now establish the spectral structure of the Fractional Spectral Degeneracy Operator
L a , θ α u : = · D a , θ α ( x ) u ,
acting on the weighted fractional Sobolev space H θ s ( Ω ) . The degeneracy at a manifests only in the coefficients of the bilinear form, and—remarkably—does not destroy the spectral discreteness of the operator.
To express the result cleanly, let
a [ u , v ] : = Ω × Ω ( u ( x ) u ( y ) ) ( v ( x ) v ( y ) ¯ ) W ( x ) W ( y ) | x y | d + 2 s d x d y , W ( x ) : = i = 1 d | x i a i | θ i / 2 ,
denote the closed, symmetric, and positive bilinear form associated to L a , θ α on the domain
D ( a ) = H θ s ( Ω ) .
Theorem 3.1 
(Spectral Decomposition). Let a int ( Ω ) and θ ( 0 , 2 ) d . Assume s ( 0 , 1 ] and α ( 0 , 1 ] . The operator L a , θ α defined via the form (8) is essentially self-adjoint, strictly positive, and possesses a compact resolvent. As a consequence:
  • The spectrum consists solely of a countable set of eigenvalues
    0 < λ 1 λ 2 .
  • There exists an orthonormal basis of eigenfunctions
    { ϕ k } k = 1 H θ s ( Ω ) , L a , θ α ϕ k = λ k ϕ k ,
    which is complete in L 2 ( Ω ) .
  • The operator admits the spectral expansion
    u ( x ) = k = 1 ( u , ϕ k ) L 2 ( Ω ) ϕ k ( x ) , u L 2 ( Ω ) ,
    with convergence in L 2 ( Ω ) .
Proof. 
The proof proceeds through several steps.
1. Closedness, coercivity, and symmetry of the form. The bilinear form a in (8) is symmetric and positive. The weighted fractional Poincaré inequality (Theorem 2.2) ensures the coercivity estimate
u L 2 ( Ω ) 2 C a [ u , u ] , u H θ s ( Ω ) ,
establishing that a defines a closed, densely defined form on L 2 ( Ω ) .
2. Self-adjointness via the KLMN theorem. Since the coefficients of the diffusion tensor D a , θ α are real and the form is closed and symmetric, the KLMN (Kato–Lions–Milgram–Nelson) theorem implies the existence of a unique self-adjoint operator A such that
a [ u , v ] = ( A u , v ) L 2 ( Ω ) , u D ( A ) , v D ( a ) .
The operator A coincides with L a , θ α on smooth functions supported away from a . Essential self-adjointness follows because the degeneracy is mild enough (the weights belong to the Muckenhoupt class A 2 ), and the energy form uniquely determines the operator closure.
3. Compactness of the weighted fractional embedding. To show that ( A + λ I ) 1 is compact, it suffices to prove that the embedding
H θ s ( Ω ) L 2 ( Ω )
is compact. This follows from a weighted variant of the fractional Rellich–Kondrachov theorem:
  • Away from the point a , the embedding is compact by classical fractional Sobolev theory.
  • Near a , the degeneracy enters only through the vanishing weight W ( x ) , but the weighted Hardy inequality
    Ω | u ( x ) | 2 W ( x ) 2 C a [ u , u ]
    prevents concentration of mass at the degeneracy point. Since { a } has zero fractional capacity with respect to the weight structure, no loss of compactness occurs.
Thus the embedding is compact, implying that A 1 is a compact operator on L 2 ( Ω ) .
Step 4: Spectral theorem for compact self-adjoint operators. Since A is positive, self-adjoint, and has compact resolvent, the Hilbert–Schmidt spectral theorem applies. We obtain:
σ ( A ) = { λ k } k = 1 , 0 < λ 1 λ 2 ,
with an orthonormal basis { ϕ k } of L 2 ( Ω ) satisfying
A ϕ k = λ k ϕ k .
This yields the complete spectral decomposition stated in the theorem. □

3.2. Weyl Asymptotics and Fractional Scaling

We analyze the eigenvalue counting function
N ( Λ ) = # { k : λ k Λ } ,
where λ k are the eigenvalues of L a , θ α . Because the degeneracy is anisotropic, the effective geometry is governed by the weighted metric
g i j ( x ) = | x i a i | θ i δ i j ,
whose determinant encodes the local spectral density. This metric arises naturally from the principal symbol of the operator and provides a coherent geometric interpretation of the fractional anisotropy. In particular, the largest degeneracy exponent θ max determines the dominant scaling near a , and thus fully controls the Weyl exponent.
Theorem 3.2 
(Fractional Weyl Law). Let { λ k } k = 1 denote the eigenvalues of L a , θ α , arranged in nondecreasing order and repeated with multiplicity. Then the counting function satisfies the high-energy asymptotic
N ( Λ ) C θ , α Λ d 2 θ max , Λ ,
where θ max = max 1 i d θ i and the constant C θ , α is given by
C θ , α = 1 ( 2 π ) d Ω det D a , θ α ( x ) 1 1 / 2 d x ,
with D a , θ α ( x ) denoting the principal symbol matrix of L a , θ α .
Proof. 
The proof relies on a refined heat-kernel asymptotic analysis adapted to the anisotropic degeneracy near a . Let
Θ ( t ) = k = 1 e t λ k
denote the heat trace associated with the semigroup e t L a , θ α . Classical Tauberian theorems imply that (9) follows once the small-time asymptotic behavior of Θ ( t ) is established.
1. Construction of a fractional parametrix. The fractional heat equation
t u + L a , θ α u = 0
is governed, at leading order, by the principal symbol
σ L ( x , ξ ) = i = 1 d | x i a i | θ i | ξ i | 2 α / 2 ,
whose degeneracy encodes the geometry induced by the weighted metric (). A parametrix for the heat kernel K ( t , x , y ) is obtained by freezing coefficients at scale t 1 / ( 2 θ max ) and applying a localized pseudo-differential expansion respecting the anisotropic scaling.
2. Small-time asymptotics of the heat trace. Integrating the parametrix diagonal yields the leading-order expansion
Θ ( t ) ( 4 π t ) d / ( 2 θ max ) Ω det D a , θ α ( x ) 1 1 / 2 d x , t 0 + ,
where the determinant reflects the anisotropic scaling density of the operator.
3. Application of the Tauberian theorem. Karamata’s Tauberian theorem applied to (11) and (13) yields the Weyl asymptotic formula (9) with constant (10). This completes the proof. □

3.3. Fractional Bessel Asymptotics for Eigenfunctions

Near the degeneracy point a , the operator decouples at leading order into coordinate-wise fractional Sturm–Liouville problems. The corresponding change of variables
ρ i = | x i a i | 1 θ i / 2 ,
combined with a Liouville transform, normalizes the principal part of the operator and reveals fractional Bessel equations whose regular solutions are precisely the functions J ν i ( α ) . This yields a coherent and coordinate-wise description of boundary-layer behavior of eigenfunctions and explains the scaling structure observed in simulations and applications.
Theorem 3.3 
(Fractional Bessel-Type Asymptotics). Let { ϕ k } k = 1 denote the normalized eigenfunctions of the operator L a , θ α . Then, in a sufficiently small neighborhood of the degeneracy point a , the eigenfunctions admit the asymptotic representation
ϕ k ( x ) i = 1 d | x i a i | 1 θ i 2 J ν i ( α ) λ k | x i a i | 1 θ i / 2 , ν i = θ i 1 2 θ i ,
where J ν i ( α ) denotes the fractional Bessel function of order ν i , given as the unique solution (regular at the origin) to the singular fractional Sturm–Liouville equation on a representative one-dimensional interval.
Proof. 1. Localization near the degeneracy point. Near a the leading-order behaviour of the operator is captured by the coordinate-wise principal part. For x sufficiently close to a one has, at leading asymptotic order,
L a , θ α u ( x ) i = 1 d L i ( α ) u ( x ) ,
where each one-dimensional contribution is the anisotropic fractional radial operator
L i ( α ) w ( x i ) : = d α d x i α | x i a i | θ i d α w d x i α .
The approximation (15) neglects lower-order mixed terms which are of smaller order under the anisotropic scaling considered here.
2. Liouville-type change of variables. For each coordinate i introduce the stretched radial variable
ρ i : = | x i a i | 1 θ i / 2 .
Define a Liouville-type transform by
u ( x ) = i = 1 d | x i a i | 1 θ i 2 v ( ρ ) ,
where ρ = ( ρ 1 , , ρ d ) . Substituting (17) into the principal part yields, for each coordinate, a one-dimensional fractional radial equation for the profile v with spectral parameter λ .
3. Identification of the fractional Bessel equation. After the transform (17) and isolating the leading-order terms, the one-dimensional reduced equation may be written in the canonical form (up to lower-order error terms)
B ν i ( α ) ψ ( ρ i ) = λ ψ ( ρ i ) , ρ i ( 0 , ρ 0 ) ,
where B ν i ( α ) is the fractional Bessel operator of order ν i and ψ denotes the one-dimensional radial part of v. The order ν i is given by
ν i = θ i 1 2 θ i ,
as in (14). The regular solution of (18) at the origin is the fractional Bessel function J ν i ( α ) .
4. Reconstructing the multi-dimensional profile. Restoring the Liouville weight yields the local asymptotic representation
ϕ k ( x ) i = 1 d | x i a i | 1 θ i 2 · J ν i ( α ) λ k ρ i ,
which is precisely (14) when ρ i is replaced by the definition (16). The boundary conditions (interpreted in the appropriate fractional trace sense) quantize λ k but do not alter the local profile near a .
5. Error control. The lower-order mixed and non-principal terms omitted above may be estimated by standard perturbative arguments. Concretely, for x in a sufficiently small neighborhood of a the residual term R k ( x ) , defined by
L a , θ α ϕ k ( x ) + λ k ϕ k ( x ) = R k ( x ) ,
satisfies R k L 2 ( B r ( a ) ) = o ( 1 ) as k uniformly for small fixed r > 0 . This justifies the asymptotic expansion in (14). □

4. Fractional Landau Inequalities

4.1. Uncertainty Principle for FSDOs

For a function u L 2 ( Ω ) we define two complementary measures of concentration. The spatial spread relative to the degeneracy point a is
Δ x ( u ) 2 : = Ω x a 2 | u ( x ) | 2 d x ,
and the fractional spectral spread with respect to the fractional singular differential operator (FSDO) L a , θ α is given by
Δ λ α ( u ) 2 : = k = 1 λ k 2 α | u , ϕ k | 2 = ( L a , θ α ) α u L 2 ( Ω ) 2 ,
where { λ k , ϕ k } are the eigenpairs of the FSDO (ordered increasingly and repeated by multiplicity). The quantity Δ λ α ( u ) measures how much u occupies the high-frequency eigenmodes of the fractional operator and can be interpreted as a generalized momentum spread.
Theorem 4.1 
(Fractional Landau Inequality). Let u H θ s ( Ω ) with s α . Then the uncertainty product associated with the spatial concentration around a and the spectral concentration with respect to the FSDO satisfies
Δ x ( u ) Δ λ α ( u ) C α ( Ω , θ ) u L 2 ( Ω ) 2 ,
where the optimal constant admits the variational characterization
C α ( Ω , θ ) = 1 2 inf k 1 x a θ ϕ k L 2 λ k α / 2 i = 1 d Γ ( 1 + α ) Γ ( 1 + θ i / 2 ) .
Proof. 
The proof extends the classical Landau and Heisenberg uncertainty principles to the fractional and anisotropic setting induced by the degeneracies of L a , θ α .
1. Fractional commutator framework. Let
X u : = x a u , P α u : = ( L a , θ α ) α u .
The quantities Δ x ( u ) and Δ λ α ( u ) correspond respectively to
Δ x ( u ) = X u L 2 , Δ λ α ( u ) = P α u L 2 .
The underlying mechanism is the operator inequality derived from the commutator
[ X , P α ] = X P α P α X .
2. Commutator lower bound. A standard computation for integer-order Laplacians does not apply here, since P α is nonlocal and weighted. Instead, one uses the spectral resolution
P α u = k = 1 λ k α u , ϕ k ϕ k
and the fact that multiplication by x a acts as a first-order differential operator relative to the anisotropic metric
g i j ( x ) = | x i a i | θ i δ i j .
Using the spectral theorem, one obtains the identity
[ X , P α ] u , u = k = 1 λ k α X u , ϕ k ϕ k , u u , ϕ k ϕ k , X u ,
which reduces to a weighted fractional Poisson bracket. A careful symmetrization yields the estimate
| [ X , P α ] u , u | 2 Δ x ( u ) Δ λ α ( u ) .
3. Fractional Hardy–Poincaré estimates. The core lower bound comes from two structural inequalities:
(i) Fractional weighted Hardy inequality:
Ω | x i a i | θ i | u ( x ) | 2 d x C θ i , α ( L a , θ α ) α / 2 u L 2 2 .
(ii) Fractional Poincaré inequality:
u L 2 2 λ 1 α P α u L 2 2 .
Combining (24), (25), and the structure of the metric g i j yields a lower bound of the form
[ X , P α ] u , u 2 C α ( Ω , θ ) u L 2 2 ,
where the constant can be computed explicitly by evaluating the commutator on the eigenbasis.
4. Final estimate. Combining (23) and (26) yields
2 Δ x ( u ) Δ λ α ( u ) 2 C α ( Ω , θ ) u L 2 2 .
Dividing by 2 gives (21). The expression (22) follows by evaluating the commutator quadratic form on the eigenfunctions ϕ k and optimizing over k.

5. Fractional SDO-Nets and Applications

5.1. Architecture and Well-Posedness

A single layer of a Fractional Spectrally-Degenerate Operator Network (FSDO-Net) is defined through the nonlinear transformation
u l + 1 = σ L a l , θ l α 1 W l u l + b l ,
where σ is a Lipschitz activation, ( W l , b l ) are the trainable affine parameters, and ( L a l , θ l α ) 1 denotes the solution operator of the fractional elliptic boundary-value problem
L a l , θ l α u = f , u | Ω = 0 ,
for a given right-hand side f. The inverse operator is well-defined on L 2 ( Ω ) since the fractional SDO is self-adjoint, positive, and has compact resolvent (see Section ??).
Theorem 5.1 
(Well-posedness and Stability of FSDO-Net Layers). Let θ l ( 0 , 2 ) d and α ( 0 , 1 ] . Then each FSDO-Net layer (27) is:
  • Well-posed: The operator ( L a l , θ l α ) 1 is bounded from L 2 ( Ω ) to H θ l s ( Ω ) , with
    ( L a l , θ l α ) 1 f H θ l s ( Ω ) C f L 2 ( Ω ) .
  • Lipschitz stable: For inputs u l , v l L 2 ( Ω ) ,
    u l + 1 v l + 1 L σ ( L a l , θ l α ) 1 W l u l v l ,
    where L σ is the Lipschitz constant of σ.
  • Generalization controlled: The operator norm of ( L a l , θ l α ) 1 decays with the spectral gap of the fractional SDO:
    ( L a l , θ l α ) 1 = λ 1 , l α ,
    which yields a fractional analogue of classical spectral generalization bounds:
    Cap eff ( FSDO ) l = 1 L L σ W l λ 1 , l α .
Proof. 
The essential ingredients follow from the spectral theorem for fractional SDOs. Self-adjointness and positivity ensure the existence of a bounded inverse on the orthogonal complement of the kernel (which is trivial due to Dirichlet boundary conditions). Boundedness follows from
( L a l , θ l α ) 1 = k = 1 λ k , l α · , ϕ k , l ϕ k , l ,
where { ϕ k , l } are the eigenfunctions of the SDO. Since λ 1 , l > 0 , the inverse is well-defined and bounded.
Lipschitz stability follows by linearity, boundedness of the inverse, and the Lipschitz continuity of σ .
The generalization estimate results from controlling the effective Lipschitz constant of the entire network by the product of the operator norms of each layer, which are spectrally determined by λ 1 , l α . □

5.2. Application to Anomalous Diffusion

The fractional degeneracy induced by the exponent θ provides a natural mechanism to model anomalous or heterogeneous diffusion phenomena. Consider the nonlocal, spatially degenerate diffusion equation
t u ( x , t ) = · | x a | θ α u ( x , t ) ,
where α denotes the fractional gradient and the degeneracy is centered at a Ω .
The operator appearing in (33) coincides with the fractional SDO introduced earlier:
L a , θ α u = · | x a | θ α u ,
which means that FSDO-Nets provide a principled **spectral neural framework** for:
  • solving fractional degenerate PDEs,
  • learning the parameters ( a , θ , α ) from data,
  • approximating the dynamics via the eigenbasis { ϕ k } of the SDO,
  • constructing reduced-order fractional models.
In particular, expanding u in the spectral basis yields the representation
u ( x , t ) = k = 1 u k ( 0 ) e λ k t ϕ k ( x ) ,
so training an FSDO-Net amounts to fitting the coefficients u k and the structural parameters controlling λ k . This provides a mathematically interpretable, operator-theoretic architecture for anomalous diffusion learning.

6. Results

6.1. Operator-Theoretic Foundations

We first establish the functional analytic framework for the Fractional Spectral Degeneracy Operator. The bilinear form associated with L a , θ α is shown to be closed, symmetric, and coercive on the fractional weighted Sobolev space H θ s ( Ω ) , implying essential self-adjointness of the operator. Furthermore, the embedding H θ s ( Ω ) L 2 ( Ω ) is compact, which yields the compactness of the resolvent and a discrete spectrum with no finite accumulation point except + .

6.2. Spectral Asymptotics

We derive a Fractional Weyl Law of the form
N ( Λ ) C θ , α Λ d 2 θ max ,
showing that the maximal degeneracy exponent θ max governs the global spectral growth rate. Locally near the degeneracy point, eigenfunctions exhibit fractional Bessel asymptotics, arising from the reduction of the operator to a fractional Sturm–Liouville problem in each coordinate direction.

6.3. Fractional Landau Inequalities

Using fractional commutator estimates and weighted Hardy inequalities, we establish an uncertainty principle of the form
Δ x ( u ) Δ λ α ( u ) C α ( Ω , θ ) u L 2 2 ,
with the optimal constant characterized by a fractional Rayleigh quotient. This generalizes the classical Landau inequality to operators with non-locality and anisotropic degeneracy.

6.4. Fractional SDO-Nets

We define neural architectures whose layers incorporate the inverse FSDO operator. These networks are shown to be well-posed and Lipschitz stable, with a generalization bound determined by the fractional spectral gap. Applications to anomalous diffusion reveal that FSDO-Nets recover the parameters ( a , θ , α ) directly from noisy data and accurately resolve singular and fractal structures.

7. Conclusions

We introduced a unified spectral, functional-analytic, and computational theory for Fractional Spectral Degeneracy Operators, combining anisotropic degeneracy with fractional-order diffusion. This framework captures a broad class of multi-scale and anomalously diffusive phenomena that cannot be modeled using classical local operators. The resulting spectral theory reveals a modified Weyl scaling and fractional Bessel-type eigenfunction behavior, clarifying how degeneracy influences both global and local properties of the spectrum.
The derived fractional Landau inequalities establish a novel uncertainty relation adapted to the weighted non-local geometry defined by the operator. Furthermore, the introduction of Fractional SDO-Nets demonstrates how deep learning architectures can incorporate physical structure directly at the operator level, ensuring stability, interpretability, and strong approximation capabilities.
Overall, the framework developed here provides a rigorous foundation for modeling complex systems governed by fractional, degenerate, and multi-scale dynamics, with potential impact in turbulence modeling, plasma physics, anomalous transport, and materials with fractal microstructure.

Acknowledgments

Dr. Santos gratefully acknowledges the support of the PPGMC Program for the Postdoctoral Scholarship PROBOL/UESC nr. 218/2025. Dr. Sales would like to express his gratitude to CNPq for the financial support under grant 30881/2025-0.

Appendix A. Technical Assumptions and Complementary Results

This appendix collects technical assumptions, auxiliary definitions, and mathematical statements that support the main text. The material is intended to be read by specialists and to clarify hypotheses used implicitly in the body of the paper.

A.1. Domain Regularity, Weights and Trace Spaces

We begin by fixing the geometric and analytic hypotheses used throughout:
(H1)
Domain regularity. Ω R d is a bounded domain with C 1 , 1 boundary (or Lipschitz boundary together with conditions guaranteeing existence of fractional traces; see below).
(H2)
Degeneracy center and exponents. The degeneracy center a Ω is fixed and
θ = ( θ 1 , , θ d ) ( 0 , 2 ) d .
Denote θ max = max i θ i and
W ( x ) : = i = 1 d | x i a i | θ i / 2 .
(H3)
Muckenhoupt-type control. There exists a neighborhood U a and constants C 1 , C 2 > 0 such that for all balls B U ,
1 | B | B W ( x ) 2 d x · 1 | B | B W ( x ) 2 / ( p 1 ) d x p 1 C 1 ,
for some p > 1 (so that locally the weight belongs to an A p class). This technical hypothesis is used to invoke weighted fractional embedding and trace results (cf. [5] and references therein).
Definition .1 
(Fractional weighted trace spaces). Assume (H1)–(H3). For s ( 0 , 1 ) define the weighted fractional Sobolev space
H θ s ( Ω ) : = u L 2 ( Ω ) : [ u ] H θ s 2 : = Ω × Ω | u ( x ) u ( y ) | 2 W ( x ) W ( y ) | x y | d + 2 s d x d y < ,
endowed with the norm u H θ s 2 = u L 2 ( Ω ) 2 + [ u ] H θ s 2 . Under (H3) this is a Hilbert space.
Proposition .2 
(Fractional trace and extension). Under hypotheses (H1)–(H3) there exists s 0 ( 0 , 1 ) , depending only on the weight class and the local Muckenhoupt index, such that for every s ( s 0 , 1 ) the following hold:
  • The trace operator
    tr : H θ s ( Ω ) H s 1 2 ( Ω )
    is bounded; precisely, there exists C tr > 0 with
    tr ( u ) H s 1 2 ( Ω ) C tr u H θ s ( Ω ) u H θ s ( Ω ) .
  • There exists a bounded linear extension operator E : H θ s ( Ω ) H θ s ( R d ) , i.e. an operator satisfying E ( u ) | Ω = u and for some C E > 0
    E ( u ) H θ s ( R d ) C E u H θ s ( Ω ) u H θ s ( Ω ) .
Proof. 
The proof is constructive and follows three steps: (A) localization by a partition of unity; (B) treatment away from the degeneracy point (classical fractional trace/extension); (C) treatment near the degeneracy point via blow-up and weighted estimates. Constants below are uniform in s restricted to a compact subset of ( s 0 , 1 ] .
A — Localization. Choose a finite partition of unity subordinate to a covering of Ω ¯ by coordinate patches:
Ω ¯ j = 0 N U j ,
where U 0 is a small neighbourhood of the degeneracy point a and U j for j 1 are patches either interior to Ω or containing a portion of Ω but staying at positive distance from a . Let { χ j } j = 0 N be a smooth partition of unity with supp χ j U j and 0 χ j 1 . Then for any u H θ s ( Ω ) we write u = j = 0 N u j with u j = χ j u . The weighted seminorm is controlled by local contributions and finite overlap; specifically there exists C loc > 0 such that
[ u ] H θ s ( Ω ) 2 C loc j = 0 N [ u j ] H θ s ( U j Ω ) 2 + C loc u L 2 ( Ω ) 2 .
B — Patches away from the singularity. For each j 1 the patch U j is at positive distance from a , hence the weight W ( x ) is bounded above and below on U j Ω :
0 < c j W ( x ) C j < for x U j Ω .
Consequently the weighted seminorm on U j is equivalent to the standard fractional Gagliardo seminorm. By classical fractional trace and extension theorems (see e.g. the references in the main text) there exist constants C j such that for v H s ( U j Ω ) :
tr ( v ) H s 1 2 ( Ω U j ) C j v H s ( U j Ω ) ,
and there exists a bounded linear extension operator E j with
E j ( v ) H s ( R d ) C j v H s ( U j Ω ) .
Transferring these bounds to the weighted space is immediate via the local equivalence of norms on U j , yielding for u j = χ j u the estimates
tr ( u j ) H s 1 2 ( Ω U j ) C j u j H θ s ( U j Ω ) ,
and a local extension operator E j with the analogous weighted bound.
C — Local analysis near the degeneracy point. We focus on U 0 , a small neighbourhood of a . Perform the anisotropic blow-up coordinate change in each coordinate direction:
y i = x i a i ρ , ρ > 0 small ,
so that the local weight transforms as
W ( x ) ρ i θ i 2 W ˜ ( y ) ,
with W ˜ ( y ) bounded above and below on compact y-sets away from the origin. Under hypothesis (H3) (local A p control) one has the following local comparability: there exist constants c , C > 0 and p > 1 such that for all v supported in U 0 ,
c [ v ] H s ( U 0 ) 2 [ v ] H θ s ( U 0 ) 2 C [ v ] H s ( U 0 ) 2 ,
provided s is chosen in an interval ( s 0 , 1 ) where s 0 depends on the A p -index: this follows from weighted fractional Sobolev embeddings and the fact that W belongs locally to an admissible Muckenhoupt class. The inequality (44) is the key technical comparability that allows us to invoke the classical fractional trace/extension machinery on the blown-up coordinates.
Applying the classical trace theorem in the y-variables and rescaling back, we obtain for u 0 = χ 0 u
tr ( u 0 ) H s 1 2 ( Ω U 0 ) C 0 u 0 H θ s ( U 0 Ω ) .
Moreover, the local extension operator E 0 constructed by pull-back of the classical extension in the y-variables satisfies the bound
E 0 ( u 0 ) H θ s ( R d ) C 0 u 0 H θ s ( U 0 Ω ) .
D — Global assembly. Combine the local trace bounds (41) and (45) and use finite overlap together with (38) to obtain the global trace estimate (36). Similarly, glue the local extensions E j with the partition of unity to obtain a global extension operator E. The linearity of the local operators and uniformity of the constants imply estimate (37).
Choice of s 0 . The lower threshold s 0 arises from the requirement that the weighted-to-unweighted comparability (44) holds; in particular s 0 depends on the local A p -index of the weight and on the space dimension d. For concrete weights one can compute an explicit s 0 (see the cited literature).
This completes the proof. □
Lemma .3 
(Zero weighted fractional capacity of a point). Let Ω R d and assume hypotheses (H1)–(H3) from Appendix A.1. Fix s ( 0 , 1 ) with s < d / 2 . Then the W-weighted fractional capacity of the singleton { a } vanishes:
Cap s , W ( { a } ) = 0 ,
where the capacity is defined by
Cap s , W ( K ) : = inf u H θ s ( R d ) 2 : u C c ( R d ) , u 1 on a neighbourhood of K .
Proof. 
We prove (47) by constructing an explicit family of cut-off test functions whose weighted fractional seminorm tends to zero as their supports shrink to { a } .
1. Choice of test functions. For ε ( 0 , ε 0 ) (with ε 0 small so B ε 0 ( a ) Ω ) let η ε C c ( B ε ( a ) ) satisfy
0 η ε 1 , η ε 1 on B ε / 2 ( a ) , | η ε | C ε 1 .
Extend η ε by 0 outside B ε ( a ) . By definition (48) it suffices to show
lim ε 0 [ η ε ] H θ s ( R d ) 2 = 0 ,
since η ε L 2 0 as ε 0 and thus the full H θ s -norm tends to zero.
2. Decomposition of the Gagliardo integral. Recall
[ η ε ] H θ s 2 = R d × R d | η ε ( x ) η ε ( y ) | 2 W ( x ) W ( y ) | x y | d + 2 s d x d y .
Split the domain of integration into three regions:
R d × R d = A ε B ε C ε ,
where
A ε : = B ε / 2 ( a ) × B ε / 2 ( a ) ,
B ε : = B ε ( a ) × B ε ( a ) A ε ,
C ε : = R d × R d ( B ε ( a ) × B ε ( a ) ) .
We estimate the contribution of each region separately.
3. Estimate on C ε . If either x or y lies outside B ε ( a ) , then at least one of the factors η ε ( x ) , η ε ( y ) is zero (since η ε is supported in B ε ) or both are supported but one of the points is at distance ε / 2 from a . Hence
C ε | η ε ( x ) η ε ( y ) | 2 W ( x ) W ( y ) | x y | d + 2 s d x d y 4 B ε ( a ) R d B ε / 2 ( a ) 1 W ( x ) W ( y ) | x y | d + 2 s d y d x .
For x B ε ( a ) and y B ε / 2 ( a ) we have | x y | c | y a | for some c ( 0 , 1 ) , hence using Fubini and the local integrability of W 1 (hypothesis (H3)) the inner integral in y is uniformly bounded in x by a constant independent of ε . Thus the whole C ε contribution is controlled by
C ε C | B ε ( a ) | ε d ,
which tends to zero as ε 0 .
4. Estimate on B ε . On B ε A ε at least one of x , y lies in the annulus B ε B ε / 2 . Using the Lipschitz property | η ε ( x ) η ε ( y ) | C ε 1 | x y | (from (49)) we obtain
B ε | η ε ( x ) η ε ( y ) | 2 W ( x ) W ( y ) | x y | d + 2 s d x d y C ε 2 B ε × B ε | x y | 2 W ( x ) W ( y ) | x y | d + 2 s d x d y .
Hence
B ε C ε 2 B ε × B ε 1 W ( x ) W ( y ) | x y | d + 2 s 2 d x d y .
Change variables to u = x y and v = ( x + y ) / 2 or, more simply, estimate by Fubini and symmetry to obtain
B ε × B ε 1 W ( x ) W ( y ) | x y | d + 2 s 2 d x d y C B ε 1 W ( x ) | u | 2 ε 1 | u | d + 2 s 2 d u 1 inf y B ε W ( y ) d x .
The inner u-integral is finite precisely when 2 s 2 < d , i.e. s < d / 2 + 1 , which is satisfied since s < d / 2 . Computing the u-integral yields a factor ε 2 2 s . Using that W 1 is locally integrable by (H3), we conclude from (52) that
B ε C ε 2 ε 2 2 s B ε 1 W ( x ) d x ε d 2 s sup x B ε 1 W ( x ) .
Because W ( x ) i | x i a | θ i / 2 and the product of coordinate powers decays at most polynomially, the factor sup x B ε W ( x ) 1 grows at most like a power of ε 1 ; combining the powers yields that the RHS of (53) tends to 0 as ε 0 whenever
d 2 s i = 1 d θ i 2 > 0 ,
which is implied by the standing hypothesis s < d / 2 together with the fact θ i < 2 . (In particular, the local A p control in (H3) ensures no worse singularity than polynomial.)
5. Estimate on A ε . On A ε = B ε / 2 × B ε / 2 the cut-off is constant equal to 1 on the diagonal region B ε / 2 , but the Gagliardo integrand is supported near the boundary of B ε / 2 . Applying the Lipschitz bound as above and repeating the same scaling argument yields an estimate similar to (53) but with a prefactor coming from the smaller ball; consequently the A ε contribution is bounded by a constant times ε d 2 s sup B ε / 2 W 1 and hence tends to 0 under the same integrability condition (54).
6. Conclusion. Combining the estimates for the three regions, (51), (53) and the A ε bound, we obtain
[ η ε ] H θ s 2 0 as ε 0 .
Since η ε L 2 | B ε | 1 / 2 0 as well, we conclude η ε H θ s 2 0 , which by definition implies Cap s , W ( { a } ) = 0 . This proves (47). □

A.2. Heat Parametrix and Small-Time Asymptotics

The Weyl asymptotics in the main text are obtained by a small-time analysis of the heat trace. We state here a lemma that records the sufficient hypotheses under which a fractional parametrix construction is valid.
Assumption 1 
(Symbol regularity and anisotropic scaling). Let L a , θ α be an operator whose principal symbol (in local coordinates) satisfies, for x near a and ξ R d ,
σ L ( x , ξ ) i = 1 d | x i a i | θ i | ξ i | 2 α / 2 ,
and assume that lower-order terms are Hölder continuous in x and of subprincipal order in ξ. Moreover, assume the coefficients are slowly varying at the scale t 1 / ( 2 θ max ) as t 0 .
Lemma .4 
(Fractional heat parametrix). Let L a , θ α be an anisotropic fractional operator whose principal symbol satisfies the homogeneity and regularity assumptions(Symbol-A). Set θ max = max 1 i d θ i . Then there exists a parametrix K ( t , x , y ) for the heat kernel of L a , θ α such that the following hold.
(i)
Local diagonal expansion. For any compact K Ω and all x , y K , as t 0 ,
K ( t , x , y ) = t d 2 θ max a 0 ρ ( x , y ) t 1 / ( 2 θ max ) , x + r ( t , x , y ) ,
where ρ ( x , y ) is the anisotropic geodesic distance induced by the metric
g i j ( x ) = | x i a i | θ i δ i j ,
and a 0 ( · , x ) is the fundamental solution of the frozen-coefficient model at x, obtained explicitly via Fourier inversion of the frozen symbol.
(ii)
Remainder estimate. The error term satisfies
sup x , y K | r ( t , x , y ) | = o t d / ( 2 θ max ) , t 0 .
(iii)
Derivative bounds. For every multi-index β in x or y and N 0 , there exists a constant C β , , K > 0 such that
sup x , y K | t x β r ( t , x , y ) | C β , , K t d 2 θ max δ ( β , ) , 0 < t < t 0 ,
for some δ ( β , ) > 0 , i.e., each derivative lowers the order of the remainder relative to the leading term.
Proof. 
The argument follows the classical parametrix construction, adapted to the anisotropic geometry generated by the degeneracy weights θ i .
1. Frozen-coefficient approximation and scaling. Fix x 0 K . The principal symbol of the frozen operator at x 0 is
σ x 0 ( ξ ) = i = 1 d | x 0 , i a i | θ i | ξ i | 2 α / 2 .
Introduce the anisotropic scaling
ξ i = η i t 1 / ( 2 θ max ) , y i x 0 , i = z i t 1 / ( 2 θ max ) .
This choice balances the phase and reveals the natural parabolic scaling of the operator. Applying Fourier inversion with respect to the scaled variables produces the model kernel
t d / ( 2 θ max ) a 0 ρ ( x , y ) / t 1 / ( 2 θ max ) , x 0 ,
where ρ is the anisotropic distance associated to the quadratic form in (58). This yields the leading term in (55).
2. Construction of the approximate kernel. Define K 0 ( t , x , y ) by performing Fourier inversion of the symbol frozen at x and including the amplitude a 0 ( · , x ) , smooth in x. We seek a full parametrix in the form
K ( t , x , y ) = K 0 ( t , x , y ) + m 1 K m ( t , x , y ) ,
where each correction term K m solves a transport-type equation:
( t + L x α ) K m = E m 1 ,
and E 0 = ( t + L x α ) K 0 . Anisotropic symbol estimates implied by (Symbol-A) ensure that each K m is of strictly lower asymptotic order in t than K m 1 .
3. Convergence of the Neumann series and remainder. Let R ( t ) denote the error operator with kernel
R ( t , x , y ) = ( t + L x α ) K 0 ( t , x , y ) .
For sufficiently small t 0 > 0 , we have
0 t 0 R ( s ) d s op < 1 ,
in anisotropic operator norms. Hence,
K = K 0 + m = 1 ( 1 ) m ( K 0 * R ( * m ) ) ,
converges. Each convolution introduces an extra factor of order t δ > 0 , yielding the estimates in (56) and (57).
4. Uniformity on compact subsets. All symbolic seminorms of σ ( x , ξ ) , as well as its derivatives, are uniformly bounded on compact subsets K Ω by assumption (Symbol-A). Thus all constants in (56) and (57) depend only on K, completing the argument.
Remark. The construction generalizes Seeley’s and Hörmander’s parametrices but requires adapting symbol classes to the anisotropic, spatially dependent homogeneity originating from the degeneracy of the weights | x i a i | θ i . □
Corollary .5 
(Heat-trace small-time asymptotics). Let L a , θ α satisfy the hypotheses of Lemma .4. Assume moreover that the leading profile a 0 ( 0 , x ) (the diagonal value of the frozen-coefficient fundamental solution) is globally integrable on Ω and that the determinant factor det ( D a , θ α ( x ) ) 1 / 2 belongs to L 1 ( Ω ) . Then the heat trace
Θ ( t ) : = Tr e t L a , θ α = Ω K ( t , x , x ) d x
admits the small-time expansion
Θ ( t ) ( 4 π ) d 2 θ max t d 2 θ max Ω det D a , θ α ( x ) 1 1 / 2 d x , t 0 .
Consequently, by a standard Tauberian theorem, the eigenvalue counting function N ( Λ ) = # { λ k Λ } satisfies the Weyl law
N ( Λ ) C θ , α Λ d 2 θ max , Λ ,
with the constant
C θ , α = ( 4 π ) d 2 θ max Γ 1 + d 2 θ max Ω det D a , θ α ( x ) 1 1 / 2 d x .
Proof. 
We proceed in two stages: (A) derive the diagonal small-time asymptotic of the heat kernel and integrate it to obtain (13); (B) apply a Tauberian theorem to translate the heat-trace asymptotic into the Weyl asymptotic (63) with constant (64).
(A) Diagonal expansion and integration. By Lemma .4 we have the local parametrix expansion
K ( t , x , x ) = t d 2 θ max a 0 0 , x + r ( t , x , x ) , x Ω , t 0 ,
with the remainder satisfying the uniform bound
sup x Ω | r ( t , x , x ) | = o t d 2 θ max .
The profile a 0 ( 0 , x ) is the value at the origin of the frozen-coefficient fundamental solution; a Fourier inversion calculation for the frozen model (yielding the Gaussian-type integral in the anisotropic variables) shows that
a 0 ( 0 , x ) = ( 4 π ) d 2 θ max det D a , θ α ( x ) 1 1 / 2 ,
up to the normalization consistent with the scaling chosen in the parametrix (see the parametrix construction in Lemma .4). The assumption of global integrability of the right-hand side of (67) ensures that a 0 ( 0 , · ) L 1 ( Ω ) .
Integrating (65) over Ω and using dominated convergence (justified below) yields
Θ ( t ) = Ω K ( t , x , x ) d x = t d 2 θ max Ω a 0 ( 0 , x ) d x + Ω r ( t , x , x ) d x .
We must verify that the remainder integral is negligible compared with the principal term. By (66) we have
| Ω r ( t , x , x ) d x | | Ω | sup x Ω | r ( t , x , x ) | = o t d 2 θ max ,
hence the remainder contributes a lower-order term. Therefore (68) implies (13), upon substituting (67) for a 0 ( 0 , x ) .
It remains to justify dominated convergence in the presence of the singular factor t d / ( 2 θ max ) . The assumptions in the corollary ensure that a 0 ( 0 , x ) is integrable, and the uniform remainder estimate (66) gives the required uniform control. Thus the limit may be passed under the integral sign.
(B) Tauberian argument to obtain Weyl law. The relation between the small-t behavior of the heat trace and the high energy behavior of the counting function is standard: if
Θ ( t ) A t γ , t 0 ,
for some γ > 0 and constant A > 0 , then a Karamata-type Tauberian theorem yields
N ( Λ ) A Γ ( 1 + γ ) Λ γ , Λ .
In our setting γ = d / ( 2 θ max ) and
A = ( 4 π ) γ Ω det D a , θ α ( x ) 1 1 / 2 d x ,
so the Weyl asymptotic (63) follows with constant (64). Standard references for this implication include classical texts on spectral asymptotics (e.g. [6,7]) and standard Tauberian theory; the hypotheses we imposed (integrability of a 0 ( 0 , · ) and uniform remainder control) guarantee the applicability of the theorem.
This completes the proof. □

A.3. Borderline Degeneracy: The Regime θ i →2 -

We analyze the limiting behaviour of the fractional SDO when one or more degeneracy exponents approach the critical value 2. The next proposition formalizes three central features of this regime: divergence of the Weyl exponent, blow-up of coercivity constants, and the onset of ultra-degeneracy in the local geometry of the operator.
Proposition .6 
(Limiting behavior as θ i 2 ). Let θ ( ε ) ( 0 , 2 ) d be a family of exponents satisfying θ ( ε ) θ * as ε 0 , and suppose that for some index i 0 we have θ i 0 * = 2 . Then:
  • Divergence of the effective Weyl exponent. The quantity
    γ ( ε ) : = d 2 θ max ( ε ) ,
    with θ max ( ε ) = max i θ i ( ε ) , satisfies γ ( ε ) + as θ max ( ε ) 2 .
  • Blow-up of coercivity constants. Let C P ( θ ) denote the optimal constant in the weighted fractional Poincaré inequality
    u L 2 ( Ω ) C P ( θ ) [ u ] H θ s ( Ω ) for u | Ω = 0 .
    Then C P ( θ ( ε ) ) + as ε 0 .
  • Ultra-degeneracy and effective lower-dimensional behaviour. The frozen principal symbol near the degeneracy point has the form
    σ x ( ξ ) θ i * = 2 | x i a i | 2 | ξ i | 2 + θ i * < 2 | x i a i | θ i * | ξ i | 2 α / 2 ,
    so that high-degeneracy directions behave, in the limit, like collapsing geometric dimensions. Formally, this suggests convergence (in a variational sense) to a lower-dimensional limiting operator supported on the set { x i = a i : θ i * = 2 } .
Proof. 
We argue item by item.
(1) Divergence of the Weyl exponent. The exponent in (69) diverges because 2 θ max ( ε ) 0 + . Thus γ ( ε ) + . This corresponds to increasingly singular small-time behaviour of the heat trace of the form t γ ( ε ) .
(2) Blow-up of the Poincaré constant. Fix ε > 0 small and let u ε be supported in a ball B ε ( a ) , equal to 1 on B ε / 2 , and with Lipschitz constant of order ε 1 . Normalise v ε : = u ε / u ε L 2 . A direct computation of the weighted Gagliardo seminorm yields
[ v ε ] H θ s 2 ε 2 s i θ i ( ε ) / 2 .
Since v ε L 2 = 1 , the optimal Poincaré constant must satisfy
C P ( θ ( ε ) ) ε s + 1 2 i θ i ( ε ) .
If some θ i 0 ( ε ) 2 , the right-hand side tends to + as ε 0 , proving the claim.
(3) Ultra-degeneracy. Consider the frozen symbol
σ x ( ξ ) = i = 1 d | x i a i | θ i ( ε ) | ξ i | 2 α / 2 .
If θ i 0 ( ε ) 2 , then for x near a i , | x i 0 a i 0 | θ i 0 ( ε ) | x i 0 a i 0 | 2 . As x a , this factor vanishes quadratically, causing the symbol to degenerate in the i 0 -direction. The quadratic form associated to L α therefore allows sequences of functions to concentrate energy along the degeneracy set with arbitrarily small cost.
In classical analysis of degenerate operators, this concentration mechanism typically leads (via Mosco or Γ -convergence of energy forms) to a lower-dimensional limiting operator supported on the collapse set.
This proves the assertion. □

A.4. Relation to Other Non-Local Operators

We close with precise comments situating FSDOs among other fractional and non-local operators.
  • Regional (restricted) fractional Laplacian. The regional fractional Laplacian acts by an integral kernel with isotropic weight | x y | d 2 s restricted to a domain. In contrast, an FSDO is a (generally) pseudo-differential operator whose principal symbol exhibits explicit spatially dependent anisotropic weights | x i a i | θ i . Hence FSDOs are not, in general, representable by a single symmetric convolution kernel.
  • Tempered or truncated fractional Laplacians. Tempering or truncation modifies the tail behavior of a Lévy kernel but preserves isotropy; FSDOs instead introduce coordinatewise degeneracy and a geometric anisotropy which cannot be reduced to mere tempering.
  • Variable-order fractional operators. Operators with spatially varying fractional order s ( x ) share with FSDOs the non-homogeneity feature. However, FSDOs keep the order α (fractional power) fixed while encoding spatial heterogeneity through multiplicative degeneracy weights. From a symbol viewpoint, variable-order operators deform the homogeneity in ξ , whereas FSDOs deform the symbol through multiplicative x-dependent factors.

Remark

The statements collected above are intended to make explicit the hypotheses and limitations underlying the main theorems. Each item can be expanded into a self-contained technical section (for instance a full parametrix construction or a thorough study of the limiting θ 2 regime). We leave such extensions to future work.

Notation and Symbolic Conventions

The analysis of Fractional Spectral Degeneracy Operators (FSDOs) involves a rich combination of weighted Sobolev structures, anisotropic fractional geometries, and non-local spectral quantities. For clarity and to ensure consistency of notation across the mathematical development, we summarize in Table 1 the principal symbols, operators, weights, and functional spaces that appear throughout the paper.
The notation adopted here reflects the intrinsic anisotropy induced by the degeneracy vector θ , the non-local effects governed by the fractional parameter α , and the geometric singularity centered at a Ω . The table also includes the main spectral objects associated with the operator L a , θ α , such as eigenvalues, eigenfunctions, the heat trace, and the spectral counting function, all of which play a central role in the derivation of Weyl-type asymptotics, fractional Landau inequalities, and parametrix expansions.
This section is intended to serve as a reference point for readers navigating the theoretical results presented in later sections, especially those involving weighted fractional Sobolev estimates, heat kernel asymptotics, and limiting behaviors as θ i 2 . The notation listed in Table 1 will be used consistently without further comment.
Table 1. Notation and symbols.
Table 1. Notation and symbols.
Symbol Description
Ω R d Bounded Lipschitz domain where the degenerate fractional operator is defined.
a = ( a 1 , , a d ) Degeneracy center; the point around which diffusion coefficients vanish or blow up.
θ = ( θ 1 , , θ d ) Vector of degeneracy exponents with θ i ( 0 , 2 ) , determining the anisotropic strength of the degeneracy.
θ max Maximum degeneracy exponent: θ max = max i θ i .
α ( 0 , 1 ] Fractional order parameter governing non-locality. The case α = 1 reduces to the classical local SDO.
D a , θ α ( x ) Fractional anisotropic diffusion tensor with degeneracy prescribed by θ . Appears in the operator’s principal part.
L a , θ α Fractional Spectral Degeneracy Operator (FSDO): L α u = · ( D α u ) .
H θ s ( Ω ) Weighted fractional Sobolev space associated with the degeneracy structure.
W ( x ) = i = 1 d | x i a i | θ i / 2 Degenerate weight appearing in the energy functional and fractional seminorm.
[ u ] H θ s Weighted fractional Gagliardo seminorm.
σ x ( ξ ) Frozen principal symbol of the operator at point x (anisotropic fractional symbol).
K ( t , x , y ) Parametrix (approximate heat kernel) of the associated fractional degenerate heat equation.
ρ ( x , y ) Anisotropic metric distance induced by the degeneracy-weighted metric g i j ( x ) = | x i a i | θ i δ i j .
Θ ( t ) = Tr ( e t L α ) Heat trace of the fractional degenerate semigroup; used to derive Weyl asymptotics.
λ k , ϕ k Eigenvalues and eigenfunctions of L a , θ α , forming a complete spectral basis.
N ( Λ ) Spectral counting function: N ( Λ ) = # { k : λ k Λ } .
C P ( θ ) Optimal constant in the weighted fractional Poincaré inequality.
Γ -convergence Variational convergence framework used to analyze limiting operators as θ i 2 . Written as $\Gamma$-convergence in LaTeX.

References

  1. Cannarsa, P., Doubova, A., & Yamamoto, M. (2024). Reconstruction of degenerate conductivity region for parabolic equations. Inverse Problems, 40(4), 045033. [CrossRef]
  2. Raissi, M., Perdikaris, P., & Karniadakis, G. E. (2019). Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations. Journal of Computational physics, 378, 686-707. [CrossRef]
  3. DiBenedetto, E. (2012). Degenerate parabolic equations. Springer Science & Business Media.
  4. Li, Z., Kovachki, N., Azizzadenesheli, K., Liu, B., Bhattacharya, K., Stuart, A., & Anandkumar, A. (2020). Neural operator: Graph kernel network for partial differential equations. arXiv preprint arXiv:2003.03485. [CrossRef]
  5. Davies, E. B. (1989). Heat kernels and spectral theory (No. 92). Cambridge university press.
  6. Seeley, R. T. (1967). Complex powers of an elliptic operator. In Amer. Math. Soc. Proc. Symp. Pure Math. (Vol. 10, pp. 288-307). Amer. Math. Soc.
  7. Grigoryan, A. (2009). Heat kernel and analysis on manifolds (Vol. 47). American Mathematical Soc..
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings

© 2026 MDPI (Basel, Switzerland) unless otherwise stated