More Like this

1. Finite-dimensional boundary uniform stabilization of the Boussinesq system in Besov spaces by critical use of Carleman estimate-based inverse theory

   https://doi.org/10.1515/jiip-2020-0132  

   Lasiecka, Irena; Priyasad, Buddhika; Triggiani, Roberto (April 2021, Journal of Inverse and Ill-posed Problems)

   null (Ed.)

   Abstract We consider the 𝑑-dimensional Boussinesq system defined on a sufficiently smooth bounded domain and subject to a pair { v , u } \{v,\boldsymbol{u}\} of controls localized on { Γ ~ , ω } \{\widetilde{\Gamma},\omega\} .Here, 𝑣 is a scalar Dirichlet boundary control for the thermal equation, acting on an arbitrarily small connected portion Γ ~ \widetilde{\Gamma} of the boundary Γ = ∂ ⁡ Ω \Gamma=\partial\Omega .Instead, 𝒖 is a 𝑑-dimensional internal control for the fluid equation acting on an arbitrarily small collar 𝜔 supported by Γ ~ \widetilde{\Gamma} .The initial conditions for both fluid and heat equations are taken of low regularity.We then seek to uniformly stabilize such Boussinesq system in the vicinity of an unstable equilibrium pair, in the critical setting of correspondingly low regularity spaces, by means of an explicitly constructed, finite-dimensional feedback control pair { v , u } \{v,\boldsymbol{u}\} localized on { Γ ~ , ω } \{\widetilde{\Gamma},\omega\} .In addition, they will be minimal in number and of reduced dimension; more precisely, 𝒖 will be of dimension ( d - 1 ) (d-1) , to include necessarily its 𝑑-th component, and 𝑣 will be of dimension 1.The resulting space of well-posedness and stabilization is a suitable, tight Besov space for the fluid velocity component (close to L 3 ⁢ ( Ω ) \boldsymbol{L}^{3}(\Omega) for d = 3 d=3 ) and a corresponding Besov space for the thermal component, q > d q>d .Unique continuation inverse theorems for suitably over-determined adjoint static problems play a critical role in the constructive solution.Their proof rests on Carleman-type estimates, a topic pioneered by M. V. Klibanov since the early 80s. 

   more » « less
2. Sharp lower bounds on the manifold widths of Sobolev and Besov spaces

   https://doi.org/10.1016/j.jco.2024.101884  

   Siegel, Jonathan W (December 2024, Journal of Complexity)

   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
3. Hölder Parameterization of Iterated Function Systems and a Self-Aflne Phenomenon

   https://doi.org/10.1515/agms-2020-0125  

   Badger, Matthew; Vellis, Vyron (January 2021, Analysis and Geometry in Metric Spaces)

   null (Ed.)

   Abstract We investigate the Hölder geometry of curves generated by iterated function systems (IFS) in a complete metric space. A theorem of Hata from 1985 asserts that every connected attractor of an IFS is locally connected and path-connected. We give a quantitative strengthening of Hata’s theorem. First we prove that every connected attractor of an IFS is (1/ s )-Hölder path-connected, where s is the similarity dimension of the IFS. Then we show that every connected attractor of an IFS is parameterized by a (1/ α)-Hölder curve for all α > s . At the endpoint, α = s , a theorem of Remes from 1998 already established that connected self-similar sets in Euclidean space that satisfy the open set condition are parameterized by (1/ s )-Hölder curves. In a secondary result, we show how to promote Remes’ theorem to self-similar sets in complete metric spaces, but in this setting require the attractor to have positive s -dimensional Hausdorff measure in lieu of the open set condition. To close the paper, we determine sharp Hölder exponents of parameterizations in the class of connected self-affine Bedford-McMullen carpets and build parameterizations of self-affine sponges. An interesting phenomenon emerges in the self-affine setting. While the optimal parameter s for a self-similar curve in ℝ n is always at most the ambient dimension n , the optimal parameter s for a self-affine curve in ℝ n may be strictly greater than n . 

   more » « less
4. The Novikov conjecture, the group of volume preserving diffeomorphisms and Hilbert-Hadamard spaces

   Gong, Sherry; Wu, Jianchao; Yu, Guoliang (August 2024, Geometric and functional analysis)

   We prove that the Novikov conjecture holds for any discrete group admitting an isometric and metrically proper action on an admissible Hilbert-Hadamard space. Admissible Hilbert-Hadamard spaces are a class of (possibly infinite-dimensional) non-positively curved metric spaces that contain dense sequences of closed convex subsets isometric to Riemannian manifolds. Examples of admissible Hilbert-Hadamard spaces include Hilbert spaces, certain simply connected and non-positively curved Riemannian-Hilbertian manifolds and infinite-dimensional symmetric spaces. Thus our main theorem can be considered as an infinite-dimensional analogue of Kasparov’s theorem on the Novikov conjecture for groups acting properly and isometrically on complete, simply connected and non-positively curved manifolds. As a consequence, we show that the Novikov conjecture holds for geometrically discrete subgroups of the group of volume preserving diffeomorphisms of a closed smooth manifold. This result is inspired by Connes’ theorem that the Novikov conjecture holds for higher signatures associated to the Gelfand-Fuchs classes of groups of diffeormorphisms. 

   more » « less
5. On homogeneous Newton-Sobolev spaces of functions in metric measure spaces of uniformly locally controlled geometry

   https://doi.org/10.1007/s00229-025-01656-5  

   Gibara, Ryan; Kangasniemi, Ilmari; Shanmugalingam, Nageswari (July 2025, Manuscripta mathematica)

   We study the large-scale behavior of Newton-Sobolev functions on complete, connected, proper, separable metric measure spaces equipped with a Borel measure μ with μ(X) = ∞ and 0 < μ(B(x, r)) < ∞ for all x ∈ X and r ∈ (0, ∞). Our objective is to understand the relationship between the Dirichlet space D^(1,p)(X), defined using upper gradients, and the Newton-Sobolev space N^(1,p)(X)+ℝ, for 1 ≤ p < ∞. We show that when X is of uniformly locally p-controlled geometry, these two spaces do not coincide under a wide variety of geometric and potential theoretic conditions. We also show that when the metric measure space is the standard hyperbolic space ℍⁿ with n ≥ 2, these two spaces coincide precisely when 1 ≤ p ≤ n-1. We also provide additional characterizations of when a function in D^(1,p)(X) is in N^(1,p)(X)+ℝ in the case that the two spaces do not coincide. 

   more » « less