Fractional Besov-Sobolev Spaces on Quasicircles
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912929193918464 |
|---|---|
| author | Wei, Huaying Zinsmeister, Michel |
| author_facet | Wei, Huaying Zinsmeister, Michel |
| contents | Let $Γ$ be a bounded Jordan curve and $Ω_i,Ω_e$ its two complementary components. For $p\in (1, \infty),\,s\in(0,1)$ we define the two spaces $\mathcal{B}_{p,p}^s(Ω_{i,e})$ as the set of harmonic functions $u$ respectively in $Ω_i$ and $Ω_e$ such that $$ \iint_{Ω_{i,e}} |\nabla u(z)|^p d(z,Γ)^{(1-s)p-1} dxdy<+\infty.$$ When it is possible to identify these spaces with spaces of functions on the boundary (trace spaces), we address the question of their equality. When $Γ$ is the unit circle, these two spaces coincide with homogeneous fractional Besov-Sobolev spaces and the framework of quasicircles appears to be an appropriate generalization. In this framework, we study the boundedness of the Plemelj-Calderón operator and apply the results to show that for some values of $p,s$, if the two spaces coincide, they are restrictions to $Γ$ of some weighted Sobolev space.
If $Γ$ is further assumed to be rectifiable, we define $B_{p,p}^s(Γ)$ as the space of functions $f\in L^p(Γ)$ such that $$\iint_{Γ\times Γ}\frac{|f(z)-f(ζ)|^p}{|z-ζ|^{1+ps}} |dz||dζ|<+\infty.$$ Again, these spaces coincide with the homogeneous fractional Besov-Sobolev spaces for the unit circle.
While the chord-arc property is the necessary and sufficient condition for the equality $$\mathcal{B}_{p,p}^s(Ω_{i})=\mathcal{B}_{p,p}^s(Ω_{e})=B_{p,p}^s(Γ)$$
in the case of $s=1/p,\, p\ge 2$, this is no longer the case for general $s\in (0,1)$. However, we show that equality holds for radial-Lipschitz curves. Finally, we re-interpretate some of our results as some "almost"-Dirichlet principle in the spirit of Maz'ya. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_01348 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Fractional Besov-Sobolev Spaces on Quasicircles Wei, Huaying Zinsmeister, Michel Complex Variables Classical Analysis and ODEs Primary 42B20, 46E35, Secondary 31A05, 30H35 Let $Γ$ be a bounded Jordan curve and $Ω_i,Ω_e$ its two complementary components. For $p\in (1, \infty),\,s\in(0,1)$ we define the two spaces $\mathcal{B}_{p,p}^s(Ω_{i,e})$ as the set of harmonic functions $u$ respectively in $Ω_i$ and $Ω_e$ such that $$ \iint_{Ω_{i,e}} |\nabla u(z)|^p d(z,Γ)^{(1-s)p-1} dxdy<+\infty.$$ When it is possible to identify these spaces with spaces of functions on the boundary (trace spaces), we address the question of their equality. When $Γ$ is the unit circle, these two spaces coincide with homogeneous fractional Besov-Sobolev spaces and the framework of quasicircles appears to be an appropriate generalization. In this framework, we study the boundedness of the Plemelj-Calderón operator and apply the results to show that for some values of $p,s$, if the two spaces coincide, they are restrictions to $Γ$ of some weighted Sobolev space. If $Γ$ is further assumed to be rectifiable, we define $B_{p,p}^s(Γ)$ as the space of functions $f\in L^p(Γ)$ such that $$\iint_{Γ\times Γ}\frac{|f(z)-f(ζ)|^p}{|z-ζ|^{1+ps}} |dz||dζ|<+\infty.$$ Again, these spaces coincide with the homogeneous fractional Besov-Sobolev spaces for the unit circle. While the chord-arc property is the necessary and sufficient condition for the equality $$\mathcal{B}_{p,p}^s(Ω_{i})=\mathcal{B}_{p,p}^s(Ω_{e})=B_{p,p}^s(Γ)$$ in the case of $s=1/p,\, p\ge 2$, this is no longer the case for general $s\in (0,1)$. However, we show that equality holds for radial-Lipschitz curves. Finally, we re-interpretate some of our results as some "almost"-Dirichlet principle in the spirit of Maz'ya. |
| title | Fractional Besov-Sobolev Spaces on Quasicircles |
| topic | Complex Variables Classical Analysis and ODEs Primary 42B20, 46E35, Secondary 31A05, 30H35 |
| url | https://arxiv.org/abs/2601.01348 |