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
71
views
Error bounds for eigenvalue expansion of the Mathieu equation
The Mathieu equation is an important eigenvalue problem in Mathematical Physics that is completely understood in its properties, although there is no "direct way" of expressing eigenvalues and ...
- 259
2
votes
0
answers
79
views
Point Spectrum of a Second Order System of Differential Equations
Consider the following operator acting on $H^1(\mathbb{R})$
$$
\mathcal{L} \left(\begin{array}{c} \phi \\ \psi \end{array}\right) = -\left(\begin{array}{c} \phi \\ \psi \end{array}\right)'' + V(x) \...
- 516
2
votes
0
answers
142
views
Points are removable for weakly differentiable functions
If $\Omega \subseteq \mathbb{R}^N$ is an open set and $N \ge 2$, then any point $a \in \Omega$ is removable for weakly differentiable maps: for each function $u \in W^{1, 1} (\Omega \setminus \{a\})$, ...
- 2,834
2
votes
0
answers
223
views
One parameter family of elliptic equations
Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = N(\...
- 21
2
votes
0
answers
467
views
Reference request: The compactness and compact embedding in Besov Space?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
- 679
2
votes
0
answers
396
views
"Friedrichs extension Laplacian" vs "Weak Laplacian" and fractional powers
Take $\Omega$ to be a bounded domain and consider Neumann BCs.
In some works, I see that a Laplacian $(-\Delta_D)^{\frac 12}$ is defined as an operator with domain $H^1(\Omega)$, and in other works, ...
- 21
2
votes
0
answers
356
views
Existence of topology on the space of continuous functions
Let $C:=C([0,1],\mathbb{R})$ be the space of real-valued continuous functions defined on $[0,1]$. Could we find a topological vector space topology $\pi$ on $C$ such that the following two conditions ...
- 1,835
2
votes
0
answers
52
views
About norm on $H^{\frac 12}(M \times \{0,1\})$
Let $X=M \times \{0,1\}$ with $M$ a smooth compact manifold without boundary.
Define the fractional Sobolev space $H^{\frac 12}(X) = (L^2(X), H^1(X))_{\frac 12}$, as the real interpolation space ...
- 171
2
votes
0
answers
156
views
When does analytic in the operator norm imply analytic in the trace class norm?
This is a crosspost from MSE. It's been up there for a few weeks now. A 200 rep bounty yielded no results (or even comments). I'm hoping someone here has some helpful ideas. See this post for the ...
- 121
2
votes
0
answers
237
views
Parametric Sard-Smale theorem - when is the generic set open?
I am learning Morse/Floer Theory and in my work on my master's thesis I want to apply the parametric Sard-Smale theorem. I.e. I consider a Banach bundle $\mathcal{L} \to \mathcal{M}\times \mathcal{G}$ ...
- 529
2
votes
0
answers
261
views
Normed space that is sigma-totally-bounded but is not sigma-compact
Q1: Is there a separable normed space that is not sigma-compact, but is a countable union of
totally bounded closed subsets?
A test case is the space $C^1(I)$ with the $C^0$ norm where $I=[0,1]$. ...
- 29.1k
2
votes
0
answers
58
views
Smooth bivariate functions identifiable under permutations
Consider a "smooth" $f : [0,1]^2 \to [0,1]$ and let $\pi : [n] \to [n]$ be a permutation of $[n] =\{1,\dots,n\}$. Let us define
$$
A^{f,\pi} := \Big( f\Big(\frac{\pi(i)}{n},\frac{\pi(j)}{n}\Big) \...
- 1,731
2
votes
0
answers
320
views
Sobolev trace theorem
Set $Q:=\Omega\times(0,T)\subset\mathbb{R}^{n+1}$,
where $\Omega$ is knows as a bounded domain
with smooth boundary $\partial D$.
We choose any subdomain $D\subset Q$
with smooth boundary $\partial ...
- 375
2
votes
0
answers
154
views
Asymptotics of "heat" semigroup
Consider a bounded domain $\Omega \subset \mathbb{R}^n$ with smooth boundary. Consider a second order elliptic operator $L$ on $L^2(\Omega)$, defined by either the Dirichlet or Neumann boundary ...
- 21
2
votes
0
answers
151
views
Weak Morrey Spaces
As is well known, Morrey spaces are widely used to
investigate the local behavior of solutions to second order elliptic partial differential
equations. Recall that the classical Morrey spaces $\...
- 201
2
votes
0
answers
2k
views
Orthogonal complements of intersections of closed subspaces
Let $H$ be a Hilbert space and $H_1, \cdots, H_n$ be closed subspaces of $H$.
$\mathbf{Question}:$ Is it always true that the orthogonal complement $(H_1\cap\cdots\cap H_n)^\bot$ of the intersection ...
- 285
2
votes
0
answers
108
views
Quantitative estimate of heat dispersion - off diagonal estimates
Consider the heat equation $\partial_t u - \Delta u = 0$ on a compact manifold $M$ (if $M$ has a smooth boundary, then we assume either Dirichlet or Neumann boundary condition). Consider $u_0 (x) = u(...
- 21
2
votes
0
answers
104
views
Fixed point theorem in ordered spaces
Can someone provide a proof or a source containing a proof of the following theorem
Theorem: Let $D$ be a subset of the cone $K$ of partially
ordered space $E,$ $F:D\rightarrow E$ be nondecreasing. ...
- 21
2
votes
0
answers
351
views
On isolated points of the approximate point spectrum of a bounded operator
Let $X$ be a complex Banach space and $T$ be a bounded operator acting on $X$.
Let $\sigma(T)$ and $\sigma_{ap}(T)$ denote the spectrum and approximate point spectrum of $T$, respectively.
Let $\...
- 515
2
votes
0
answers
102
views
Sobolev trace of $H^1(\mathcal{M} \times I)$ functions
Let $\mathcal{M}$ be a compact Riemannian manifold and let $I=(0,1)$. I seek a trace theorem saying that functions $u \in H^1(\mathcal{M} \times I)$ have a well-defined trace at $\mathcal{M} \times \{...
- 21
2
votes
0
answers
99
views
Equicontinuity of $\{f_{2n}\circ f_{2n-1}\}$
Let $(X,D)$ be a compact metric space and $\{f_n\}_{n\in\mathbb{N}}$ be a sequence of homeomorphisms of $(X,d)$. It is easy to see that if $\{f_n\}$ is uniformly convergent then $\{g_n\}$ defined by $...
2
votes
0
answers
153
views
Size of the eigenfunction of Laplacian (reference request)
It is a classical Sobolev inequality that if $\phi$ is an eigenfunction of the Laplace-Beltrami operator on a $n$-dim compact Riemannian manifold $M$ with eigenvalue $\lambda$ then
$$||\phi||_{L^\...
- 1,692
2
votes
0
answers
133
views
Heat semigroup estimate on complete Riemannian manifold
Consider a complete noncompact Riemannian manifold $M$ such that the heat kernel $h_t(x, y)$ satisfies
$h_t(x, y) \leq Ct^{-n/2}$. Consider a function $u \in L^p(M)$. How can we prove that $e^{t\Delta}...
- 21
2
votes
0
answers
119
views
Find $U \in H^1(\Omega \times (0,\infty))$ such that $\nabla E(u-\bar u)\nabla U \geq 0?$ (PDE harmonic extension)
Let $\Omega$ be a bounded smooth domain. Given $u \in H^{\frac 12}(\Omega)$ with mean value $\bar u = 0$, let $Eu = v \in H^1(\Omega \times (0,\infty))$ solve
$$\int_0^\infty\int_\Omega \nabla v\nabla ...
- 49
2
votes
0
answers
459
views
Weak topology on subsets of a normed space
I have few questions about the subsets of a normed space $X$ endowed with the weak topology. Let $E$ be such subset.
When is the norm a continuous function on $E$?
When is the metric induced by the ...
- 5,529
2
votes
0
answers
553
views
Sobolev space for manifold with boundary
For an compact manifold $M$ without boundary, we consider the eigenfunctions $(f_1,f_2,\ldots)$ of some elliptic operator (e.g $\Delta$) with eigenvalue $\lambda_{1},\lambda_{2},\ldots$. To define ...
- 1,069
2
votes
0
answers
224
views
On uniform or simple convergence of Poisson Summation formula
Under good conditions on an even function $f(x)$ we have the Poisson Summation formula ($x>0$):
$$f(0) + 2 \sum\limits_{n =1}^{\infty} f(nx)= \frac{1}{x} \left( \hat{f}(0) + 2 \sum\limits_{n =1}^{\...
- 1,199
2
votes
0
answers
98
views
What does integrability of a strictly monotonic function imply about the tails of that function?
In particular, if $f:\mathbb{R}_{+}\rightarrow[0,1]$ is a strictly monotonic decreasing function and $f$ is integrable then does it necessarily hold that $f^{-1}(1/t)=o(t)$?
2
votes
0
answers
426
views
Strichartz estimates for the wave equation
Strichartz estimates for the wave equation $\Box u=F $ with $u(0)=g_0$ and $\partial_t g(0)=g_1$ can be stated as
$$\Vert u\Vert_{L^q_tL^r_x}+\Vert u\Vert_{C^0_t\dot{H}_x^s}+\Vert\partial_t u\Vert_{C^...
- 21
2
votes
0
answers
188
views
Equivalence of two non-degenerate Gaussian measures on Banach space
The motivation of this question is to show that two probabilities on
$C_{0}^{n}(0,1)$ (the space of continuous $\mathbb R^{n}$ valued process
on $[0,1]$ starting from zero) induced by two non-...
- 1,399
2
votes
0
answers
144
views
Is logarithmic convexity of the heat kernel with complex time a general fact?
Suppose $H$ is a non-negative self-adjoint operator acting on $L^2(\mathbb{R}^n)$, and generates an analytic semigroup with kernel satisfying a Gaussian upper bound, i.e., if we denote $K(t,x,y)$ the ...
- 879
2
votes
0
answers
126
views
Nearly injective Banach spaces
There was a problem about nearly injective metric spaces posed by Aronszajn and Panitchpakdi which I actually solved in the past but it still remains open (as long as I know) for the Banach spaces--so ...
- 7,500
2
votes
0
answers
382
views
Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)
Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$.
I am ...
- 53
2
votes
0
answers
385
views
Caffarelli-Silvestre extension definition of fractional Laplace-Beltrami on hypersurface
Let $\Gamma \subset \mathbb{R}^{n+1}$ be a $n$-dimensional (closed) $C^k$-hypersurface. Consider the problem
$$\nabla_\Gamma \cdot (y^{1-2s}\nabla_\Gamma u)(x,y) =0 \quad \text{for $(x,y) \in \Gamma \...
- 201
2
votes
0
answers
211
views
Better version of "Monotonicity methods in Hilbert spaces and some applications to nonlinear PDEs.."
I am asking whether any one knows of a better source for the text
Monotonicity methods in Hilbert spaces and some applications to nonlinear partial differential
equations by H. Brezis
which I ...
- 21
2
votes
0
answers
169
views
Classify spaces that make extension theorems hold
Recall a Polish space is a completely metrizable separable space.
Say a Polish space $Y$ is a terminal space if for any Polish space $X$ and any closed $C \subseteq X$, one can extend a continuous ...
- 6,287
2
votes
0
answers
187
views
Speed of Approach to Invariant Measure
Let $X_t$ represent a continuous-time Markov process on $\mathbb{R}^d$, say a diffusion with locally Lipschitz coefficients. Suppose that there exists a unique invariant measure $\mu$ on the space, ...
- 153
2
votes
0
answers
185
views
Is the isomorphism between $BMO/\mathbb{R}$ and $(H^1(\mathbb{R}^n))^{\star}$ isometric?
Let $BMO$ the space of bounded mean oscillation functions on $\mathbb{R}^n$ equipped with the Lebesgue measure. If $Q\subset \mathbb{R}^n$ a cube, let $m_Q f$ the average of a function $f\in L^1_{loc}(...
- 1,616
2
votes
0
answers
450
views
Lebesgue point and regularity of functions
A known theorem says that for $f \in L_{loc}^1(\mathbb{R}^d)$, almost every point is a Lebesgue point.
I know too a theorem saying that for $f \in W_{loc}^{1,p}(\mathbb{R}^d)$ , every point is a ...
- 21
2
votes
0
answers
343
views
continuity with respect to weak-${\ast}$ topology
Let $V:=V([0,1],R)$ be the space of all cadlag functions defined on $[0,1]$ of bounded variation. Thus any element $v\in V$ determines a signed measure $\nu$ on $[0, 1]$ given by the formula $\nu([0, ...
- 1,835
2
votes
0
answers
500
views
Counterexample for closed graph theorem in unmetrizable case
Consider locally convex vector spaces $X,Y$ and let $A: X\to Y$ be a linear operator with closed graph. Closed Graph Theorem states that if $Y$ is Fréchet then $A$ is continuous.
What is a ...
- 465
2
votes
0
answers
282
views
Reference request: functional analysis results used in Taubes paper (1980)
I am studying Taubes paper 'Arbitrary N-vortex solutions to the first order Ginzburg-Landau equations'. I am looking for a reference of three following theorems:
Let $f(x)$ be a convex funtional ...
- 31
2
votes
0
answers
142
views
Uniform bounds for a coupled parabolic system of PDE (linear)
Let $V=H^1(\Omega)$ and $H=L^2(\Omega)$ where $\Omega$ is a compact Riemannian manifold. Define $W = \{ w \in L^2(0,T;V) : w_t \in L^2(0,T;V^*)\}$.
Consider the system, with $u^\epsilon, v^\epsilon \...
- 43
2
votes
0
answers
173
views
Two isomorphic Gelfand triplets, is there a problem?
For $j=1, 2$, let $V_j \subset H_j$ be a dense and continuous embedding with $V_j$ a Banach space and $H_j$ a Hilbert space. Identify $H_1 = H_1^*$ and $H_2 = H_2^*$ (using Riesz representation) so ...
- 153
2
votes
0
answers
76
views
question about a genralized Skorokhod topology
Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$
$$\rho(f,g):=\inf_{\lambda\in\Lambda}\Big\{\max\...
- 1,835
2
votes
0
answers
119
views
Semigroups on Banach lattice
Let $\{Z(t)\}_{t\geq 0}$ be a semigroup of positive operators on a Banach lattice $X$. I want to show that
$$\int_0^1[Z(1-s)+Z(1+s)]fds-f\in X_+,\quad f\in X_+$$
Where $X_+$ denotes the positive ...
- 55
2
votes
0
answers
238
views
Examples for Markov generators with pure point spectrum
I'm looking at symmetric diffusion Markov generators $L$ with pure point spectrum, i.e. infinitesimal generators of symmetric diffusion Markov semigroups, which are defined on $L^2(\mu)$ where $\mu$ ...
- 235
2
votes
0
answers
787
views
Hilbert triples
I apologize if this is a trivial matter for the analysts out there, but I looked this up in a number of books (e.g., H. Brezis, J. Wloka) and could not find a satisfying discussion, one that would ...
- 29
2
votes
0
answers
171
views
Operator theory of initial-value ODE problems
The theory of elliptic boundary value problems is usually treated from the perspective of functional analysis, and the theory of operators between Hilbert spaces.
In contrast to that, the theory of ...
- 5,327
2
votes
0
answers
271
views
Linear interpolation in weighted Sobolev spaces
I am reading a paper regarding the pricing of certain financial derivatives making use of the finite element method. In this paper the following weighted Sobolev spaces are introduced:
$W_{0}$ = $ \{ ...
- 21