All Questions
Tagged with fa.functional-analysis reference-request
1,021 questions
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
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
4
votes
1
answer
1k
views
Compact radial Sobolev embedding $H^1_{rad}\hookrightarrow L^p$
I want to show:
Let $N\geq 2$ and $2< q <2^\ast$. Then the embedding \begin{align}
H^1_{\text{rad}}(\mathbb{R}^N)\hookrightarrow L^q(\mathbb{R}^N)
\end{align}
is compact.
I was able to show ...
- 437
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
3
votes
2
answers
939
views
Positive definiteness of infinite tridiagonal matrices
I am interested in the following problem: I have an infinite symmetric tridiagonal matrix
$$
A=
\begin{bmatrix}
a_1 & b_1 & & & \\
b_1 & a_2 & b_2 & & \...
- 692
12
votes
1
answer
726
views
Schemes over topological rings
I have recently been interested in studying an extension of 'usual' algebraic geometry to take into account the topology of $R$ in the definition of the affine scheme $\mathrm{Spec}\, (R)$ when the ...
- 1,270
8
votes
0
answers
421
views
Approximate singular value decomposition in Banach spaces
I am interested in generalisations to Banach spaces of the following construction, which relates to the singular value decomposition of a finite-dimensional linear map. If $V$, $W$ are finite-...
- 6,206
1
vote
2
answers
931
views
A question on the Lebesgue differentiation theorem
In the paper [Jessen, B., Marcinkiewicz, J., and Zygmund, A. Note on the differentiability of multiple integrals. Fundamenta Mathematicae 25.1 (1935): 217-234] it is considered the limit
$$
\lim_{\...
- 2,715
2
votes
1
answer
615
views
Lusternik-Schnirelmann Theorem
In various paper i found this:
But i don't find this theorem of Lusternik-Schnirelmann, have you an idea where i can find this theorem, the condition?
Thank you.
- 277
3
votes
1
answer
329
views
Survey on functional equations and inequalities
Where can I find a comprehensive survey monograph on functional equations and inequalities from sketch to current research trends with some focus on applications (both inside and outside mathematics)?
user60665
3
votes
1
answer
1k
views
A calculus question related to the nonnegative definite functions
I am looking for some sufficient conditions for an even, continuous, nonnegative, non increasing function $f(x)$ on $R$ such that
$$
\int_0^\infty \cos(xz) f(z) d z \ge 0 \qquad\text{for all $x\ge 0$...
- 1,649
10
votes
0
answers
761
views
Reference request : Grothendieck's topological space valued integral
As I am learning the different kind of Banach space valued integrals (Pettis, Bochner), I know that Grothendieck made a "mémoire" in his youth about this topic, but I don't know if it is available ...
- 1,616
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
3
votes
0
answers
185
views
Existence of solution to weak form of linear equation with boundary integral (parabolic PDE)
Let $W(0,T) := \{ u \in L^2(0,T;H^{\frac 12}(\partial\Omega)) \mid u_t \in L^2(0,T;H^{-\frac{1}{2}}(\partial\Omega))\}$. Let $\gamma$ and $\xi$ denote the trace map and its right inverse.
Does there ...
- 93
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
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
-1
votes
1
answer
516
views
Equivalence of two definitions of Sobolev spaces
Good morning,
I am looking for a reference about the following fact that seems to be folklore. Define the Sobolev (Beppo Levi?) space
$$
D^{1,p}(\mathbb{R}^N) = \left\{ u \in L^{p^*}(\mathbb{R}^N) \...
- 9
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
18
votes
4
answers
1k
views
Reference for a strong intermediate value theorem for measures
Let $\mu$ be a finite nonatomic measure on a measurable space $(X,\Sigma)$, and for simplicity assume that $\mu(X) = 1$. There is a well-known "intermediate value theorem" of Sierpiński that states ...
- 5,407
13
votes
1
answer
1k
views
Between compact and locally uniform: What is the name of this convergence?
Let $X$ be a topological space, $(Y,d)$ a metric space, $f\in Y^X$, and $(f_n)$ a sequence in $Y^X$ with the following property:
For every $x_0\in X$ and every $\varepsilon>0$, there exist a ...
- 802
13
votes
7
answers
10k
views
What is the best reference for Spectral theory?
I'm studying Bernard Aupetit: A Primer on Spectral Theory
but the textbook we are using is a little bit heavy going for me. Is there a best book to learn about these things?
Thank you.
- 823
6
votes
1
answer
402
views
Reference request: Wasserstein metric spaces for non linear weights/mobility?
There is a very nice theory of gradient flows in metric spaces by Ambrosio, Gigli and Savaré. One particularly important application is the quadratic Wasserstein setting, where the metric space in ...
- 5,380
0
votes
0
answers
137
views
SVD of Frechet derivative
This is mainly a reference request. Is there a particular characterization of operators A from a Hilbert space H to itself such that the Frechet derivative A'(u) exists for each $u \in H$ and for any ...
4
votes
0
answers
241
views
"Partition" of a smooth function in $\mathbb R^2$
This is a question asking for reference.
I have a proof of the following.
Let $f=f(x,y)$ be a smooth function in $\mathbb R^2$ which vanishes at the origin. Then there exist smooth functions $f_1=...
- 231
2
votes
1
answer
192
views
Nonlocal Stefan problems
Has there been much work in the setting of Stefan (or general free boundary) problems with some type of nonlocality?
A search on Google and MathSciNet give me only a handful of results which greatly ...
- 43
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
3
votes
0
answers
163
views
Reference for existence results for 2D forced viscous Burgers equation
I am looking for results concering the following parabolic PDE
$$u\cdot\nabla u + \Delta u = F(x),$$
where $$u\colon\Omega\to\mathbb{R}^2,$$ and $\Omega\subset\mathbb{R}^2$ is a 2D domain (bounded or ...
- 161
16
votes
3
answers
918
views
What is the minimal $C_k$, such that every $f\colon \{-1,1\}^n\to \mathbb{R}$ of degree at most $k$ satisfies $\|f\|_2\le C_k\|f\|_1$
Every $f\colon\{-1,1\}^n\to \mathbb{R}$ can be repsenented as a multilinean polynomial of the form $$f(x_1,x_2,\ldots ,x_n)=\sum _{S\subseteq [n]} \hat{f}(S)\prod_{i\in S} x_i $$ The degree of the ...
- 311
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
10
votes
1
answer
598
views
What happens if we rotate the kernel of an integral operator?
Given an integral operator $K$ on $L^2(\mathbb R)$ with kernel $k(x, y)$, consider the integral operator $L$ on $L^2(\mathbb R)$, whose kernel has the form $k(\alpha x+\beta y, \gamma x+\delta y)$, ...
- 452
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
0
votes
0
answers
153
views
extension of function in an abstract metric space
my question is the following.(Maybe my title is not quite proper for this question):
Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set $...
- 1,835
7
votes
1
answer
774
views
Is there a generalized Birkhoff ergodic theorem?
Is there a Birkhoff ergodic theorem for two measure preserving transformations $T$ and $S$ where $S\circ T= T \circ S$ so that $\frac{1}{n+1}\frac{1}{m+1}\sum_{i=0}^{n}\sum_{j=0}^{m}f \circ T^{i}\circ ...
- 71
4
votes
1
answer
1k
views
For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?
I am trying to characterize all measures on $\mathbb{R}$ such that
$$
\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,
$$
where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...
- 1,649
0
votes
1
answer
321
views
Is the span of those vectors dense in $\ell_2$?
For all $x \in \mathbb{R}^n$ and $\alpha \in \mathbb{Z}_{\geq 0}^n$ let $x^\alpha=x_1^{\alpha_1} \cdots x_n^{\alpha_n}$. Let $$\ell^2=\{z=(z_\alpha)_{\alpha \in \mathbb{Z}_{\geq 0}^n}:\, z_{\alpha} \...
- 3,031
2
votes
1
answer
376
views
Reference request for proof of Brodskii-Milman theorem "On the center of a convex set"
Can anyone help me to access the paper:
M.S Brodskii and D.P Milman, "On the center of a convex set", Dokl. Akad. Nauk SSSR 59 (1948) 837–840 in Russian?
or to prove the theorem:
If $K$ is a ...
- 121
3
votes
2
answers
1k
views
Lecture notes on semigroup theory for linear evolution equations
I am reading (or trying to read :)) "One parameter semigroups for Linear Evolution equations" by Klaus-Jochen Engel and Rainer Nagel. I was wondering if someone was aware of a good set of lecture ...
- 63
6
votes
1
answer
1k
views
Proof of the Dunford-Pettis theorem
I would like to know where to find a complete proof of the Dunford-Pettis theorem:
A sequence $(f_n)_{n\geq 0} \subset L^1$ is uniformly integrable if and only if it is relatively compact for the weak ...
3
votes
0
answers
140
views
convergence of $e^{it\Delta}f$
I heard of a conjecture that
$e^{it\Delta}f\rightarrow f$ a.e. as $t\rightarrow 0$ for $f\in H^{1/4+\epsilon}$
but couldn't find a proper reference.
- 31
2
votes
0
answers
412
views
Two Definitions of Non-commutative $L^p$ space
Throughout, let $(\mathcal{M},\tau)$ be a von Neumann algebra $\mathcal{M}$, acting on a Hilbert space $H$, with normal semifinite faithful trace $\tau$.
In the survey article by Pisier and Xu, the ...
- 75
5
votes
0
answers
328
views
Are inclusions from spaces of $C^\infty$ sections into spaces of $C^k$ sections homotopy equivalences?
[EDIT: The answer to my original question was obviously no, as user56365 pointed out. Here is what I should have asked.]
For finite-dimensional smooth manifolds $E,M$, let $E\to M$ be a smooth fibre ...
- 648
2
votes
2
answers
741
views
Bochner's theorem for measures of positive type
Is there a version of Bochner's theorem characterizing measures of positive type on a locally compact group? By a measure of positive type on the group $\Gamma$, I mean a measure $\mu$ satisfying $\...
- 195
0
votes
3
answers
365
views
Specific Reference? Noncommutative topology and C^* algebras [closed]
I stumbled across this "dictionary for noncommutative topology" http://planetmath.org/noncommutativetopology
and I would be very interested in learning more on the subject, particularly I'd like to ...
- 11
3
votes
0
answers
146
views
Variational Principle for a System of Differential Equations
I am studying a differential operator of the form $$ L\left(\begin{array}{c} u \\ v \end{array}\right) = -\Delta \left(\begin{array}{c} u \\ v \end{array}\right) + V(x)\left(\begin{array}{c} u \\ v \...
- 516
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
7
votes
0
answers
116
views
Bundles over Function Spaces
Is there any reference on bundles over function spaces? In particular, I am interested in Banach-bundles over function spaces like $W^{k,r}(M)$, where $M$ is a Riemannian manifold. Separable Hilbert-...
- 71
0
votes
0
answers
88
views
References for LWP of a NLS Equation
I am studying the LWP of $$i \partial_t \psi + \Delta \psi = \left| \psi \right|^{p-1} \psi + \frac{1}{\left| x \right|^2} \psi$$ in $\mathbb{R}^{1+2}$ given appropriate Cauchy data. It will probably ...
- 516
3
votes
1
answer
701
views
Doubling of variables method for parabolic equations
Does anyone have a reference that explains the technique of doubling of variables as introduced by Kruzkov? It seems to be a necessary tool for contraction estimates when we have weak solutions. ...
- 145
1
vote
1
answer
367
views
Getting a comparison principle for parabolic equation when solution is not that smooth
Consider the solution $b(u) \in L^2(0,T;H^1)\cap H^1(0,T;H^{-1})$ with $u \in L^2(0,T;H^1)$ to
$$\frac{\partial}{\partial t}b(u) - \Delta u = f$$
where $b$ is continuous, increasing and locally ...
- 145
4
votes
1
answer
1k
views
$H^s(\mathbb T)$ is a Banach algebra for $s>1/2$
I have not managed to find a reference for the following fact:
$H^s(\mathbb T)$ is a Banach algebra for $s>1/2$.
In particular, I need reference for the following inequality:
$$
\|uv\|_{H^s} \,\...
- 2,933