All Questions
Tagged with reference-request fa.functional-analysis
1,021 questions
5
votes
2
answers
364
views
Euler-Lagrange equations for minimizer of energy with indicator function
I'm looking for a modern explanation/proof of the derivation of Euler-Lagrange (or first-order or the "first variation") conditions for
$$\min_{u \in H^1_0(\Omega), u \geq 0} \int_\Omega |\...
- 93
5
votes
2
answers
774
views
Can we calculate the inner product of a semicontinous function with the Dirac delta function?
Dear all,
It is clear that if $f:R\mapsto R$ is a continuous function, than $< f, \delta_x >=f(x)$. Now, if $f$ is only semicontinous, can we say that $< f, \delta_x >=f(x)$? I think this ...
- 1,649
5
votes
1
answer
483
views
Can you always extend an isometry of a subset of a Hilbert Space to the whole space?
I remember that I read somewhere that the following theorem is true:
Let $A\subseteq H$ be a subset of a real Hilbert space $H$ and let $f : A \to A$ be a distance-preserving bijection, i.e. a ...
- 609
5
votes
2
answers
276
views
Dilation of bounded linear operators
Let $H$ be a Hilbert space, and let $A$ be a contraction (bounded linear operator of norm $\leq 1$) on $H$. I heard in a recent talk that there is a (apparently famous) result due to Sz-Nagy which ...
- 51
5
votes
1
answer
224
views
Spectral theory of infinite volume hyperbolic manifolds
I have a question about the discrete spectrum of the Laplace operator on hyperbolic manifolds with infinite volume. I understand the case of infinite area surfaces: see Chapter 7 (Sections 1 and 2) of ...
- 1,407
5
votes
2
answers
594
views
Taylor $k$-differentiability of a real function at a point
I am interested in the standard name for the following weak form of $k$-differentiability.
Definition. A function $f:\mathbb R\to\mathbb R$ is called Taylor $k$-differentiable at a point $x_0$ if ...
- 41.9k
5
votes
1
answer
743
views
Eigenvalues and Domain of the Laplace-Beltrami Operator
Assume $(M,g)$ is a compact Riemannian manifold without boundary, where $g$ is the Riemannian metric. Let $L:=-\Delta$ be the Laplace-Beltrami operator on $M$ defined by $\Delta \cdot = \text{div}(\...
- 51
5
votes
1
answer
395
views
Universal decay rate of the Fisher information along the heat flow
I'm looking for a reference for the following fact: In the torus $\mathbb T^d$ let me denote by $u_t=u(t,x)$ the (unique, distributional) solution of the heat equation
$$
\partial_t u=\Delta u
$$
...
- 5,380
5
votes
1
answer
763
views
Looking for a reference for a version of the "The reverse Lebesgue dominated convergence theorem" for the Orlicz spaces
Please I need a reference where I can find a version of the "The reverse Lebesgue dominated convergence theorem" for the Orlicz spaces analogous to Theorem 1.2.7
in Semilinear Elliptic Equations for ...
- 277
5
votes
1
answer
256
views
Injectivity/Surjectivity of $F_A :=\frac{d}{dt} +A(t) $ for a hyperbolic path of matrices $A(t)$ on $H^1 $
I am looking for a reference to the following problem:
Given a hyperbolic (no purely imaginary eigenvalues), continuous path of matrices $A(t)$ in $\mathbb{R}$ with hyperolic limits at $\pm \infty $.
...
- 211
5
votes
3
answers
931
views
References for "different" proofs of the spectral theorem for compact operators
It is with some sort of reverential fear that I've come here to write. I've been reading you for a long time, but writing is another story... In any case, I suppose it is too late now to back out!
...
- 10.5k
5
votes
1
answer
453
views
Seeking for references on some PDEs
This is not a technical mathematical question. I came across some PDEs with no references nor their names.
$$-\Delta u + \int_\Omega udx = f\qquad \hbox{in $\Omega$} \label{1}\tag{Eq1}$$
The above ...
- 1,101
5
votes
1
answer
224
views
reference request: unbounded operators on normed spaces
I'm looking for books where the theory (basic properties, adjoints etc.) of unbounded linear operators between locally convex spaces or at least Banach spaces is developed. In Brezis' functional ...
- 105
5
votes
1
answer
158
views
What is a name for co-Sobczyk Banach spaces?
Definition. Let us define a Banach space $X$ to be co-Sobczyk if every linear bounded operator $T:Z\to c_0$ defined on a separable subspace $Z$ of $X$ extends to a bounded operator $\bar T:X\to c_0$.
...
- 41.9k
5
votes
2
answers
371
views
Manifold of mappings between $M$ and $N$, with non-compact source $M$
EDIT: Let $M$ and $N$ are two smooth manifold and suppose $N$ is compact but $M$ is not necessarily compact. For my purpose, I just need to consider the case $M=\mathbb R \times S^1$ or $\mathbb R \...
- 2,789
5
votes
1
answer
136
views
Reference for higher order Campanato Lemmas, e.g. `Sufficiently fast L^2 decay on balls to affine functions implies C^{1,\alpha}'
Whence can I reference the following fact (I have seen it quoted as `standard' in respectable places, so I hope it is so)?:
Let $f : B_2(0) \to \mathbb{R}$, say $f \in L^2(B_2(0))$ . Suppose that ...
- 1,771
5
votes
1
answer
630
views
Uniqueness of Kantorovich potentials?
$\newcommand{\R}{\mathbb R}$Take $\Omega\subset \R^d$ bounded, convex, and smooth.
Consider the optimal transport problem with cost $c(x,y)=\lvert x-y\rvert^2$, leading to the quadratic Wassersein ...
- 5,380
5
votes
1
answer
134
views
Equality in spectral inclusion theorem
I asked this question on Math SE but didn't receive any response.
Let $(T_t)$ be a $C_0$-semigroup on a Banach space $X$ with generator $A.$ If $\lambda_0\in \mathbb{C}$ is such that $e^{\lambda_0 t}$...
- 343
5
votes
1
answer
500
views
Hausdorff dimension of the graph of a BV function
Let $u: \Omega\subset \mathbb{R}^N \to \mathbb{R}^M$ be a $BV$ function.
Is the Hausdorff dimension of the graph of $u$ equal to $N$? How can we prove it?
Update.
In an answer to this post, it ...
- 839
5
votes
2
answers
279
views
Vector valued disc "algebra"
I am interested in a vector-valued form of the disc "algebra" (which in this setting is not in general an algebra, hence the scare quotes). Let $E$ be a Banach space, and let $A(\mathbb D,E)$ be the ...
- 18.7k
5
votes
1
answer
379
views
References on the obstacle problem for the heat equation
Can you point out some references that deal with the obstacle problem for the heat equation?
$$(OP) \quad\begin{cases}
\max\{\Delta u -\partial_t u, \varphi - u \} = 0 & \text{ in } (0,T)\times \...
user108310
5
votes
4
answers
839
views
Norm bounds on spectral variation and eigenvalue variation
Let $A$ and $B$ be two matrices of eigenvalues $\lambda_i$ and $\mu_i$, respectively.
The spectral variation of $B$ w.r.t. $A$ and the eigenvalue variation of $B$ and $A$ are, respectively,
\begin{...
- 43.2k
5
votes
1
answer
328
views
Is a space with p-norm a Finsler manifold?
Suppose $\mathbb{R}^n$ is equipped with the p-norm $\left\Vert x \right\Vert_p$. Let $x\in \mathbb{R}^n$ and let $y$ be in a neighborhood of $x$. The distance between $x$ and $y$ can be defined as $\...
- 51
5
votes
1
answer
137
views
Operator space structures on CB(H,K) where H and K are Hilbertian operator spaces?
(I'd be grateful if anyone thinking of putting MathJax in the question title refrains from doing so.)
By consulting various standard sources (Effros-Ruan's book, Pisier's book, the lexicon of ...
- 25.8k
5
votes
1
answer
2k
views
Density of smooth functions in Sobolev space, respecting nonnegative traces
I am looking for a reference for the following result (if it is true, which I would expect):
Let $\Omega\subset\mathbb{R}^n$ be a bounded Lipschitz domain. Let $\Gamma_0\subset\partial\Omega$ be ...
- 53
5
votes
1
answer
853
views
Is there a non-compact Poulsen simplex?
A Choquet simplex is a closed, convex and metrizable subset of a locally convex Hausdorff topological vector space in which every point is a barycenter of a unique probability measure supported on the ...
- 1,658
5
votes
1
answer
220
views
Alberti rank one theorem and a blow-up argument
In this paper, it is written that Alberti’s rank
says that the singular part $D^s u$ with respect to $\mathcal L^d$ of the distributional derivative $Du$ of a function $u \in BV_{loc}(\mathbb R^d; \...
user123457
5
votes
1
answer
301
views
Unbounded Component of the Fredholm Domain
Let $X$ be a Banach space and $T \in \mathcal L(X)$.
The authors Engel and Nagel introduce in their book "One-Parameter Semigroups for Linear Evolution Equations" on p. 248 the concept of the ...
- 301
5
votes
1
answer
203
views
Multiplier norm vs cb norm
Let $f:G\to \mathbb{C}$ be a finitely supported functions and let $m_f$ denote the associated multiplier on $C^*_r(G)$, the reduced group $C^*$-algebra:
$$m_f(\alpha)(g)=f(g)\alpha(g)$$
for every $\...
- 165
5
votes
1
answer
242
views
Spectral decomposition of a C$^*$algebra with respect to an action of a compact abelian group
Let $G$ be a compact abelian group (finite dimensional, but not finite) and $A$ be a $C^*$-algebra. Consider an action $\alpha: G\to Aut(A)$. In analogy with the case of finite abelian group, I ...
- 743
5
votes
2
answers
310
views
Error estimate in the spectral theorem of compact operators on a Hilbert space
Given a compact self-adjoint operator $K$ mapping $L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ as $f \rightarrow \int K(x,y) f(y) d\mu(y)$, let us define its eigenvalues $\lambda_i$ and eigen-...
- 2,246
5
votes
1
answer
386
views
Lower semi-continuity of the Hellinger-Fisher-Rao distance
I am currently working on unbalanced optimal transport, where the Hellinger (or sometimes Fisher-Rao) distance
$$
H^2(\rho,\mu)=\int_{\Omega}\left|\sqrt{\frac{d\rho}{d\lambda}}-\sqrt{\frac{d\mu}{d\...
- 5,380
5
votes
1
answer
226
views
A question about extensions of Markov semigroups
I'm cross-posting this question from MSE. It's the first time I do this so I'm unsure of etiquette regarding how to cross-post, if this irritates anyone please vote this down and I'll delete the post. ...
- 183
5
votes
1
answer
514
views
Request for reference: Banach-type spaces as algebraic theories.
Sparked by Yemon Choi's answer to Is the category of Banach spaces with contractions an algebraic theory? I've just spent a merry time reading and doing a bit of reference chasing. Imagine my delight ...
- 26.8k
5
votes
1
answer
297
views
A scaled fractional ''Sobolev inequality''
Does a fractional interpolation inequality similar to $$
\int_{B_R(0)} |u| dx \le C R^{2} \sqrt{\log(2R)} \Big( \int_{\mathbb R^2}\int_{\mathbb R^2} \frac{|u(x)-u(y)|^2}{|x-y|^{2+2s}} dxdy + \int_{B_1(...
- 109
5
votes
2
answers
1k
views
Rates of convergence of mollifiers with Sobolev norms on manifold
Let $M$ be a smooth compact Riemannian manifold of dimension $n$, and let $H^s_p(M)$ for $s\in \mathbb{R}$ be the fractional Sobolev space of order $s$ on the manifold (defined for instance through ...
- 83
5
votes
1
answer
795
views
How to define transfinite derivatives of a function?
There are all manners of theories generalizing the notion of derivative. Amongst them is the fractional calculus, a rich theory which gives a sense to the derivation and integration of non-integer (i....
5
votes
1
answer
365
views
Does the Nash inequality hold on manifolds with Lipschitz boundary?
Let $N$ be a smooth manifold without boundary of dimension $n$. $M$ is a manifold with Lipschitz boundary if $M \subset N$, $M$ and $N$ are of the same dimension, and in the charts of $N$, the ...
- 687
5
votes
1
answer
1k
views
Domain of square root of a self-adjoint positive operator [closed]
Let $A \geq 0$ be a densely defined self-adjoint positive operator on a Hilbert space $H$ obtained by Friedrichs extension, and let $Q$ be the densely defined quadratic form associated to $A$, that is,...
- 59
5
votes
1
answer
573
views
Analytic perturbation of eigenfunctions
Consider a domain $\Omega_0 \subset \mathbb{R}^n$, and deformations of $\Omega_0$, called $\Omega_t$, obtained by a one-to-one mapping $x \mapsto x + t\varphi (x)$, where $\varphi$ is smooth. It is ...
- 53
5
votes
1
answer
227
views
On the 'usefulness' of the 'original' definition of viscosity solution
In [CEL84, Theorem 1.1, p.489], Crandall, Evans, and Lions give three equivalent definitions of viscosity solution.
As the authors note, the first two are "more appealing in some respects and more ...
user99249
5
votes
1
answer
540
views
Cosets of groups of functions
Let's consider an interval $I\subseteq\mathbb R$, and let $\mathcal F(I)$ be the set of bijective functions $f:I\to I$ so that the graph of $f$ is a analytic curve in $I\times I$.
The set $\mathcal ...
- 4,312
5
votes
1
answer
510
views
The space $H(D)$ of holomorphic functions.
A very natural example of a nuclear Montel space is the space $H(D)$ of all holomorphic functions on the open disc topologized by the family of seminorms
$$p_n(f)=\sup\{|f(z)|\colon |z|\leq 1-\tfrac{...
- 51
5
votes
2
answers
579
views
Improved versions of discontinuous functions
Given a set X (such as the set of points in an interval), the space ℝX of all real-valued functions on X is not usually the function space we work with -- it is "too large" in some sense. Thus, ...
- 8,903
5
votes
0
answers
103
views
What conditions guarantee differentiability of higher-order functions?
Sorry if my language is not precise.
Let $f_i:\mathbb{R}^m\to \mathbb{R}^n$ be some differentiable functions in the sense of auto-diff. How can you construct new functions $g(f_1,f_2,f_3,...)$ such ...
5
votes
0
answers
135
views
Criteria for tightness of Gaussian measures on Banach spaces
In Bogachev's book "Gaussian Measures" (Example 3.8.13) sufficient conditions for the (uniform) tightness of a sequence of centered Borel Gaussian probability measures on a separable Hilbert ...
- 505
5
votes
0
answers
163
views
Commutator of pseudodifferential operator and multiplication operator
Cross-post from math.sx.
Let $\eta:\mathbb R^n\to[0,1]$ be a smooth and compactly supported function and assume $f:\mathbb R^n \to\mathbb R$ is measurable. I want to bound the commutator of the ...
- 245
5
votes
0
answers
61
views
Minimizers of variational problems with less symmetry
In am interested in understanding the so-called Hartree ground states, namely, minimizers of variational problems of the form
$$\inf_{\phi\in H^1,~\|\phi\|_2=1}\left\{\int|\nabla\phi(x)|^2dx
-\int|\...
- 891
5
votes
0
answers
153
views
Characterizing Besov spaces in terms of p-variation
For $s>1/p$ the Besov space $B_{p,q}^s([0,1])$ can be characterized in terms of the $p$-variation:
Let $p,q \in (1,\infty)$ and $s \in (0,1)$, $s>1/p$. A function $f:[0,1] \to \mathbb{R}$ is in ...
- 151
5
votes
0
answers
91
views
Reference request: sufficiently smooth functions on the plane belong to the projective tensor square of $L^2$ of the line
Let $\newcommand{\ptp}{\widehat{\otimes}}\ptp$ denote the projective tensor product of Banach spaces. Some back of the envelope calcuations, using the Fourier transform and Plancherel/Parseval, ...
- 25.8k