Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
3,435 questions with no upvoted or accepted answers
2
votes
0
answers
88
views
Dependence and $L^2$ projections of functions
tl;dr: Is it possible that the best approximation to a nonnegative function of three variables with a bivariate function is no better than the best univariate function?
Let $w$ be a density on $\...
- 21
2
votes
1
answer
149
views
Show that $\|P(f\circ\varphi_{\lambda})-\widetilde{f}(\lambda)\|_p=\|P(f\circ\varphi_{\lambda}-\overline{P(\overline{f}\circ\varphi_{\lambda}}))\|_p.$
Let $\Omega = \mathbb B_n,$ the unit ball in $\mathbb C^n$ and $L^2_a(\Omega)$ be the Bergman space endowed with the normalized volume measure on $\Omega.$ Let $k_{\lambda}$ be the associated Bergman ...
- 41
2
votes
0
answers
71
views
Complemented subspaces of $\mathcal s$
Crossposted from Math Stack Exchange
It is well known that a nuclear Fréchet space $X$ is isomorphic to a complemented subspace of $\mathcal s$ (the space of rapidly decreasing sequences) if and only ...
- 655
2
votes
0
answers
137
views
Holder-Besov space and time continuity
Let $\mathbb{T}^d$ be the $d$-dimensional torus, $\mathscr{S}:=C^\infty(\mathbb{T}^d)$ the Schwartz space, $\mathscr{S}'$ the space of tempered distributions.
We consider a dyadic partition of unity $(...
- 573
2
votes
0
answers
56
views
Convergence of conformal metrics with prescribed curvature
We know that for any function $K: \mathbb{D} \to \left[-a, -b\right]$, where $a, b > 0$, there is a unique metric $h$ on the disk $\mathbb{D}$ which is conformal to $dz^{2}$, and has curvature ...
- 63
2
votes
0
answers
107
views
Finite dimensional manifolds as subspace of $\mathbb{R}^\mathbb{N}$
For embedded submanifold, specifically with ambient space being $\mathbb{R}^{n}$, there are many nice properties and results. Specifically there are many examples of matrix manifolds such as the ...
- 275
2
votes
0
answers
185
views
Example of space which is weak Hahn-Banach smooth but not Hahn-Banach smooth
A Banach space $X$ is said to be Hahn-Banach smooth if every linear functional on $X$ has a unique norm-preserving extension over $X^{**}$. Weak Hahn-Banach smoothness is what if the above condition ...
- 521
2
votes
0
answers
97
views
On the second order analog of the upper 1-Lipschitz envelope of a function
Let $u: \mathbb R \to \mathbb R$ be a given function. Then we can consider its upper 1-Lip envelope
$$
\hat u(x) \doteq \inf\{g(x) \, \mid\, g \, \text{has Lipschitz constant 1 and}\, g(y) \geq u(y) \,...
- 355
2
votes
0
answers
261
views
When is an unbounded averaging operator on $\mathbb{R}\to \mathbb{R}$ closed?
Let $\{a_n\}_{n=1}^\infty$, $a_n\in \mathbb{R}$. Consider the following linear operator $A$ on functions $f:\mathbb{R}\to \mathbb{R}$:
$$(Af)(x) = \sum_{n=1}^\infty a_n f(x+n)+ \sum_{n=1}^\infty a_n f(...
- 20.2k
2
votes
0
answers
81
views
Extension of a tangent vector field
Let $\Omega$ be an open subset of $S^2$ with $\overline{\Omega} \neq S^2$. Suppose a continuous tangent vector field $G$ is defined on $\partial \Omega$ such that $|G(y)| = 1$ for all $y \in \partial \...
- 434
2
votes
0
answers
75
views
References for a class of Banach space-valued Gaussian processes
Let $E$ be a separable Banach space, consider a centered $E$-valued Gaussian process $\{x_t,t\ge 0\}$ that satisfies
\begin{equation}
\mathbb{E}\phi(x_s)\psi(x_t)=R(s,t)K(\phi,\psi),\quad \phi,\psi\in ...
- 121
2
votes
0
answers
30
views
Dual of homogeneous Triebel-Lizorkin
Let $ p, q \in (1,\infty)$ and consider the homogeneous Triebel- Lizorkin space $\dot{F}^{s}_{p,q}$ to be the space of all tempered distributions (modulo polynomials) with
$$
[f]^{p}_{\dot{F}^{s}_{p,q}...
- 31
2
votes
0
answers
68
views
Regularity and decay of Fourier-like series on a manifold
Let $D$ be a first-order self-adjoint elliptic differential operator acting on sections of a vector bundle $S$ over a closed manifold $M$. Then it is well-known that the various eigenspaces $E_\lambda$...
- 1,913
2
votes
0
answers
75
views
Regularity of solutions to an elliptic boundary value problem
Let $M = [1,\infty)\times S^2$. For an integer $k \geq 2$ and number $\tau<0$, define the space $L^2_{\tau}([1,\infty);H^k(S^2))$ to be all $H^k(S^2)$-valued functions $u$ on $[1,\infty)$ with $\...
- 969
2
votes
0
answers
132
views
Convergence of integral operators' inverses
Let $K$ be a positive definite integral operator with continuous kernel $K(x,y)$ defined by
$$
Kf(x) = \int_0^1 K(x,y) f(y) \, dy.
$$
Let $K_n$ denote the matrix $K(x_i, x_j)$ with $x_i = i /n$ and ...
- 620
2
votes
0
answers
152
views
Does the complex interpolation space $(L^1(\mathbb{R}),W^{2,1}(\mathbb{R}))_{\frac{1}{2}}$ continuously embed into $L^\infty(\mathbb{R})$?
The complex interpolation space between $(L^p(\mathbb{R}),W^{2,p}(\mathbb{R}))_\theta$ with interpolation parameter $\theta=\frac{1}{2}$ is known to be $W^{1,p}(\mathbb{R})$ for $1<p<\infty$. As ...
- 989
2
votes
0
answers
72
views
Schauder Frames in nuclear vector spaces
In recent years, the definition of frame has been extended to locally convex topological vector spaces (lcs) (1). In particular, let $X$ be a lcs and $X'$ its dual. A sequence $\big((x_n,y_n)\big)_{n\...
- 655
2
votes
0
answers
138
views
Is $L^2([a,b]; L^2(S^2))$ the same as $L^2([a,b] \times S^2)$?
The space $L^2([a,b];L^2(S^2))$ is a Banach space with respect to the norm
$$\left\Vert f \right\Vert_1^2 = \int_{a}^b \left\Vert f(r) \right\Vert_{L^2(S^2)}^2 dr$$
The space $L^2([a,b]\times S^2)$ ...
- 969
2
votes
0
answers
28
views
Monotonicity of the rank of finitely generated closed sublattices
Let $E$ be a Banach lattice. We consider finitely generated elements in the class of all closed sublattices of $E$. Let $F$ be a closed sublattice $E$. Then a subset $G \subseteq F$ is called ...
- 467
2
votes
0
answers
78
views
What is known about $\operatorname{gap}(A) = \|A\| - r(A)$ for bounded operators on Hilbert spaces?
The gap of a bounded linear operator on a Hilbert space is defined as $$\operatorname{gap}(A) := \|A\| - r(A),$$
where $r(A)$ denotes the spectral radius of $A$. A natural question to ask is - for ...
- 165
2
votes
0
answers
60
views
Basis vectors using anti-commuting operators?
Let $V$ be a finite-dimensional inner product space. Suppose $A_{1},...,A_{N}$ are anti-commuting operators, meaning that these are linear operators on $V$ that satisfy:
$$A_{i}A_{j}+A_{j}A_{i} = A_{i}...
- 1,305
2
votes
0
answers
88
views
An example of an $\mathcal{L}_\infty$ Banach space with property p-(V) and without property (V)
Here are the definitions for property $p$-$(V)$ and property $(V)$.
A Banach space $X$ has property $(V)$ if and only if every unconditionally converging operator $T$ from $X$ to any Banach space $Y$ ...
2
votes
0
answers
103
views
What $1$-forms $\theta$ solve $\Delta \theta = f\theta$ for a smooth function $f$?
I have a seemingly basic question that I cannot find any literature on. Let $(M,g)$ be a smooth Riemannian manifold and let $\Delta:\Omega^1(M) \to \Omega^1(M)$ be the Laplace-De Rham operator on $1$-...
- 1,231
2
votes
0
answers
35
views
Continuity of Kernel Mean Embeddings
Given some kernel $k: X \times X \to \mathbb{R}$ with RKHS $H_k$ we say that $k$ is characteristic on the space of signed Radon measures over $X$, denoted by $\mathcal{M}(X)$, if the kernel mean ...
- 161
2
votes
0
answers
138
views
Sufficient initial conditions for "non-local" PDE
I am studying a problem of the form $$i\, \partial_t \psi(t) = L \psi(t) + \int_0^t U(t-r) \psi(r) \, dr, \qquad \psi(0) = \psi_0,$$ where the evolution occurs in some Hilbert space, $L$ is a self-...
- 71
2
votes
0
answers
56
views
Fractional powers of Dirichlet-to-Neumann map to derive estimate for PDE
Assume $\Omega$ is an open, bounded subset of $\mathbb R^3$ with smooth boundary $\partial \Omega= \Gamma$. For $u \in
H^{1/2}(\Gamma)$, let $U \in H^1(\Omega)$ denote the weak solution of
the ...
- 93
2
votes
0
answers
143
views
Convergence of eigenfunctions
In their 1999 paper "Sturm-Liouville operators with singular potentials", Savchuk and Shkalikov prove the uniform resolvent convergence of an operator $L_\varepsilon \rightarrow L$ for $\...
2
votes
0
answers
111
views
Upper bound Hölder norm of the solution to the linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (x)|^2 u(t, x) \}$
Previously, I asked the same question for a non-linear PDE, but I have got no answer. Below, I consider the linear counterpart it.
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb ...
- 825
2
votes
0
answers
116
views
Poincare inequality on the hemisphere
Background:
Let $\mathbb{S}^2_+$ be the hemisphere. Then we know that for $f:\mathbb{S}^2_+\to \mathbb{R}$ satisfying (when written in coordinates) $\int_{0}^{2\pi}\int_{0}^{\pi/2}f(r,\theta)\sin(r)dr ...
- 547
2
votes
0
answers
78
views
Array-determined operator ideals
For a Banach space $X$, we, of course, know what it means for a sequence to be weakly null (to converge to zero in the weak topology).
An array in the Banach space $X$ is a sequence of sequences, $(...
- 121
2
votes
0
answers
319
views
What are alternative or equivalent definitions of a positive-definite function on a group?
The standard definition of a positive-definite function on a group goes as follows:
Let $\varphi : G \rightarrow L(H)$, where $G$ is a group (with an involution) and $H$ a Hilbert space. $L(H)$ is the ...
- 63
2
votes
0
answers
193
views
If the operators $B_i'$ satisfy an inequality, prove that $B_1'+\dotsb+ B_n'$ also satisfies the same inequality
Related: On a deceptively tricky calculus problem.
The way that Leonard Gross proves the log Sobolev inequality is in the following stages:
He proves that for any operator $B$ that satisfies the log ...
- 90
2
votes
0
answers
45
views
Topology of an orbit space constructed from a Fréchet space under the "local" action of some "smooth" group
Let $G$ be a nontrivial connected compact subgroup of the general linear group $\operatorname{GL}(\mathbb{R}^3)$. For example, we may take $G$ to be $\operatorname{SO}(3)$.
Next, let $\mathcal{S}(\...
- 3,487
2
votes
0
answers
78
views
Question about the ''crater'' in mountain-pass theorem while reading a paper of solving mean-field equation by mountain-pass theorem
Actually, I'm reading a paper which finds the saddle point of a functional, of course the unbounded below energy functional will suggest a potential saddle, but the structure of mountain pass is the ...
- 809
2
votes
0
answers
103
views
Find a function $f\geq 0$ such that $e^{-t[(x-\partial_x)\partial_x]^2} f$ is not non-negative for some $t\geq 0$
Consider the square of the Ornstein-Uhlenbeck operator $$A=[(x-\partial_x)\partial_x]^2=(x-\partial_x)\partial_x (x-\partial_x)\partial_x.$$ We know that $[(x-\partial_x)\partial_x]^2$ cannot be a ...
- 90
2
votes
0
answers
139
views
Multidimensional weighted Paley-Wiener spaces are Hilbert spaces?
How to rigorously demonstrate that multidimensional weighted Paley-Wiener spaces are Hilbert spaces?
I am utilizing the exponential type definition established by Elias Stein in the book 'Fourier ...
- 21
2
votes
0
answers
78
views
Converse of existence of minimizers
Let $(V,\|\cdot\|)$ be a real normed linear space. $V$ has the property that given any nonempty convex, closed subset $K$, there exists a unique $v_0\in K$ such that $\|v_0\| \leq \|v\|, \forall v\in ...
- 131
2
votes
0
answers
946
views
On a deceptively tricky calculus problem
Motivation for this question: If the operators $B_i'$ satisfy an inequality, prove that $B_1'+\dots B_n'$ also satisfies the same inequality
Let $A$ be a non-constant operator acting on $C^...
- 90
2
votes
0
answers
172
views
AQFT from a Lagrangian
In physics, the fundamental description of physical theories frequently revolves around the concept of a Lagrangian. My expertise encompasses diverse algebraic formulations within the domain of ...
- 424
2
votes
0
answers
99
views
Is the Leray projection continuous with respect to the Frechet topology of smooth periodic vector fields in $3$ dimensions?
Let $\mathbb{T}^3:=(\mathbb{R}/\mathbb{Z})^3$ be the $3$-torus and $C^\infty(\mathbb{T}^3,\mathbb{R}^3)$ be the Frechet space of smooth periodic vector fields on $\mathbb{T}^3$.
By Helmholtz ...
- 3,487
2
votes
1
answer
196
views
Estimate for the operator $A A_D^{-1}$
Let $O\subset\mathbb{R}^d$
be a bounded domain of the class $C^{1,1}$
(or $C^2$
for simplicity). Let the operator $A_D$
be formally given by the differential expression $A=-\operatorname{div}g(x)\...
2
votes
0
answers
144
views
How to prove $\operatorname{Id}-K$ is a proper map when $K$ is a $C^1$ compact operator?
Assume $X$ is a Banach space, $\Omega \subseteq X$ is an open set, $K\in {C}^{1}( \overline{\Omega}, X)$ is a nonlinear compact map, Is $\operatorname{Id}-K$ a proper map? I think maybe it has ...
- 21
2
votes
0
answers
83
views
Closed form solutions to polynomial operator equations
To the best of my knowledge the problem at hand is a generalisation of monic matrix polynomials. Can a closed form solution to the following equation be found,
$$u_3A_3X^3B_3 + u_2A_2X^2B_2 + ...
2
votes
0
answers
177
views
What are the current open problems in dilation theory?
I just started doing my PhD in mathematics. My topic is unitary dilations of operators. I've been reading a lot of papers on that subject so far (especially about the dilation of $n \ge 3$ commuting ...
- 63
2
votes
0
answers
89
views
On dense subspaces of $L^p$-spaces of finitely additive measures
Let $\mu$ be a finite, finitely additive measure defined on the Borel $\sigma$-algebra of a real separable Hilbert space $\mathcal{H}$ with dual $\mathcal{H}^{*}$. Write $L^{p}(\mathcal{H},\mu)$ for ...
- 577
2
votes
0
answers
95
views
Self adjoint operators from energy functionals
It is known that the equation
$$
\Delta f = 0
$$
on some bounded domain $\Omega$ on $\mathbb{R}^n$ subjected to certain boundary conditions can be derived through the minimization of the Dirichlet ...
- 115
2
votes
0
answers
102
views
Orthogonal representation of free products of two groups
Suppose $A$ and $B$ are two countable, discrete, amenable groups. One definition of amenability tells us that there is a sequence of finitely supported, positive definite functions that converges to 1 ...
- 301
2
votes
0
answers
89
views
How to define the Sobolev quotient space $H^s(Γ)/{\mathbb R}$
Let $\Gamma$ be the boundary of a Lipschitz domain $\Omega\subset \mathbb R^3$. Denote by $H^s(\Gamma)$ the usual scalar Sobolev space for $s\in\mathbb R$. I want to know the definition of the ...
- 63
2
votes
0
answers
63
views
Continuous-time Wold decomposition
I'm looking for a reference for the Wold–Zasukhin decomposition in continuous time for stationary random processes on the real line.
I am aware of the classic result in the book from Rozanov, which ...
- 21
2
votes
0
answers
73
views
Derivative of a functional involving integral and level set
Let $\Omega$ be a bounded smooth domain. For $u\colon \Omega \to \mathbb{R}$, define the functional
$$F(u) = \int_{\{u=0\}}g(x) \; \mathrm{d}x$$
where eg. $u \in H^2(\Omega) \cap C^0(\bar\Omega)$ and ...
- 29