skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on December 1, 2025

Title: Sharp lower bounds on the manifold widths of Sobolev and Besov spaces
We consider the problem of determining the manifold $$n$$-widths of Sobolev and Besov spaces with error measured in the $$L_p$$-norm. The manifold widths control how efficiently these spaces can be approximated by general non-linear parametric methods with the restriction that the parameter selection and parameterization maps must be continuous. Existing upper and lower bounds only match when the Sobolev or Besov smoothness index $$q$$ satisfies $$q\leq p$$ or $$1 \leq p \leq 2$$. We close this gap and obtain sharp lower bounds for all $$1 \leq p,q \leq \infty$$ for which a compact embedding holds. A key part of our analysis is to determine the exact value of the manifold widths of finite dimensional $$\ell^M_q$$-balls in the $$\ell_p$$-norm when $$p\leq q$$. Although this result is not new, we provide a new proof and apply it to lower bounding the manifold widths of Sobolev and Besov spaces. Our results show that the Bernstein widths, which are typically used to lower bound the manifold widths, decay asymptotically faster than the manifold widths in many cases.  more » « less
Award ID(s):
2424305 2205004
PAR ID:
10519854
Author(s) / Creator(s):
Publisher / Repository:
Journal of Complexity
Date Published:
Journal Name:
Journal of Complexity
Volume:
85
Issue:
C
ISSN:
0885-064X
Page Range / eLocation ID:
101884
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Abstract We show that the 1st-order Sobolev spaces $$W^{1,p}(\Omega _\psi ),$$  $$1<p\leq \infty ,$$ on cuspidal symmetric domains $$\Omega _\psi $$ can be characterized via pointwise inequalities. In particular, they coincide with the Hajłasz–Sobolev spaces $$M^{1,p}(\Omega _\psi )$$. 
    more » « less
  2. Abstract We consider Lane–Emden ground states with polytropic index 0 ≤ q - 1 ≤ 1 {0\leq q-1\leq 1} , that is, minimizers of the Dirichlet integral among L q {L^{q}} -normalized functions.Our main result is a sharp lower bound on the L 2 {L^{2}} -norm of the normal derivative in terms of the energy, which implies a corresponding isoperimetric inequality.Our bound holds for arbitrary bounded open Lipschitz sets Ω ⊂ ℝ d {\Omega\subset\mathbb{R}^{d}} , without assuming convexity. 
    more » « less
  3. null (Ed.)
    Abstract Let $$1\leq p \leq q <\infty $$ and let $$w \in \mathbb{C}$$. Weissler conjectured that the Hermite operator $$e^{w\Delta }$$ is bounded as an operator from $$L^{p}$$ to $$L^{q}$$ on the Hamming cube $$\{-1,1\}^{n}$$ with the norm bound independent of $$n$$ if and only if $$\begin{align*} |p-2-e^{2w}(q-2)|\leq p-|e^{2w}|q. \end{align*}$$It was proved in [ 1], [ 2], and [ 17] in all cases except $$2<p\leq q <3$$ and $$3/2<p\leq q <2$$, which stood open until now. The goal of this paper is to give a full proof of Weissler’s conjecture in the case $p=q$. Several applications will be presented. 
    more » « less
  4. Abstract We provide a complete local well-posedness theory inHsbased Sobolev spaces for the free boundary incompressible Euler equations with zero surface tension on a connected fluid domain. Our well-posedness theory includes: (i) Local well-posedness in the Hadamard sense, i.e., local existence, uniqueness, and the first proof of continuous dependence on the data, all in low regularity Sobolev spaces; (ii) Enhanced uniqueness: Our uniqueness result holds at the level of the Lipschitz norm of the velocity and the$$C^{1,\frac{1}{2}}$$regularity of the free surface; (iii) Stability bounds: We construct a nonlinear functional which measures, in a suitable sense, the distance between two solutions (even when defined on different domains) and we show that this distance is propagated by the flow; (iv) Energy estimates: We prove refined, essentially scale invariant energy estimates for solutions, relying on a newly constructed family of elliptic estimates; (v) Continuation criterion: We give the first proof of a sharp continuation criterion in the physically relevant pointwise norms, at the level of scaling. In essence, we show that solutions can be continued as long as the velocity is in$$L_T^1W^{1,\infty}$$and the free surface is in$$L_T^1C^{1,\frac{1}{2}}$$, which is at the same level as the Beale-Kato-Majda criterion for the boundaryless case; (vi) A novel proof of the construction of regular solutions. Our entire approach is in the Eulerian framework and can be adapted to work in more general fluid domains. 
    more » « less
  5. Abstract In this note, we prove scattering for a defocusing nonlinear Schrödinger equation with initial data lying in a critical Besov space. In addition, we obtain polynomial bounds on the scattering size as a function of the critical Besov norm. 
    more » « less