All Questions
Tagged with fa.functional-analysis reference-request
386 questions with no upvoted or accepted answers
1
vote
0
answers
78
views
Very weak solution to parabolic PDE (pointwise a.e. in time with time derivative on test function)
Consider the parabolic PDE
$$u' + Au = 0$$
as an equality in $L^2(0,T;V^*)$ for some Hilbert space $V$ with $A\colon L^2(0,T;V) \to L^2(0,T;V^*)$ a coercive, bounded linear operator. Here $u'$ is the ...
- 107
1
vote
0
answers
83
views
Embedding random variables in infinite-dimensional spaces
Let $H$ be a reproducing kernel Hilbert space of functions $f:E\to F$ with kernel $k$. A point in $E$ may be embedded into $H$ via the canonical embedding $x\mapsto k(x,\cdot)$. Similarly, a random ...
- 710
1
vote
0
answers
52
views
Asymptotically periodic potentials
Who came up with the idea of solving elliptic equations with periodic potentials and from there solving elliptic equations with asymptotically periodic potentials?
- 69
1
vote
0
answers
62
views
Wellposedness of semilinear wave equation with discontinuous source
Where can I find existence and uniqueness results for semilinear wave equations with discontinuous, i.e.
$$\partial^2_{tt} u - \Delta u = f(u), \quad t >0, \ x \in \Omega$$ where $f$ is ...
- 277
1
vote
0
answers
75
views
Derivation of the vortex filament equation from Euler equation
How can the vortex filament equation
$$\partial_t \chi = \partial_s \chi \wedge \partial_{ss} \chi,$$
where $\chi(t,s)$ is a curve in $\mathbb R^3$,
be derived from the Euler equation
$$\partial_t \...
- 277
1
vote
0
answers
100
views
Weak estimate for difference quotient of BV function
In an answer to the question Weak Lebesgue spaces and an estimate for BV functions it was remarked that if $u\in BV(\mathbb R^N)$ then there exists a Lebesgue negligible set $F \subset \mathbb R^N$ ...
- 839
1
vote
0
answers
47
views
Consistency of the definition of total variation for functions of one or several variables
Where can I find a proof that the definition of total variation for functions of several variables is consistent with the definition of total variation for functions of one variable?
- 839
1
vote
0
answers
107
views
Level sets of a BV function and its derivative
Given $u \in BV(\Omega; \mathbb{R}^M)$, where $\Omega \subset \mathbb{R}^N$, what is the relationship between its level sets and its distributional derivative $Db$?
More specifically, does Alberti ...
- 839
1
vote
0
answers
198
views
Sobolev embedding in complete manifold
Let $(M,g)$ be a complete Riemannian $m$-manifold, with bounded geometry and $m\geq2$. Suppose that $(M,g)$ admits a bounded geometry.
Q Can we show that for $k-\frac{m}{p}\geq l-\frac{m}{q}$, we ...
- 1,915
1
vote
0
answers
58
views
Extension of a result about measurable, additive functionals
Let $W$ be a set, and let $v$ be a finitely additive probability measure on $2^W$.
Equip $2^W$ with the Borel sigma-algebra $\mathcal{B}$ generated by the sub-basic sets of the form $\{a: w \in a\}$ ...
- 869
1
vote
0
answers
147
views
Property of Fixed Point Function
Given an operator $\mathcal{T}$ that maps from a function $f: \mathbb{R}^d\rightarrow \mathbb{R}$ to another function $f': \mathbb{R}^d\rightarrow \mathbb{R}$, we are interested in the fixed point $f^*...
- 1,127
1
vote
0
answers
71
views
Kernel of Radon transform in $\mathbb{R}^3$
Consider the Radon transform from the space of functions on the manifold of affine lines in $\mathbb{R}^3$ to functions on the manifold of affine 2-planes in $\mathbb{R}^3$:
$$(Rf)(H):=\int_{l\subset ...
- 21.8k
1
vote
0
answers
50
views
Representability of smooth invertible Lipschitz functions by a finite composition of near-identity functions
Theorem 1 of this paper shows that
For every positve integer $K$ and for every nonempty bounded domain $\mathcal X \subseteq \mathbb R^d$, the restriction on $\mathcal X$ of any function $h: \...
- 6,853
1
vote
0
answers
63
views
Are the sets whose convex hull surface admits multiple representations a shy set of sets?
Consider a compact subset $A$ of $R^n$. Let me call $A$ special if any point $x$ that is on the boundary of $\textsf{conv.hull}(A)$ admits a unique representation as a convex combination of points in $...
- 151
1
vote
0
answers
324
views
Conditions for Poisson summation (for discontinuous functions)
Let $G$ be an locally compact abelian group with $\Gamma$ a discrete cocompact subgroup. I'm looking for precise conditions by which Poisson summation formula holds. That is, for some function $f$ on $...
- 3,799
1
vote
0
answers
217
views
Status of an open problem in isometric aspect of Banach space theory
The following open problem is taken from the book Open Problems in the Geometry and Analysis of Banach Spaces, page $40.$
Problem $84:$ Assume that $X$ is an infinite-dimensional separable Banach ...
- 623
1
vote
0
answers
50
views
Comparison of (square) of a function and its Fourier transform in an integral
I am completely stuck on a comparison between $f(t)^2$ and $\hat{f}(t)^2$ in an integral.
Considering $f(t)$ of rapid decrease at infinity such that near zero: $f(t) \sim_0 t^{-\frac{1}{2}- \alpha}+o(...
- 1,199
1
vote
0
answers
877
views
Changing the order of integration of double integral: references and theorems
The Fubini's theorem states that if we have $ \int_0^{\infty} \int_0^{\infty} |f(t,x)| dt dx$ well defined (i.e. function is absolutely integrable) then we can interchange order of integration:
$$ \...
- 1,199
1
vote
0
answers
72
views
What kind of null set is this?
Let $H$ be a Hilbert space.
Suppose the following holds: for every orthonormal basis $\{e_n\}$ of $H$ and sequence $\{\epsilon_n\} \in \ell^2(\mathbb{N})$, with $C:= \prod_n [-\epsilon_n e_n, \...
- 11
1
vote
0
answers
53
views
Is it possible that a convex cone and its closure both induce vector lattices?
Given a convex cone $P\subset X$ where $X$ is a $K$-vector space, $K=\mathbb{R}\text{ or }\mathbb{C}$ is a field.
Suppose that $P$ satisfies positive element stipulations.
(1) $X=P-P$.
(2) $P\cap-P=...
- 8,071
1
vote
0
answers
154
views
Lyapunov stability for nonlinear PDEs
Where can I find a theorem about Lyapunov stability for the equation in Hilbert space?
$$
y' = Fy,
$$
where $F : V \to V'$ is a nonlinear operator , $y' \in L^2(0,T,V')$, $V$ is a Hilbert space.
...
- 243
1
vote
0
answers
74
views
Reference for a text book on the Toeplitz operators $T:l^{\infty}(\mathbb Z, \mathbb R^2)→l^{\infty}(\mathbb Z, \mathbb R^2)$
We need basic reference on the Toeplitz operators $T:l^{\infty}(\mathbb Z, \mathbb R^2)→l^{\infty}(\mathbb Z, \mathbb R^2)$. Usually text books cover much more subtle case of $T:l^{\infty}(\mathbb Z_+,...
- 11
1
vote
0
answers
135
views
infinite dimensional funtional ito calculus
I've been reading into functional Ito calculus and everything I've come across deals with processes generated by finite dimensional semimartingales. In Dupire's 2009 landmark paper he speaks about ...
- 5,405
1
vote
0
answers
469
views
Multilinear Interpolation
Suppose I have a multilinear map $\Gamma(u,v)$ satisfying
\begin{align}
\big\| \Gamma(u,v)\big\|_{L^2} &\leq \big\| u\big\|_{L^2} \big\| v\big\|_{L^2} \\
\big\| \Gamma(u,v)\big\|_{L^\infty} &\...
- 516
1
vote
0
answers
62
views
Reference request - Compact embedding of intermediate space
Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$.
...
- 679
1
vote
0
answers
124
views
One-sided local $L^p$ spaces
Consider the vector space $L^p_{\text{left-loc}}$ of measurable functions $f:[0,1]\to\mathbb R$ so that for all $x\in(0,1]$ there exists $\delta>0$ so that $f|_{[x-\delta,x]}\in L^p$.
Does this ...
- 8,086
1
vote
0
answers
207
views
Vector valued Sobolev spaces
My question is in reference to this question previously asked here. As asked there, consider a function $f \in H^s_x(L^2_y) \cap L^2_x(H^s_y)$. In the notation of Lions and Magenes (Chapter 4, Vol 2), ...
- 11
1
vote
0
answers
174
views
Estimates of entropy of functional spaces
Let $M^n$ be a compact $n$-dimensional manifold. For $k\geq 0$ let us denote by $C^k(M)$ the Banach space of $k$ times continuously differentiable functions, and $B_{C^k}$ denote the unit ball of it.
...
- 21.8k
1
vote
0
answers
233
views
Sum-epimorphisms and prod-monomorphisms
Sum-epimorphisms
A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition:
DEFINITION 1 ...
- 7,500
1
vote
0
answers
120
views
Fractional Poincare inequality on closed manifold
Let $u \in H^{\frac 12}(M)$ on a compact closed Riemannian manifold. Can someone refer me to a source where the inequality
$$\lVert u - \bar u \rVert_{L^{2^*}} \leq C|u|_{H^{\frac 12}}$$
is proved, or ...
- 11
1
vote
0
answers
163
views
Reference : Special case of Banach-valued function integration by parts
Let $u \in L^p (0,T; L^1(\Omega))$ with $\partial_t u \in L^p(0,T; L^1(\Omega))$ and $v \in L^q (0,T; L^\infty(\Omega))$ with $\partial_t u \in L^q(0,T; L^\infty(\Omega))$ (with $1/p+1/q=1$ and $p \in ...
- 171
1
vote
0
answers
417
views
Defining density of a random function using Radon-Nikodym Theorem
Let $(\Omega,\mathbb{F},P)$ be a probability space and $E$ be an infinite dimensional Banach space and $\mathbb{B}$ be the $\sigma$-algebra of Borel subset of $E$.
Let $X$ be random function defined ...
- 213
1
vote
0
answers
96
views
Reference needed for Hilbert-Schmidt result regarding basis of $V \subset H$
I am seeking a reference that says:
If $V \subset H \subset V^*$ is a Gelfand triple with all spaces Hilbert spaces and if $V \subset H$ is a compact embedding, then there is a basis of $V$ which ...
- 107
1
vote
0
answers
269
views
$L^{p}(\mathbb R)\subset L^{1}(\mathbb R) \ast L^{p}(\mathbb R), (1< p< \infty)$?
Let $\mathbb T$ be a circle group.
In 1939, Salem, has shown that, every member of $L^{1}(\mathbb T)$ can written as a product(convolution) some other two members of $L^{1}(\mathbb T),$ that is, $L^...
- 1,051
1
vote
0
answers
258
views
Is an exact operator, unitary equivalent to a banded operator?
Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Definition : Let $(e_{n})_{n \in \mathbb{N}}$ be an orthonormal basis.
$T \in B(H)$ is ...
1
vote
0
answers
618
views
A question on a variant of Hardy's inequality.
I would like to know a proof of a variant of Hardy's inequality below. Could anyone introduce me a reference or give me a proof? Thank you very much for your assistance.
Set $0<r<\frac{2(n-s)...
- 11
1
vote
0
answers
61
views
Multi-completely monotone functions
Consider a $C^{\infty}$ nonnegative function $f(x,y,z)$, $x,y,z>0$ and let $\lambda f(\lambda x, \lambda y,\lambda z) \equiv f(z,y,z)$ for any $\lambda > 0$ (positive homogenity). Define
$$
g_{...
- 1,329
1
vote
0
answers
125
views
base change for distributions
For distributions on smooth manifolds one can consider the push-forward which is defined for proper maps, and the pull-back which is defined under certain condition on the wave front set see ...
- 2,639
1
vote
0
answers
125
views
Isomorphisms of group extensions arising from antisymmetric forms
Let $V,W$ be topological vector spaces and fix continuous antisymmetric bilinear forms $\omega_1:V\times V\to \mathbb{R}$, $\omega_2:W\times W\to\mathbb{R}$. Since $\omega_1$ is a 2-cocycle (in fact ...
- 1,411
1
vote
0
answers
465
views
Reference book for a stronger version of Goldstine theorem
Let me quote the proof of Goldstine theorem from wikipedia ( http://en.wikipedia.org/wiki/Goldstine_theorem ):
Given an $x^{**} \in B_{X^{**}}$, a tuple $(\phi_1, \dots, \phi_n)$ of linearly ...
- 311
1
vote
2
answers
2k
views
Bounding the norm of the Laplacian of the gradient of a function having Lipschitz continuous Hessian
It seems that the following claim is true, but I did not manage to prove it neither to find a reference.
Claim Let $f:\mathbb R^p\to\mathbb R$ be a three times differentiable function such that its ...
- 11
1
vote
1
answer
464
views
Formulas for $\arg\max$
are any formulas for $\arg\max(f(x))$ known
(in the context of this question, $\max(f(x))$ shall denote the essential supremum of $f(x)$ over some given domain $\Omega\subset X$)?
The reason for ...
- 13.2k
0
votes
0
answers
55
views
reference request: conditions for pointwise and operator-norm convergence of kernel projections
At a very high level, I’m interested in the following question. Suppose $X$ is a (separable) Hilbert space, and $T_n : X \rightarrow X$ is a sequence of finite rank self-adjoint maps that converges (...
- 101
0
votes
0
answers
105
views
Generalizing the property of linear independent set in infinite dimensional TVS
Given a infinite dimensional Hilbert space $H$, and a countable set of vectors $\{v_{i}\}_{i=1}^{\infty}$. I want to study the following property of $\{v_{i}\}_{i=1}^{\infty}$:
There exists sequences $...
- 523
0
votes
0
answers
78
views
Definition of Moore-Penrose inverse for unbounded self-adjoint operators?
I know there is a concept of Moore-Penrose or pseudoinverse of a matrix. I would like to know if one can define it for densely defined unbounded self-adjoint operators on Hilbert spaces as well. ...
0
votes
0
answers
34
views
Locally compact groupoid with range map restricted to isotropy groupoid is open
Suppose the action groupoid 𝐺=𝐻⋉𝑋, where 𝐻 is a locally compact group and 𝑋
a locally compact space is such that isotropy subgroups of H are isomorphic to each other.
Can this be an example of a ...
0
votes
0
answers
39
views
Comonotone solution for Optimal Transport problems with supermodular surplus
In Alfred Galichon's book Optimal Transport Methods in Economics the foollowing result is stated for OT problems on the real line.
Theorem 4.3.(i) Assume that $\Phi$ is supermodular. Then the primal ...
0
votes
0
answers
89
views
Maximal function on mixed $L^{p}$
Consider $ f_{j,k}$ to be a function in $L^{p}(l^{q}(l^{2}))$, that is
$$
\Vert f_{j,k} \Vert^{p}_{L^{p}(l^{q}(l^{2}))} = \int_{\mathbb{R}^{n}} \left( \sum_{k} \big[ \sum_{j} \vert f_{j,k}(x) \vert^{2}...
- 31
0
votes
0
answers
32
views
reference request: mercer expansion and kernel underlying Sobolev spaces?
Let us define the periodic Sobolev spaces, for $s > n/2$ by
$$
H_{s}([0, 1]^n) = \{f : [0, 1]^n \to \mathbb{R} :\mbox{for}~j\leq s, f^{(j)} |_{\partial[0, 1]^n} \equiv 0, ~~
\int_{[0, 1]^d} (f^{(s)...
- 380
0
votes
0
answers
60
views
asymptotic expansions for $C^{1+\epsilon}$operators
I want to understand the asymptotic expansion for $C^{1+\epsilon}$ operators.
More precisely, if a complex operator $T(z)=\sum_{n \ge 1}T_n z^n$ is defined on a closed unit disk, and it is $C^{1+\...
user522705