Extended Sobolev Scale Overview

• Extended Sobolev Scale is a family of Hilbert spaces defined by replacing the constant smoothness order with a positive function that varies at infinity.
• It is constructed via interpolation between classic Sobolev spaces, utilizing Hörmander-type Fourier-weighted spaces and localization methods on manifolds and lattices.
• Its framework underpins elliptic theory by preserving boundedness, Fredholm properties, and refined regularity and embedding criteria across various geometric settings.

Searching arXiv for recent and foundational papers on the extended Sobolev scale to ground the article. arxiv_search(query="extended Sobolev scale Mikhailets Murach elliptic", max_results=10, sort_by="relevance") The extended Sobolev scale is a family of Hilbert spaces of generalized smoothness in which the usual Sobolev order $s\in \mathbb R$ is replaced by a positive function varying at infinity. In the formulation used for closed smooth manifolds, it consists of all Hilbert spaces that are interpolation spaces with respect to the Hilbert Sobolev scale, and it contains the classical Sobolev spaces as the special case $\varphi(t)=t^s$ (Zinchenko et al., 2017). Across the literature, the scale is realized through Hörmander-type Fourier-weighted spaces on $\mathbb R^n$, through localization on manifolds and vector bundles, and through analogous constructions on lattices and manifolds of bounded geometry (Murach et al., 2012).

1. Definition by Fourier weights and localization

A standard starting point is the class $RO$ of admissible radial weights. A measurable function $\varphi:[1,\infty)\to(0,\infty)$ belongs to $RO$ if there exist constants $a>1$ and $c\ge 1$ such that

$$c^{-1}\le \frac{\varphi(\lambda t)}{\varphi(t)}\le c \qquad \text{for all } t\ge 1,\ \lambda\in[1,a].$$

These are the $RO$-varying functions at infinity. The same literature also uses the lower and upper Matuszewska indices $\varphi(t)=t^s$0 and $\varphi(t)=t^s$1, which quantify the asymptotic power growth of $\varphi(t)=t^s$2 (Zinchenko et al., 2017).

For $\varphi(t)=t^s$3, the Euclidean space $\varphi(t)=t^s$4 consists of all $\varphi(t)=t^s$5 whose Fourier transform is locally integrable and satisfies

$\varphi(t)=t^s$6

The corresponding inner product is

$\varphi(t)=t^s$7

On a closed smooth manifold $\varphi(t)=t^s$8, the space $\varphi(t)=t^s$9 is defined by localization in charts and a partition of unity: $\mathbb R^n$0 belongs to $\mathbb R^n$1 if each localized pullback $\mathbb R^n$2 belongs to $\mathbb R^n$3, and the resulting norm is independent, up to equivalence, of the chosen atlas and partition of unity (Zinchenko et al., 2017).

The defining relation with classical Sobolev theory is immediate: if $\mathbb R^n$4, then $\mathbb R^n$5. The family

$\mathbb R^n$6

therefore extends the usual Sobolev scale (Zinchenko et al., 2017).

A closely related subclass is the refined Sobolev scale, built from isotropic Hörmander spaces $\mathbb R^n$7 with Fourier weight

$\mathbb R^n$8

where $\mathbb R^n$9 is slowly varying at $RO$0 in the sense of Karamata. In that setting, the parameter $RO$1 gives the principal power smoothness and $RO$2 supplies a subpower refinement (Mikhailets et al., 2012).

2. Interpolation structure and exact characterization

The central structural theorem is that every space in the extended Sobolev scale is obtained by interpolation with a function parameter between two Sobolev spaces. If

$RO$3

then one defines

$RO$4

and obtains

$RO$5

with equivalence, and in some settings equality, of norms (Murach et al., 2012).

This interpolation description is not merely a construction device. For vector bundles over a closed manifold, the scale is closed under quadratic interpolation with a function parameter, and a Hilbert space is an interpolation space between Sobolev spaces $RO$6 and $RO$7 if and only if, up to equivalence of norms, it is $RO$8 for some $RO$9 in the admissible class (Murach et al., 2024). The same characterization is established on $\varphi:[1,\infty)\to(0,\infty)$0 for pairs of discrete Sobolev spaces and on manifolds of bounded geometry for pairs $\varphi:[1,\infty)\to(0,\infty)$1 (Milatovic, 2023, Milatovic, 24 Sep 2025).

A common misconception is that the extended Sobolev scale and the refined Sobolev scale are identical. The survey on refined Sobolev spaces places the refined scale inside a larger framework: the extended Sobolev scale is the class of all Hilbert spaces of generalized smoothness that can be obtained by interpolation of Sobolev spaces with a suitable function parameter, whereas the refined scale is a particularly useful and concrete subclass built from isotropic Hörmander spaces $\varphi:[1,\infty)\to(0,\infty)$2 (Mikhailets et al., 2012).

The interpolation viewpoint also explains why the scale is so effective in elliptic theory. Boundedness, Fredholmness, and direct-sum constructions are preserved under interpolation with a function parameter, so results first established in Sobolev spaces can be transferred to the whole scale (Murach et al., 2012).

3. Geometric realizations and model settings

On smooth vector bundles $\varphi:[1,\infty)\to(0,\infty)$3 over a closed manifold, the extended Sobolev scale is defined by local trivializations, a finite atlas, and a subordinate partition of unity. The resulting spaces $\varphi:[1,\infty)\to(0,\infty)$4 are Hilbert and separable, $\varphi:[1,\infty)\to(0,\infty)$5 is dense in them, and the norm is intrinsic in the sense that it does not depend, up to equivalence, on the local geometric choices (Murach et al., 2024). If the bundle is Hermitian, then $\varphi:[1,\infty)\to(0,\infty)$6 and $\varphi:[1,\infty)\to(0,\infty)$7 are mutually dual with respect to the natural $\varphi:[1,\infty)\to(0,\infty)$8-type pairing

$\varphi:[1,\infty)\to(0,\infty)$9

Embedding relations are controlled completely by the asymptotic ratio of the defining functions: $RO$0 iff $RO$1 is bounded near infinity, and the embedding is compact iff $RO$2 as $RO$3 (Murach et al., 2024).

A discrete analogue is developed on the lattice $RO$4. There,

$RO$5

with weighted $RO$6 inner product

$RO$7

This yields the exact class of Hilbert interpolation spaces between two discrete Sobolev spaces, and it supports a parallel theory of mapping properties and Fredholmness for discrete pseudo-differential operators (Milatovic, 2023).

The construction has also been extended from compact manifolds to non-compact manifolds of bounded geometry. Using a geodesic trivialization $RO$8, one defines

$RO$9

In this setting, $a>1$0 is dense in $a>1$1, the scale is independent of the chosen geodesic trivialization, and it remains closed under interpolation with a function parameter (Milatovic, 24 Sep 2025). The papers on $a>1$2 and on bounded-geometry manifolds explicitly present these constructions as adaptations of the definition of the extended Sobolev scale introduced by Mikhailets and Murach on $a>1$3 and on compact manifolds (Milatovic, 2023, Milatovic, 24 Sep 2025).

4. Elliptic operators, Fredholmness, and solvability

The extended Sobolev scale is designed to preserve the classical Fredholm picture for elliptic operators. For Petrovskii elliptic systems on a closed smooth manifold,

$a>1$4

the natural mapping is

$a>1$5

where $a>1$6 is the maximum order in the $a>1$7-th column. If the system is Petrovskii elliptic, then for every $a>1$8 this operator is Fredholm, its kernel is the smooth nullspace $a>1$9, its range consists of those $c\ge 1$0 orthogonal to the nullspace $c\ge 1$1 of the formal adjoint, and the index $c\ge 1$2 does not depend on $c\ge 1$3 (Zinchenko et al., 2017).

For a regular elliptic boundary-value problem on a bounded smooth domain,

$c\ge 1$4

the extended-scale operator

$c\ge 1$5

is bounded and Fredholm under the condition $c\ge 1$6. Its kernel is the classical smooth nullspace, its range is described by the Green-form orthogonality condition with respect to the adjoint problem, and its index is independent of $c\ge 1$7 (Anop et al., 2013).

The same mechanism extends to more singular boundary regimes. For regular elliptic boundary-value problems with rough boundary data, the natural domain is a graph space

$c\ge 1$8

and the operator

$c\ge 1$9

remains bounded and Fredholm, with the same nullspace and the same orthogonality description of the range (Anop et al., 2020). For elliptic Lawruk-type problems with additional unknown boundary functions and boundary operators whose order may satisfy $$c^{-1}\le \frac{\varphi(\lambda t)}{\varphi(t)}\le c \qquad \text{for all } t\ge 1,\ \lambda\in[1,a].$$0, the corresponding operator on appropriate extended-scale pairs is again Fredholm when $$c^{-1}\le \frac{\varphi(\lambda t)}{\varphi(t)}\le c \qquad \text{for all } t\ge 1,\ \lambda\in[1,a].$$1 (Murach et al., 2020).

The scale is equally compatible with pseudo-differential formulations. For parameter-elliptic operators

$$c^{-1}\le \frac{\varphi(\lambda t)}{\varphi(t)}\le c \qquad \text{for all } t\ge 1,\ \lambda\in[1,a].$$2

on a closed smooth manifold, parameter-ellipticity implies that, for sufficiently large $$c^{-1}\le \frac{\varphi(\lambda t)}{\varphi(t)}\le c \qquad \text{for all } t\ge 1,\ \lambda\in[1,a].$$3 in a fixed closed angle $$c^{-1}\le \frac{\varphi(\lambda t)}{\varphi(t)}\le c \qquad \text{for all } t\ge 1,\ \lambda\in[1,a].$$4,

$$c^{-1}\le \frac{\varphi(\lambda t)}{\varphi(t)}\le c \qquad \text{for all } t\ge 1,\ \lambda\in[1,a].$$5

is an isomorphism, and the corresponding two-sided a priori estimate is uniform in $$c^{-1}\le \frac{\varphi(\lambda t)}{\varphi(t)}\le c \qquad \text{for all } t\ge 1,\ \lambda\in[1,a].$$6 (Murach et al., 2012). On vector bundles, elliptic classical pseudo-differential operators of order $$c^{-1}\le \frac{\varphi(\lambda t)}{\varphi(t)}\le c \qquad \text{for all } t\ge 1,\ \lambda\in[1,a].$$7 extend to

$$c^{-1}\le \frac{\varphi(\lambda t)}{\varphi(t)}\le c \qquad \text{for all } t\ge 1,\ \lambda\in[1,a].$$8

and are Fredholm with range characterized by orthogonality to the nullspace of the adjoint (Murach et al., 2024).

5. A priori estimates, regularity, and classical differentiability

A hallmark of the theory is that elliptic a priori estimates persist with the same structure as in the Sobolev case. For Petrovskii elliptic systems, if $$c^{-1}\le \frac{\varphi(\lambda t)}{\varphi(t)}\le c \qquad \text{for all } t\ge 1,\ \lambda\in[1,a].$$9, then for every $RO$0,

$RO$1

and the lower-order term disappears when the kernel is trivial (Zinchenko et al., 2017). For regular elliptic boundary-value problems on bounded domains,

$RO$2

globally, and there are corresponding local cutoff estimates (Anop et al., 2013). On vector bundles, one has the local estimate

$RO$3

for cutoffs $RO$4 with $RO$5 near $RO$6 (Murach et al., 2024).

Local regularity is likewise transferred to the extended scale. For Petrovskii systems, if $RO$7 in an open set $RO$8 and $RO$9, then

$\varphi(t)=t^s$00

(Zinchenko et al., 2017). For vector bundles, the corresponding statement is an equivalence: $\varphi(t)=t^s$01 (Murach et al., 2024). For regular elliptic boundary problems, if the data belong locally to the correct extended-scale spaces up to the boundary, then the solution belongs locally to the higher-order space $\varphi(t)=t^s$02 (Anop et al., 2020, Anop et al., 2013).

The scale yields integral criteria for continuity of derivatives that refine ordinary Sobolev embedding. For a component $\varphi(t)=t^s$03 of a Petrovskii system, the condition

$\varphi(t)=t^s$04

implies $\varphi(t)=t^s$05, and

$\varphi(t)=t^s$06

implies $\varphi(t)=t^s$07, so the equation is classically meaningful in local coordinates (Zinchenko et al., 2017). For vector bundles,

$\varphi(t)=t^s$08

is the criterion for the compact embedding $\varphi(t)=t^s$09, and the system-specific condition

$\varphi(t)=t^s$10

implies $\varphi(t)=t^s$11 for elliptic equations $\varphi(t)=t^s$12 (Murach et al., 2024). For elliptic boundary-value problems and for Lawruk-type nonclassical boundary conditions, the analogous integrability conditions are stated to be exact or sharp within the corresponding solution classes (Anop et al., 2013, Murach et al., 2020, Anop et al., 2020).

6. Related scales, applications, and limits of the terminology

The extended Sobolev scale has been used in several adjacent directions. In the refined Sobolev scale, the spaces $\varphi(t)=t^s$13 sharpen spectral convergence criteria for elliptic operators on closed manifolds, including formulations of Menshov–Rademacher and Orlicz–Tandori type conditions in terms of refined Hörmander spaces (Mikhailets et al., 2012). In the theory of rough boundary data, the scale is flexible enough to treat boundary data in Nikolskii spaces and to formulate pathwise solvability statements for some white-noise boundary models (Anop et al., 2020). On bounded-geometry manifolds and on $\varphi(t)=t^s$14, operator-generated scales $\varphi(t)=t^s$15 are shown to coincide, up to norm equivalence, with the geometrically defined extended Sobolev scale (Milatovic, 2023, Milatovic, 24 Sep 2025).

At the same time, not every broader Sobolev-type framework is presented as the extended Sobolev scale in the precise interpolation-theoretic sense. The scaling-based work on geometrically natural elliptic operators with Sobolev-type coefficients develops elliptic regularity across Bessel potential, Triebel–Lizorkin, Sobolev–Slobodeckij, and Besov spaces, but explicitly does not use the phrase “Extended Sobolev Scale” as a formal concept; instead, it operates in the same broad functional-analytic universe through rescaling estimates, multiplication theorems, and interpolation identities (Holst et al., 2023). Likewise, the ultradistribution-based paper on an “extended family of fractional Sobolev spaces” develops Banachness, density, extension, and embedding results for spaces defined through Fourier-transform and ultradifferential growth conditions, but it does not identify the family by a standard interpolation theorem and uses “extended Sobolev scale” only in a broad structural sense (Amaonyeiro et al., 2024).

These distinctions matter conceptually. In the precise Mikhailets–Murach sense developed for $\varphi(t)=t^s$16, compact manifolds, vector bundles, lattices, and manifolds of bounded geometry, the extended Sobolev scale is not just a large collection of Sobolev-type spaces. It is exactly the class of Hilbert interpolation spaces between Sobolev spaces, and this exact interpolation characterization is the mechanism behind its stable Fredholm theory, its order-shift mapping properties, and its refined embedding criteria (Murach et al., 2024, Milatovic, 24 Sep 2025).