Related papers: Dirichlet spaces on H-convex sets in Wiener space
The classical ``$H=W$" theorem establishes the identity between two function spaces on an arbitrary nonempty open set in the Euclidean spaces: the space $W$ defined via weak derivatives, and the space $H$ defined as the closure of smooth…
Here, a natural extension of Sobolev spaces is defined for a Finsler structure $F$ and it is shown that the set of all real $C^{\infty}$ functions with compact support on a forward geodesically complete Finsler manifold $(M, F)$, is dense…
Let $(M,F)$ be a $C^\infty$ Finsler manifold, $p\geq 1$ a real number, $k$ a positive integer and $H_k^p (M)$ a certain Sobolev space determined by a Finsler structure $F$. Here, it is shown that the set of all real $C^{\infty}$ functions…
We prove a general criterion for the density in energy of suitable subalgebras of Lipschitz functions in the metric-Sobolev space $H^{1,p}(X,\mathsf{d},\mathfrak{m})$ associated with a positive and finite Borel measure $\mathfrak{m}$ in a…
We show that the algebra of cylinder functions in the Wasserstein Sobolev space $H^{1,q}(\mathcal{P}_p(X,\mathsf{d}), W_{p, \mathsf{d}}, \mathfrak{m})$ generated by a finite and positive Borel measure $\mathfrak{m}$ on the…
In this article we prove a global result in the spirit of Basener's theorem regarding the relation between q-pseudoconvexity and q-holomorphic convexity: we prove that any smoothly bounded strictly q-pseudoconvex open subset of the complex…
In this paper we consider an abstract Wiener space $(X,\gamma,H)$ and an open subset $O\subseteq X$ which satisfies suitable assumptions. For every $p\in(1,+\infty)$ we define the Sobolev space $W_{0}^{1,p}(O,\gamma)$ as the closure of…
We study some canonical differential operators on vector bundles over smooth, complete Riemannian manifolds. Under very general assumptions, we show that smooth, compactly supported sections are dense in the domains of these operators.…
The present paper studies the Dirichlet spaces in balls and upper-half Euclidean spaces. As main results, we give identical characterizations of the Dirichlet norms in the respective contexts as for the classical 2-D disc case proved by…
The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space $X\times Y$ can be determined from its factors. We show that two natural descriptions of the Sobolev space…
We show that if $u$ is a compactly supported distribution on the complex plane such that, for every pair of entire functions $f,g$, \[ \langle u,f\overline{g}\rangle=\langle u,f\rangle\langle u,\overline{g}\rangle, \] then $u$ is supported…
We consider the Dirichlet problem $\lambda U - {\mathcal{L}}U= F$ in \mathcal{O}, U=0 on $\partial \mathcal{O}$. Here $F\in L^2(\mathcal{O}, \mu)$ where $\mu$ is a nondegenerate centered Gaussian measure in a Hilbert space $X$,…
A basilar property and a useful tool in the theory of Sobolev spaces is the density of smooth compactly supported functions in the space $W^{k,p}(\R^n)$ (i.e. the functions with weak derivatives of orders $0$ to $k$ in $L^p$). On Riemannian…
For a Kahler manifold X, we study a space of test functions W* which is a complex version of H1. We prove for W* the classical results of the theory of Dirichlet spaces: the functions in W* are defined up to a pluripolar set and the…
We introduce a new functional space U designed to contain all classical arithmetic functions (Mobius, von Mangoldt, Euler phi, divisor functions, Dirichlet characters, etc.). The norm of U combines a Hilbert-type component, based on square…
We consider the Sobolev space over $\mathbb{R}^d$ of square integrable functions whose gradient is also square integrable with respect to some positive weight. Tt is well known that smooth functions are dense in the weighted Sobolev space…
We consider quasi-polynomial spaces of differential forms defined as weighted (with a positive weight) spaces of differential forms with polynomial coefficients. We show that the unisolvent set of functionals for such spaces on a simplex in…
In this work we prove that any unitary Sobolev $W^{1,2}$ connection of an Hermitian bundle over a 2-dimensional K\"ahler manifold whose curvature is $(1,1)$ defines a smooth holomorphic structure. We prove moreover that such a connection…
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…
We prove that smooth $C^\infty$ functions are dense in weighted fractional Sobolev spaces on an arbitrary open set, under some mild conditions on the weight. We also obtain a~similar result in non-weighted spaces defined by some kernel…