Compact embeddings of generalised Morrey smoothness spaces on bounded domains

This paper establishes sufficient and, in some cases, necessary conditions for the continuity and compactness of embeddings between various scales of generalised Morrey smoothness spaces on bounded smooth domains, utilizing wavelet characterisations to generalise and improve upon existing results for classical smoothness Morrey spaces.

The Gist

Imagine you are an architect trying to understand how different types of buildings fit together. In the world of mathematics, these "buildings" are function spaces. Think of a function space as a giant warehouse that stores mathematical functions (which describe shapes, waves, or signals).

Some warehouses are very strict: they only store functions that are perfectly smooth and well-behaved (like a pristine marble statue). Others are more relaxed, storing functions that might be a bit rough or jagged (like a pile of rocks).

This paper is about studying Generalised Morrey Smoothness Spaces. That's a mouthful, so let's break it down with a story.

The Setting: The "Roughness" Warehouse

In the past, mathematicians had a standard way of measuring how "rough" or "smooth" a function was. They used a ruler called the Morrey Space. Imagine this ruler measures not just the average roughness of a whole building, but the roughness of specific neighborhoods within it.

However, real-world problems (like fluid dynamics in the Navier-Stokes equations mentioned in the paper) are messy. The standard ruler wasn't flexible enough. So, mathematicians invented Generalised Morrey Spaces.

Think of this as upgrading from a simple ruler to a smart, shape-shifting measuring tape.

• The Standard Tape: Measures everything the same way.
• The Smart Tape (Generalised): Can stretch, shrink, or change its sensitivity depending on where you are measuring. It uses a special function, let's call it $\phi$ (phi), to decide how strict it is at different scales.

The Problem: Moving Furniture Between Warehouses

The main question this paper asks is: "If I take a function from Warehouse A and try to move it into Warehouse B, will it fit?"

In math terms, this is called an Embedding.

• Continuity (Fitting): Does the function fit without breaking? (Is the move safe?)
• Compactness (The "Magic" Move): This is the cool part. A "compact" embedding means that if you have a huge pile of functions in Warehouse A, and you move them to Warehouse B, they don't just fit—they settle down. They become so organized that you can pick out a perfect, smooth subset from the chaos. It's like shuffling a deck of cards and having them magically sort themselves into order.

The Challenge: The "Bounded" Domain

The paper focuses on Bounded Domains. Imagine Warehouse A and Warehouse B are not infinite open fields, but finite rooms (like a bounded apartment).

• If the rooms were infinite, you could never get the furniture to settle down (no compactness).
• But because the rooms are finite and have smooth walls (mathematically "smooth domains"), the furniture can settle down, provided the rules of the rooms are right.

The Solution: The Wavelet "Packing List"

How did the authors solve this? They didn't try to move the furniture directly. Instead, they used a Wavelet Characterisation.

Imagine you want to pack a complex sculpture for moving. Instead of looking at the whole sculpture, you break it down into a packing list of Lego blocks of different sizes.

• Large blocks: Describe the big, coarse shape.
• Tiny blocks: Describe the fine, detailed texture.

The authors translated the problem from "moving functions" to "moving lists of numbers" (sequence spaces).

• The Analogy: Instead of asking, "Does this rough wall fit in this smooth room?", they asked, "Does this list of Lego block sizes fit into the new room's storage bins?"

By solving the math for the lists of numbers, they could easily translate the answer back to the functions.

The Key Findings: The "Critical Smoothness" Index

The paper derives specific rules for when the move is successful. They introduce a concept called Critical Smoothness Indices (let's call them $\sigma$).

Think of $\sigma$ as a Height Limit for the furniture.

• If the "roughness" of the source room (Warehouse A) is too high compared to the "smoothness" required by the destination room (Warehouse B), the furniture won't fit.
• The authors calculated the exact formula for this height limit. It depends on:
  1. The "Roughness" parameters ($p$): How jagged the functions are.
  2. The "Smart Tape" settings ($\phi$): How the measuring tape behaves.
  3. The "Fine Print" ($q$): A secondary parameter that fine-tunes the rules.

The Golden Rule of the Paper:
The move is Compact (the furniture settles perfectly) if the "smoothness" of the destination room is strictly better than the critical limit calculated by their new formula.

Why This Matters

1. It's a Generalization: Previous rules only worked for specific, simple types of measuring tapes. This paper works for any smart tape ($\phi$). It's like upgrading from a rulebook for "wooden furniture" to a rulebook for "any material, any shape."
2. It Improves Old Results: They found that their new, more flexible rules actually make the old rules for specific cases even better and more precise.
3. Real-World Application: These spaces are used to solve equations that describe how fluids flow (like water in a pipe or air around a plane). By understanding exactly how these mathematical "buildings" relate to each other, scientists can prove that their solutions to these complex equations actually exist and behave well.

Summary in a Nutshell

The authors took a complex mathematical problem about moving "rough" shapes between "finite rooms." They invented a new way to measure these shapes using a smart, flexible tape. By breaking the shapes down into Lego-like lists of numbers, they figured out the exact rules for when these shapes can be moved safely and when they will magically organize themselves. This provides a powerful new toolkit for mathematicians and physicists dealing with complex, real-world equations.

Technical Summary

Here is a detailed technical summary of the paper "Compact embeddings of generalised Morrey smoothness spaces on bounded domains" by Dorothee D. Haroske, Susana D. Moura, and Leszek Skrzypczak.

1. Problem Statement

The paper investigates the continuity and compactness of embeddings between various scales of generalised Morrey smoothness spaces defined on bounded smooth domains ($\Omega \subset \mathbb{R}^d$).

While the theory of classical Morrey spaces ($M_{u,p}$) and their smoothness counterparts (Besov-Morrey $N^s_{u,p,q}$ and Triebel-Lizorkin-Morrey $E^s_{u,p,q}$) is well-established, this work focuses on generalised versions where the scaling parameter $u$ is replaced by a general function $\varphi(t)$. The specific spaces studied are:

• Generalised Besov-Morrey spaces: $N^s_{\varphi,p,q}(\Omega)$
• Generalised Triebel-Lizorkin-Morrey spaces: $E^s_{\varphi,p,q}(\Omega)$
• Generalised Besov-type spaces: $B^{s,\varphi}_{p,q}(\Omega)$
• Generalised Triebel-Lizorkin-type spaces: $F^{s,\varphi}_{p,q}(\Omega)$

The core challenge is to determine precise necessary and sufficient conditions for the embedding $A^{s_1}_{\varphi_1, p_1, q_1}(\Omega) \hookrightarrow A^{s_2}_{\varphi_2, p_2, q_2}(\Omega)$ to be continuous or compact, where the smoothness parameters ($s$), integrability indices ($p, q$), and the generalising functions ($\varphi$) differ between the source and target spaces.

2. Methodology

The authors employ a wavelet characterisation approach, which is a standard but powerful technique in modern function space theory. The methodology proceeds as follows:

1. Restriction to Domains: The spaces on the bounded domain $\Omega$ are defined via restriction from the whole space $\mathbb{R}^d$. The authors assume $\Omega$ is a bounded $C^\infty$ domain.
2. Transfer to Sequence Spaces: Using wavelet decompositions, the problem of embedding function spaces on $\mathbb{R}^d$ is transferred to an equivalent problem involving sequence spaces ($n^s_{\varphi,p,q}$ and $b^{s,\varphi}_{p,q}$). This allows the authors to work with discrete coefficients rather than continuous functions.
3. Analysis of Sequence Spaces: The paper first establishes rigorous necessary and sufficient conditions for the continuity and compactness of embeddings between these sequence spaces on dyadic cubes. This involves intricate estimates of the functions $\varphi$ and the parameters $p, q$.
4. Introduction of Critical Indices: To handle the complex interplay between the smoothness $s$ and the generalising functions $\varphi$, the authors introduce critical smoothness indices ($\sigma, \sigma_\infty, \tilde{\sigma}$). These indices depend on $s_1$, $p_1, p_2$, and the asymptotic behavior of $\varphi_1$ and $\varphi_2$.
5. Lifting to Function Spaces: The results derived for sequence spaces are then lifted back to the function spaces on $\Omega$ using the existence of common extension operators and the equivalence of norms provided by the wavelet characterisation.

3. Key Contributions and Results

A. Generalised Besov-Morrey Spaces ($N^s_{\varphi,p,q}$)

The paper provides a complete characterisation for the embedding $N^{s_1}_{\varphi_1, p_1, q_1}(\Omega) \hookrightarrow N^{s_2}_{\varphi_2, p_2, q_2}(\Omega)$.

• Continuity: The embedding is continuous if and only if a specific sequence involving the smoothness difference and the ratio of the functions $\varphi$ belongs to a specific sequence space $\ell_{q^*}$. Specifically, the condition involves the term:
  $$\left\{ 2^{j(s_2-s_1)} \alpha_j \varphi_1(2^{-j})^{\varrho-1} \right\}_{j \in \mathbb{N}_0} \in \ell_{q^*}$$
  where $\varrho = \min(1, p_1/p_2)$, $\alpha_j = \sup_{0 \le \nu \le j} \frac{\varphi_2(2^{-\nu})}{\varphi_1(2^{-\nu})^\varrho}$, and $1/q^* = (1/q_2 - 1/q_1)^+$.
• Compactness: The embedding is compact if and only if it is continuous and, in the case $q_1 \le q_2$, the sequence above converges to zero (i.e., belongs to $c_0$).

B. Generalised Besov-Type Spaces ($B^{s,\varphi}_{p,q}$)

For these spaces, the authors define critical indices $\sigma(s_1)$ and $\sigma_\infty(s_1)$ based on the growth of $\varphi$.

• Compactness Criteria: The embedding $B^{s_1, \varphi_1}_{p_1, q_1}(\Omega) \hookrightarrow B^{s_2, \varphi_2}_{p_2, q_2}(\Omega)$ is compact if $s_2 < \sigma(s_1)$ (under specific conditions on $\varphi_1$ and $\varphi_2$).
• Improvement over Classical Results: In the special case where $\varphi(t) \sim t^{d(1/p - \tau)}$, these results recover and improve previous known conditions for classical Besov-type spaces (specifically refining the conditions found in earlier works by the authors). The new conditions are shown to be sharp.

C. Generalised Triebel-Lizorkin-Morrey Spaces ($E^s_{\varphi,p,q}$)

Using the relation $E^s_{\varphi,p,q} = F^{s,\varphi}_{p,q}$ (under certain conditions) and the chain of embeddings involving Besov-Morrey spaces, the authors derive compactness criteria for these spaces.

• The compactness condition for $E^{s_1}_{\varphi_1, p_1, q_1} \hookrightarrow E^{s_2}_{\varphi_2, p_2, q_2}$ is shown to be slightly weaker than for Besov-type spaces, depending on $\ell_{\min(p_2, q_2)}$ rather than just the continuity condition.

D. Generalised Morrey Spaces ($M_{\varphi,p}$)

The paper concludes with results for the base Morrey spaces $M_{\varphi,p}(\Omega)$.

• Continuity: The embedding $M_{\varphi_1, p_1} \hookrightarrow M_{\varphi_2, p_2}$ holds if and only if $p_2 \le p_1$ and $\varphi_1(t) \ge C \varphi_2(t)$ for small $t$.
• Non-Compactness: A significant finding is that embeddings between generalised Morrey spaces are never compact on bounded domains, regardless of the smoothness parameters (since these spaces do not involve a smoothness parameter $s$ that can be increased to force compactness).

4. Significance and Impact

• Unification and Generalisation: The paper unifies the theory of classical Morrey spaces, Besov-Morrey spaces, and Besov-type spaces under a single framework of generalised functions $\varphi$. It shows that many classical results are special cases of these broader theorems.
• Sharpness of Conditions: The authors provide necessary and sufficient conditions for compactness, which is a higher standard of result than many previous papers that only provided sufficient conditions.
• Technical Innovation: The introduction of the critical indices $\sigma, \sigma_\infty, \tilde{\sigma}$ allows for a precise description of the "threshold" of smoothness required for compactness when the integrability parameters and the generalising functions vary.
• Applications: These spaces are crucial in the study of Partial Differential Equations (PDEs), particularly Navier-Stokes equations and other non-linear problems where standard Lebesgue or Sobolev spaces are insufficient. The precise compactness criteria are essential for proving the existence of solutions via fixed-point arguments or for analyzing the spectral properties of operators.
• Dedication: The work serves as a tribute to Hans Triebel, a pioneer in the field of function spaces, extending his earlier work on local Morrey spaces and "clans" of function spaces.

In summary, this paper represents a major advancement in the functional analytic theory of Morrey-type spaces, providing a complete and sharp characterisation of embedding properties on bounded domains through a sophisticated wavelet-based approach.