All Questions
12,780 questions
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 ...
- 1,649
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 $\...
- 2,649
5
votes
2
answers
604
views
Sets of vectors related by a rotation
We have a two sets of vectors ($\mathbb{C}^d$), $A=\{ v_1, \ldots v_n\}$ and $B=\{u_1, \ldots u_n\}$.
The question is if there is an efficient solution (polynomial in $n$) for checking whether $A$ ...
- 1,612
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 ...
- 73
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).
$$
...
- 922
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\...
- 213
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 ...
- 342
2
votes
1
answer
580
views
Monodromy of covering map related to symmetric group
Let $X:=\mathbb{C}^n$, and let the symmetric group $S_n$ act by permutation of coordinates in the obvious way; let $X_n:=X/S_n$ be the quotient by the group action. Now, $X_n\simeq \mathbb{C}^n$, so ...
- 1,488
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{\...
- 7,583
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 ...
- 1,649
25
votes
1
answer
1k
views
Comparison map between de Rham cohomology of analytic and formal neighborhoods of singularities
Suppose that $X$ is a complex algebraic (or complex analytic) variety, and $x \in X$ is a singular point. I am interested in two types of local differential forms at $x$: analytic and formal.
First, ...
- 536
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 ...
- 301
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 $...
- 1,697
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^\...
- 243
5
votes
1
answer
668
views
Same betti numbers as $\Bbb{CP}^n$
I am sure that there is an answer out there for the following question. If one is given an n dimensional Kahler manifold $X$ with Betti numbers that are the same as in the case of $\Bbb{CP}^n$, then ...
- 1,211
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 ...
- 213
1
vote
1
answer
359
views
The operator $(\partial_x+i\partial_y)(\partial_x-i\partial_y)^{-1}$
So I found this operator while messing around with the equations of 2D incompressible fluid mechanics (it relates to the pressure Hessian). Specifically, if we call it $K$, then
$$ K\Delta p = (p_{xx}...
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) = \...
- 305
0
votes
0
answers
191
views
Differentiability of minimax objective function with respect to a decision variable
I have the following optimization problem:
$$\text{find } x= \min_{a} \max_{\lambda\in\Lambda} |R(h\lambda)|$$
where $\Lambda$ is some finite, fixed set of complex numbers and $R(z)$ is a ...
- 1,253
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$ ...
- 351
16
votes
0
answers
1k
views
What is the appropriate setting for Cauchy's Integral Formula?
For a $C^1$ function $f:U\to\mathbb{C}$, where $D\subset U\subseteq \mathbb{C}$ with piecewise $C^1$ boundary $\partial D$, we have the following generalized Cauchy integral formula:
$$
f(\zeta) = \...
- 1,124
11
votes
5
answers
4k
views
Applications of Liouville's theorem
I'm looking for "nice" applications of Liouville's theorem (every bounded entire map is constant) outside the area of complex analysis.
An example of what I'm not looking for : a non-constant entire ...
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 ...
- 235
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 ...
- 45
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 ...
- 171
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 ...
- 61
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 $...
- 35.5k
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 ...
- 213
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,...
- 758
4
votes
3
answers
714
views
Jordan curve theorem for cylinders
Hello,
I would like to know if the following result is true:
Let $A,B$ be two embedded circles in $S^2$ which do not intersect and let $C$ be the $\textit{closed}$ region bounded by $A$ and $B$ (...
- 41
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) ...
- 191
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$. ...
- 191
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$...
- 191
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 ...
- 213
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 + ...
- 75
0
votes
0
answers
100
views
Is this set of curves discrete?
Let $\alpha_1, \dots, \alpha_n$ be complex numbers whose sum is zero and $u_1, \dots, u_{2g-2+n}$ be pariwise distinct nonzero complex numbers. Consider the the set of smooth genus g curves with n+1 ...
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 ...
- 213
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, ...
- 75
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/...
- 45
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
$$
...
- 233
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?
- 71
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 ...
- 8,803
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 ...
- 2,649
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 ...
- 71
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) } = \...
- 515
1
vote
0
answers
130
views
Sum of univalent functions
Let $f,g$ be a pair of univalent functions on a proper subdomain $\Omega$ of $\mathbb C$. Does their sum $f+g$ necessarily omit any complex value?
Similarly, can all holomorphic function be written as ...
- 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,649
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 ...
- 161
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/...