Related papers: "$H=W$" in infinite dimensions

A new weighted Hardy-type inequality for functions from the Sobolev space $W_{p}^{1}$ is proved. It is assumed that functions vanish on small alternating pieces of the boundary. The proved inequality generalizes the classical known weighted…

We provide a quick proof of the following known result: the Sobolev space associated with the Euclidean space, endowed with the Euclidean distance and an arbitrary Radon measure, is Hilbert. Our new approach relies upon the properties of…

In this paper we prove generic results concerning Hardy spaces in one or several complex variables. More precisely, we show that the generic function in certain Hardy type spaces is totally unbounded and hence non-extentable, despite the…

Let $\Omega$ be a smooth oriented bounded domain in $\mathbb R^4$, $H_0^2(\Omega)$ be the Sobolev space, and $\lambda_1(\Omega)= \inf \{\|\Delta u\|_2^2 : u\in H_0^2(\Omega), \|u\|_2 =1\}$ be the first eigenvalue of the bi-Laplacian…

In the framework of Sobolev (Bessel potential) spaces $H^n(\reali^d, \reali {or} \complessi)$, we consider the nonlinear Nemytskij operator sending a function $x \in \reali^d \mapsto f(x)$ into a composite function $x \in \reali^d \mapsto…

A full interpolation theory for Sobolev functions with smoothness between 0 and 1 and vanishing trace on a part of the boundary of an open set is established. Geometric assumptions are of mostly measure theoretic nature and reach beyond…

We introduce a notion of a noncommutative function defined on a domain of $d$-tuples of bounded operators on an infinite dimensional Hilbert space. Inverse and implicit function theorems in this setting are established. When these…

In this paper, we specify a set of optimal subspaces for $L_2$ approximation of three classes of functions in the Sobolev space $W^{(r)}_2$, defined on a segment and subject to certain boundary conditions. All of these subspaces are…

We show in this paper that every domain in a separable Hilbert space, say $\cH$, which has a $C^2$ smooth strongly pseudoconvex boundary point at which an automorphism orbit accumulates is biholomorphic to the unit ball of $\cH$. This is…

We consider function spaces of Besov, Triebel-Lizorkin, Bessel-potential and Sobolev type on $\R^d$, equipped with power weights $w(x) = |x|^\gamma$, $\gamma>-d$. We prove two-weight Sobolev embeddings for these spaces. Moreover, we…

We establish the existence of solutions of fully nonlinear elliptic second-order equations like $H(v,Dv,D^{2}v,x)=0$ in smooth domains without requiring $H$ to be convex or concave with respect to the second-order derivatives. Apart from…

The main result of the paper is an extension of the Dirichlet problem from (closures of) bounded open domains U to arbitrary compact subsets X of the complex plane, i.e. the closure of the corresponding space of functions which are harmonic…

Let $ m, n $ be integers such that $ \frac{n}{2} > m \geq 1 $ and let $ (M, g) $ be a closed $ n-$dimensional Riemannian manifold. We prove there exists some $ B \in \mathbb{R} $ depending only on $ (M, g) $, $ m $, and $ n $ such that for…

Suppose that $f$ belongs to a suitably defined complete metric space $ {{\cal C}}^{{\alpha}}$ of H\"older $ {\alpha}$-functions defined on $[0,1]$. We are interested in whether one can find large (in the sense of Hausdorff, or lower/upper…

We investigate operators between spaces of holomorphic functions in several complex variables. Let $G_1, G_2 \subset \mathbb{C}^n$ be cylindrical domains. We construct a canonical map from the space of bounded linear operators…

We establish a spectral duality for certain unbounded operators in Hilbert space. The class of operators includes discrete graph Laplacians arising from infinite weighted graphs. The problem in this context is to establish a practical…

We study the density of polynomials in $H^2(\Omega,e^{-\varphi})$, the space of square integrable holomorphic functions in a bounded domain $\Omega$ in $\mathbb{C}$, where $\varphi$ is a subharmonic function. In particular, we prove that…

Let $E$, $F$ be separable Hilbert spaces, and assume that $E$ is infinite-dimensional. We show that for every continuous mapping $f:E\to F$ and every continuous function $\varepsilon: E\to (0, \infty)$ there exists a $C^{\infty}$ mapping…

We construct a Hilbert holomorphic function space $H$ on the unit disk such that the polynomials are dense in $H$, but the odd polynomials are not dense in the odd functions in $H$. As a consequence, there exists a function $f$ in $H$ that…

In most classical holomorphic function spaces on the unit disk, a function $f$ can be approximated in the norm of the space by its dilates $f\_r(z):=f(rz)~(r \textless{} 1)$. We show that this is \emph{not} the case for the de…