All Questions
10,050 questions
0
votes
0
answers
143
views
description of a convex set of functions
Hi everyone,
I have a question about the characterization of a set of functions.
Let $\Phi$ a set containing all the functions $\phi(x): \mathbb{R}_+\rightarrow \mathbb{R}_{+}$ that satisfy the ...
0
votes
1
answer
251
views
Schrodinger Operators with diverging Potential
Is it well known that if $ H = -\bar{\Delta} + V$ (which is defined over $ L^2( \mathbb{R} ^n $ ) and $ lim_{|x| \to \infty } = + \infty $, then $ H$ has compact resolvent?
Does someone know of any ...
2
votes
1
answer
382
views
Function extension in a Sobolev space
Let $\Omega$ be a domain of $R^n$ and let $H^2(\Omega)$ be the usual Sobolev space.
Let $\emptyset\ne \omega_1\subset\omega_2$ be open subsets of $\Omega$, and let $\theta \in H^2(\omega_1)$.
I ...
4
votes
1
answer
4k
views
Weak compactness and weak sequential compactness in Banach spaces
If $E$ is a Banach space, $A$ is a subset of $E$ and is compact with the weak topology $\sigma(E,E')$, that is the most coarse topology which make every $f\in E'$ continuous, is it true that $A$ is ...
8
votes
4
answers
2k
views
Manifold-Valued Sobolev Spaces
I have the following basic question about Sobolev-spaces which take their values in a
Riemannian manifold $(M,g)$, i.e.
functions $u:\Omega \to M$, $\Omega \subset \mathbb{R}^n$ bounded, such that ...
0
votes
1
answer
156
views
Does homeomorphism preserves the family of cones?
Let me state my problem. Suppose we have a ball $B$ in standard $\mathbb{R}^3$, that is a $\varepsilon$-neighbourhood of $0$ point. Suppose we have a family of cones $X_C = \lbrace C > 0 \vert x^2 +...
6
votes
1
answer
363
views
von Neumann automorphisms: does convergence on a dense algebra imply $u$-convergence?
Let $M$ be a separable von Neumann algebra and let $A$ be a (von Neumann-)dense *-subalgebra.
Suppose that $\alpha,\alpha_1,\alpha_2,\dots$ are automorphisms of $M$, such that for every $a \in A$,
$$ \...
7
votes
2
answers
622
views
Is there a tropical analogue of a reproducing kernel Hilbert space?
In classical functional analysis, one can construct a reproducing kernel Hilbert space by starting with a positive definite kernel, say
$K: [0,1]\times [0,1] \rightarrow \mathbb{R}$.
One then creates ...
19
votes
1
answer
5k
views
A Fourier-analytic inequality used by Jean Bourgain
I am currently reading Jean Bourgain's 1986 paper A Szemerédi type theorem for sets of positive density in $R^k$ and would appreciate some help in understanding a Fourier-analytic estimate used in ...
0
votes
1
answer
722
views
Pointwise limit at Lebesgue's point
Dear MOs,
I am sorry if this problem is too elementary for someone. I just want to get confirmation.
Suppose $f\in L^1(R^d)$. Since almost all points are Lebesgue points by the Lebesgue ...
7
votes
2
answers
2k
views
What functions can be obtained as a convolution of a Schwartz function and a tempered distribution?
Let $\mathcal S (\mathbb R)$ denote the space of Schwartz functions on $\mathbb R$ and $\mathcal S^* (\mathbb R)$ denote the dual space of Schwartz (a.k.a tempered) distributions.
We consider $\...
4
votes
3
answers
996
views
Functional differentation
My question is from the polymer field's famous literature: The Equilibrium Theory of Inhomogeneous Polymers by Glenn H.Fredrickson.
In its Appendix C, the C.2 Functional differentiation item, it says ...
22
votes
2
answers
3k
views
Does it make sense to talk about smooth bundles of Hilbert spaces?
Is there a notion of "smooth bundle of Hilbert spaces" (the base is a smooth finite dimensional manifold, and the fibers are Hilbert spaces) such that:
1• A smooth bundle of Hilbert spaces ...
5
votes
0
answers
160
views
reference for perturbation of projection result
Let $A$ and $B$ have the same rank and dimensions. If $P_A$ denotes the projection onto the range space of $A$, then
$$
\|P_A - P_B\|_2 \leq \|A - B\| \cdot \min (\|A^\dagger\|_2, \|B^\dagger\|_2).
$$
...
1
vote
1
answer
496
views
Convergence of Difference Quotients
Let $\gamma_{\varepsilon} \rightharpoonup \gamma$ in $W^{1,\infty}(0,1)$. Then for any fixed $s \in \mathbb (0,1)$ does the limit $\lim_{\varepsilon \rightarrow 0} \frac{\gamma_{\varepsilon}(s\...
6
votes
0
answers
697
views
distributions on Lie groups and representations
Let $G$ be a Lie group and $\pi$ a continuous action on $V$, a Fréchet space.
This action induces a representation of the space of compactly supported functions, $C_c(G)$, with convolution as product ...
37
votes
4
answers
4k
views
Which differential equations allow for a variational formulation?
Many ODE's and PDE's arising in nature have a variational formulation. An example of what I mean is the following. Classical motions are solutions $q(t)$ to Lagrange's equation
$$
\frac{d}{dt}\frac{\...
4
votes
1
answer
471
views
Ask for theory about the weighted L^2(R^d) space.
Dear MOs,
I am now considering the following norm:
$$
||f||_{H}^2 := \iint f(x) H(x,y) f(y) d x d y\:.
$$
where the integral is over the whole space $R^{2d}$ and $H(x,y)$ is some non-negative ...
30
votes
3
answers
3k
views
Surjectivity of operators on $\ell^\infty$
Can anyone give me an example of an bounded and linear operator $T:\ell^\infty\to \ell^\infty$ (the space of bounded sequences with the usual sup-norm), such that T has dense range, but is not ...
9
votes
0
answers
885
views
Continuous projections in $\ell_1$ with norm $>1$
I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case $...
12
votes
3
answers
2k
views
Compactness of the set of densities of equivalent martingale measures
Consider an incomplete market $(\Omega,\mathcal F,\mathbb P)$ driven by a semimartingale $S=(S_t)_{t\in[0,T]}$. Under the no free lunch under vanishing risk (NFLVR) assumption, the set $\mathcal P^\...
0
votes
1
answer
612
views
Calculating a distributional derivative
Suppose that we have a sequence of functions $u_j$ that are in $L^{\infty}(0,1)$. Then the sequence of maps $N_j(s) := \|u_j(s)\|^2$ are also in $L^{\infty}(0,1)$. Hence they give rise to ...
1
vote
1
answer
1k
views
Some Functional Analysis Questions (Laplace Operator And Fourier Transform)
Given a set of the k first eigenvalues $ (\lambda_i)_ 1 ^k $ of some operator , and a set of the first k orthomormal eigenfunctions for these eigenvalues : $ ( \phi_i ) $ .
Define: $ \Phi(x,y) = \...
2
votes
2
answers
1k
views
Existence of power series expansion for implicitly defined function
I am trying to solve the following implicit equation for $g(x)$.
$F[ g(x) ] = y(x)$
For simplicity assume that $F$, $g$ and $y$ all map $\mathbb{R} \to \mathbb{R}$. It is known that, for every $x$ ...
2
votes
1
answer
763
views
Equicontinuity of continuous families of maps between topological vector spaces
Let $X$ and $Y$ be locally convex, Hausdorff topological vector spaces and let $[a,b] \subset \mathbb{R}$. Let $f: [a,b] \to \hom(X,Y)$ be continuous, where $\hom(X,Y)$ is the space of continuous ...
4
votes
1
answer
1k
views
Where to learn about parabolic Hölder spaces and when to use them
Is there a good resource from where I can learn about parabolic Hölder spaces? I see quite a few different definitions of this space in different papers. I am clueless about why, for example, one may ...
17
votes
2
answers
953
views
Convexity of spectral radius of Markov operators, Random walks on non-amenable groups
Let $P_1,P_2$ denote stochastic transition matrices on a countable set $I$.
Consider $P_1,P_2$ as operators on $\ell^2(I)$ given by multiplication.
Question
Under which conditions can we show that ...
1
vote
2
answers
288
views
Is it possible that the intersection of two nest algebras contains only scalars?
Dear all, I really want to know the answer of the following question. I would
appreciate any help.
Assume H is a separable Hilbert space, is it possible to find two nests N1, N2
such that the ...
5
votes
1
answer
526
views
A fact about finite-dimensional manifolds I fear does not hold for Frechet manifolds (what's new?)
Let $M$ be a manifold equipped with a pair of surjective submersions $N_1 \stackrel{p_1}{\leftarrow} M \stackrel{p_2}{\rightarrow} N_2$ where $dim N_1 = dim N_2 = n$. Then we can find, for any point $...
0
votes
1
answer
238
views
A property of a quasiperiodic function
Let F be a continuous periodic function on R^N. Let a,b be vectors in R^N. Also assume a is not parallel to b.
Does the limit of
$\varepsilon \int_0^{1/\varepsilon} F(as+b/\varepsilon) ds$
Exist ...
5
votes
0
answers
569
views
Functional calculus for vector-valued holomorphic functions?
Good afternoon,
I would like to ask a question on the functional calculus of several commuting operators. If someone knows some good/standard references, could you please tell me about them.
Firstly,...
4
votes
1
answer
904
views
Separable $L_1$-predual
Some isometric preduals of $\ell_1$ are of the form $C_0(K)$ where $K$ is countable. I am wondering whether this is a general rule.
Question: Is there a measure $\mu$ and a (preferably separable) ...
8
votes
0
answers
452
views
Preduals of $\ell_1$
The space $\ell_1$ has loads of (isomorphic) predulas. They can be as weird as possible but I am interested in Banach lattices.
Question: Let $X$ be a Banach lattice with dual isomorphic to $\ell_1$. ...
7
votes
2
answers
1k
views
Weak*-closed and complemented subspaces of dual Banach spaces
We consider a Banach space $X$ and its dual $X^*$.
Let $Q\colon X^\ast \to X^\ast$ be an idempotent operator.
Question:
Can we find an idempotent operator $P\colon X^\ast \to X^\ast$ which is weak$...
3
votes
2
answers
946
views
Opinions on the Multiplication of Measures
A few questions, hopefully to spark some discussion.
How can one define a product of measures?
We could use Colombeau products by embedding the measures into the distributions? I'm not sure why this ...
4
votes
2
answers
2k
views
Sum of two essentially self-adjoint operators
Hi, I hope this question will make more sense than the one I posted yesterday.
I have two operators $p$ and $q$ which are essentially self-adjoint on a common domain $D$.
Now I define $A = c_1 p + ...
0
votes
2
answers
1k
views
Weak versus strong convergence
This is my first time posting.
I am well aware that an $L^2$ weakly converging sequence is not convergent in the corresponding strong topology. However, my question is as follows, do the sequence of ...
3
votes
2
answers
2k
views
Sum of operator and adjoint operator
If I have an unbounded operator $A$ with domain $D$ on a hilbert space, I can define the sum of $A$ and its adjoint $A^\ast$ on $D$. I know that in general, $A + A^\ast$ will not be self-adjoint, ...
0
votes
2
answers
818
views
Application of inverse function theorem to get short time existence
I am reading a book on curve shortening flow. Optionally, please see this image for the page that is confusing me (I am not allowed to include it in this post since I'm new): https://i.sstatic.net/...
9
votes
1
answer
544
views
Question on Hilbert Manifolds
I have a very basic question on Hilbert manifolds.
Consider the Hilbert space
$$
\mathcal{H}:= L^2(S^1)
$$
with $S^1$ the unit circle.
On $\mathcal{H}$ let us introduce the equivalence relation
$$
...
1
vote
1
answer
176
views
Does a dense submodule of a free module always contain a basis?
Let $R$ be a completed normed ring, eg Banach algebra. Suppose that $F$ is a free $R$-module of infinite rank with a norm defined by the square root of sum of all norms of its components. If $F'$ is a ...
1
vote
0
answers
187
views
Injective modules over Fourier algebra
Is there any article on injective modules over Fourier Algebras?
Do we have anything about injectivity of $A(G)$ as a $A(G)$-bimodule?
12
votes
0
answers
478
views
What is known about the Yang-Mills stratification over 3-manifolds?
Rade proved in his thesis (Crelle's Journal, 1992, available here: digizeitschriften.de/dms/toc/?PPN=PPN243919689) that if $E\rightarrow M$ is a $U(n)$-bundle over a 3-manifold, then the gradient flow ...
2
votes
1
answer
136
views
the relation between a continuous family of distributions and a distribution of 2 variables
Let X,Y be smooth manifolds and let $f:X \to C^{-\infty}(Y)$ be a continuous map, where $ C^{-\infty}(Y)$ is the space of generalized functions on $Y$ equipped with the weak topology. By Schwartz ...
0
votes
1
answer
795
views
Can we construct a Hilbert space where the operator following differencial operator is symmetric?
I'd like to know if one can define a pertinent Hilbert space where the operator
$$A_p v := -\frac{1}{2} v" + (vF + v\int_\mathbb{R} Sp + p\int_\mathbb{R} Sv )'$$ is symmetric. Here, $p$ satisfies ...
0
votes
0
answers
227
views
Hermite function expansion
Let $f$ be a continuous function on $\mathbb{R}$ with compact support and unique maximum. Form the functions
$$
F_{n,k}(x)=f^n\left(x-\frac{k}{2^n}\right), k \in Z, n>0
$$
I am wondering if one ...
6
votes
0
answers
257
views
What is the intersection of the closures of left invertible operators and right invertible operators?
From Douglas Zare's answer (see Does $X$ embed in $Y$, and $Y$ embed in $X$, always imply that $X$ isomorphic onto $Y$?), one know that
$$ \overline{G_{l}(X,Y)} \bigcap \overline{G_{r}(X,Y) } = \...
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 ...
16
votes
3
answers
1k
views
A natural center of a convex weakly compact set in Banach space
Question: Let $S$ be a convex weakly compact set in Banach space $H$. Propose a natural way to define the unique center $O \in S$.
Motivation: A lot! For example, in game theory $S$ can be a set of ...
6
votes
2
answers
460
views
Terminology: Banach spaces equipped with continuous associative product?
This is admittedly a low-interest question mathematically, and is arguably a question I could resolve if I had time over the next few days to go and look through a large number of the Banach algebra/...