All Questions
13,927 questions
3
votes
0
answers
127
views
Number of spatial critical points of a solution to the heat equation in higher dimensions
I would like to know if the number of spatial critical points of a solution to the heat equation can increase. Given $u_0:\mathbb S^n\to\mathbb R$, let $u$ be the solution of the initial value problem:...
- 31
4
votes
1
answer
355
views
Sharpest version of semiclassical Calderon-Vaillancourt theorem
Let $S$ be the space of symbols defined by $$S:=\{a\in C^{\infty}(T^*\mathbb{R}^d):\forall \alpha,\beta\in\mathbb{Z}^d,\, |\partial_x^{\alpha}\partial_{\xi}^{\beta}a(x,\xi)|\le C_{\alpha\beta}\},$$ ...
- 11
47
votes
3
answers
3k
views
A metric characterization of the real line
Is the following metric characterization of the real line true (and known)?
A nonempty complete metric space $(X,d)$ is isometric to the real line if and only if for every $c\in X$ and positive real ...
- 42k
8
votes
1
answer
245
views
Spectral decomposition of $\Gamma\backslash X$
Let $X$ be a reasonable manifold of non-positive curvature (could be $\mathbb{H}^n$, symmetric or locally symmetric space, homogeneous Hadamard manifold etc.), and let $\Gamma$ be a reasonable group ...
- 12.9k
4
votes
0
answers
127
views
What can be possible conditions for the solution of an autonomous ODE to be conservative with respect to the initial data?
Let $F : \mathbb{R}^n \to \mathbb{R}^n$ be a smooth mapping and consider the following autonomous ODE
\begin{equation}
y'(t)=F(y(t))
\end{equation}
with the initial data $y(0)=x \in \mathbb{R}^n$.
...
- 3,477
0
votes
1
answer
79
views
Convergence in sequential Lebesgue spaces
Consider a strictly increasing sequence $1\leq q_0<q_n<q_{n+1}<q$ such that $q_n\to q$ as $n\to \infty$. Let $B\subset \Bbb R^d$ be a ball, so that $L^{q}(B)\subset L^{q_{n+1}}(B)\subset L^{...
- 1,101
3
votes
1
answer
106
views
First Dirichlet eigenvalue of the harmonic oscillator on a bounded interval $(-a,a)$?
Let $a>0$ be a fixed number and consider the Hermite operator (or harmonic oscillator) defined by
\begin{equation}
Hf(x)=x^2f(x)-f''(x)
\end{equation}
for any smooth function $f$ compactly ...
- 91.8k
4
votes
0
answers
348
views
A proof of the Gagliardo-Nirenberg interpolation inequality using Jensen's inequality
A brief look at the statement of Gagliardo-Nirenberg interpolation inequality would suggest that there should exist a proof by a clever use of Jensen's inequality. In other words, there should be a ...
- 765
2
votes
1
answer
199
views
Gaussian Poincare inequality in $1$ dimensions together with localization issue
Let $d\mu$ be a Gaussian measure on $\mathbb{R}$ with the center $a \in \mathbb{R}$ and variance $1$.
Let $B(a,r) \subset \mathbb{R}$ be the interval $[a-r,a+r]$.
Then, for any smooth mapping $f : \...
- 5,474
2
votes
0
answers
185
views
Properties of universal fibration
I am trying to read the following paper [1] (Becker, James C.; Gottlieb, Daniel Henry
Coverings of fibrations.
Compositio Math.26(1973)) where the authors mentioned that for any fiber $F$,
there ...
- 179
2
votes
2
answers
228
views
Hardy space inclusion in the right-half plane
I'm looking for an example of a function $u \in H_2$ such that $u \notin H_\infty$, where $H_p$ is the Hardy space on the right-half plane. Since this notation is perhaps not standard, here is a ...
- 91.8k
2
votes
2
answers
167
views
LF or LB space that happens to be finite dimensional
Let $\{V_n\}_{n=1}^\infty$ be a collection of finite dimensional vector subspaces of $L^2[0,1]$ such that $V_n \subset V_{n+1}$ and $\bigcup_{n=1}^\infty V_n$ is dense in $L^2[0,1]$. Suppose further ...
5
votes
3
answers
4k
views
1
vote
2
answers
604
views
Generalized limits
Cross-posted from Math SE.
The linked question explores the concept of a "generalized limit" that assigns values to sequences which diverge in the Cauchy sense. It asks the following question:
...
CommunityBot
- 1
6
votes
0
answers
188
views
Measurability of eigenvalues-eigenvectors of a positive compact operator
Let $H$ be a separable Hilbert space over $\mathbb{R}$. Let ${A} = \{a\colon H\to H\,|\,a\text{ is a positive, compact linear operator}\}$.
By the spectral theorem, given $a \in A$, there are scalars $...
- 163
7
votes
4
answers
5k
views
Intuitive functional analysis book
I want to know functional analysis book like Terence tao's real analysis and measure theory book, full of intuition. I am aware of linear algebra, real analysis, measure theory, Probability theory.
- 310
2
votes
0
answers
48
views
The world of non-weak*-topologies on $\mathcal{P}(X)$
Let $X$ be a metrizable space and consider $\mathcal{P}(X)$, the set of all probability measures on $X$.
Typically, the weak*-topology is considered on $\mathcal{P}(X)$, which is a very natural ...
- 429
-4
votes
1
answer
145
views
Coordinate free computation of the second derivative of a functional [closed]
Let $F(g(f))$
be a functional that sends functions of a vector variable (from $n$-dimensional vector space) to $\mathbb R$.
$g$
is some function of scalar valued functions $f$.
I'm interested in a ...
- 6,696
5
votes
1
answer
510
views
A potential new norm for matrices and Horn's inequalities
I am investigating a function defined in terms of the singular values of matrices. Initially, I simplified the problem by focusing on the eigenvalues of $2 \times 2$ Hermitian, positive-definite ...
- 114k
79
votes
5
answers
5k
views
Can the Lawvere fixed point theorem be used to prove the Brouwer fixed point theorem?
The Lawvere fixed point theorem asserts that if $X, Y$ are objects in a category with finite products such that the exponential $Y^X$ exists, and if $f : X \to Y^X$ is a morphism which is surjective ...
- 695
4
votes
0
answers
425
views
Non-triviality of map $S^{24} \longrightarrow S^{21} \longrightarrow Sp(3)$
Let $\theta$ be the generator of $\pi_{21}(Sp(3))\cong \mathbb{Z}_3$, (localized at 3).
How to show the composition
$$S^{24}\longrightarrow S^{21}\overset{\theta}\longrightarrow Sp(3)$$
is non-trivial ...
23
votes
1
answer
1k
views
How do mathematicians and physicists think of SL(2,R) acting on Gaussian functions?
Let $\mathcal{N}(\mu,\sigma^2)$ denote the Gaussian distribution on $\mathbb{R}$:
$$ \mathcal{N}(\mu,\sigma^2)(x) = \frac{1}{\sqrt{2\pi\sigma^2}} e^{-\frac{(x-\mu)^2}{2\sigma^2}}.$$
A Gaussian ...
- 1,101
1
vote
0
answers
51
views
Error estimates for inhomogeneous semidiscrete PDE
I have the following semidiscrete problem on a meshed domain $U_h$. Let
$V_h$ be linear finite elements on $U_h$, $V_{h0}\subset V_h$ have zero trace on $\partial \Omega_h$, and
$V_{h\partial}$ be ...
- 6,367
3
votes
1
answer
151
views
Do we have uniformization theorems for fractional dimensional spaces?
The Riemann mapping theorem in $\mathbb{R}^2$ is known not to generalize well in higher dimensions and is basically trivial in lower dimensions.
I’m interested in how it generalizes for fractional ...
- 2,689
3
votes
1
answer
325
views
A detail in Brown's proof of the generalized Schoenflies theorem
Consider a homeomorphic embedding $h:S^{n-1}\times [0,1]\rightarrow S^n$ and denote
$$S^{n-1}_t=h(S^{n-1}\times \{t\}).$$
The generalized Schoenflies theorem states the closure of each connected ...
- 1,225
5
votes
1
answer
358
views
Is there a meaningful interpretation of an $L^i$-space?
Do complex-normed spaces exist? Is there an extension of $p$-norms to $p\in\Bbb C\setminus\Bbb R$?
A while ago I thought of extending $L^p$-spaces to the complex-normed setting. After some discussions,...
- 37.8k
5
votes
1
answer
198
views
Iterating the dimensional kernel of a metric space
Fix $n\in \mathbb N$. Let $X$ be a separable metric space of (inductive) dimension $n$. Let
\begin{align}
\Lambda(X)&=\{x\in X:X\text{ is $n$-dimensional at }x\}\\ \\
\Lambda^2(X)&=\Lambda(\...
CommunityBot
- 1
0
votes
1
answer
96
views
A question about filterbasis
K. Hardy and R. G. Wood assert that the family in line 4 is a filterbase. I couldn't show it.
- 11.4k
5
votes
2
answers
202
views
Polish space isometric to its hyperspace
For a Polish space $(X,d)$ its hyperspace $(K(X),d_H)$ is also a Polish space. (Here $K(X)$ denotes the set of all nonempty compact subsets of $X$, and the Hausdorff metric $d_H$ is defined by $d_H(K,...
- 4,713
5
votes
3
answers
1k
views
Does the "continuous locus" of a function have any nice properties?
Suppose $f:\mathbf{R}\to\mathbf{R}$ is a function. Let $S=\{x\in \mathbf{R}|f\text{ is continuous at }x\}$. Does $S$ have any nice properties?
Here are some observations about what $S$ could be:
$S$ ...
- 4,217
12
votes
4
answers
877
views
Can you describe the image of the exponential map $B(H)\to B(H)$?
James Tener asks at the 20-questions seminar:
The exponential map $\exp:B(H)\to B(H)$ is just defined by its Taylor series. Can you describe its image?
- 6,367
1
vote
0
answers
51
views
Discreteness of $D^{-1}D$ given that $D$ is uniformly discrete
Let $G$ be a topological group with unit element $e$.
We say that $D\subseteq G$ is discrete if for all $x\in D$ there is a unit-neighborhood $U\subseteq G$ such that $x^{-1}D\cap U=\{e\}$. We say ...
- 151
1
vote
1
answer
83
views
Integral of $M^\text{*} - M$ with respect to $M^\text{*}$ is zero for $M^\text{*}$ the running maximum of $M$ a continuous local martingale
Given $M$ a continuous local martingale, and $M^\text{*} = \sup_{0 \leq s \leq t} M_s$ its running maximum, we consider the finite variation integral
$$
I_T:= \int_0^T (M^\text{*}_s - M_s) \, \text{d}...
- 3,808
4
votes
1
answer
246
views
Being contained in a compact set
I have a sequential, hereditarily Lindelöf topological space $\mathcal{X}$, and some subset $A \subseteq \mathcal{X}$. I am interested in the following properties:
There is some compact set $B$ with $...
- 42k
3
votes
0
answers
151
views
Reference request: trace norm estimate
In a paper I am currently reading, the author uses that if $T$ is an operator given by the kernel $$T(x,y) = \int_{\mathbb R} p(x,z) q(z,y) dz,$$
then $$\lvert \operatorname{tr} T \rvert \leq \lVert T ...
- 873
5
votes
1
answer
167
views
What structure is preserved by pseudo-homeomorphisms of pseudo-Euclidean spaces?
Let us recall that for integer numbers $t,s\ge 0$ the pseudo-Euclidean space $\mathbb R^{t,s}$ is the vector space $\mathbb R^{t+s}$ endowed with the quadratic form $q_{t,s}:\mathbb R^{t+s}\to\mathbb ...
- 4,943
5
votes
1
answer
238
views
Confusion with the definition of a Frechet space regarding completeness and uniqueness of a limit
I am aware that a Frechet space $V$ is a topological vector space whose topology is induced by countably many seminorms $\{ \lVert \cdot \rVert_k \}$ such that
it must be Hausdorff
it must be ...
- 6,367
1
vote
0
answers
94
views
Convex combination of positive mean-ergodic operators
Let $T_1,T_2:L^1([0,1],\mathrm{d}x)\to L^1([0,1],\mathrm{d}x)$ be positive mean-ergodic operators such that:
For every $h:[0,1]\to \mathbb{R}_+$ we have that
$$\int_0^1 T_1 h(x)\mathrm{d}x = \int_0^1 ...
- 333
2
votes
1
answer
103
views
Is $B \cap L^2\big( (0,T) \times (0,1)\big)$ closed in $L^2\big( (0,T) \times (0,1)\big)$?
I need help proving that the set $B \cap L^2\big( (0,T) \times (0,1)\big)$ is a closed subset of $L^2\big( (0,T) \times (0,1)\big)$, where $B$ is defined as:
$$B=\Big\{x \in L^{\infty}\big(0,T;L^1(0,1)...
- 128k
2
votes
1
answer
166
views
Cocompact lattices in $\mathrm{Sp}(n, 1)$
This is a continuation from my previous question. I am reading the following paper of Cowling-Haagerup, and I was wondering whether there are uniform lattices in $\mathrm{Sp}(n, 1)$. Is there some way ...
- 23k
1
vote
0
answers
109
views
Problems Correction of "Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Machine Learning "' [closed]
Where I can find the problems correction of this book " Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Machine Learning "
- 11
13
votes
0
answers
819
views
Covering number estimates for Hölder balls
Let $\alpha \in (0,1]$, $r>0$ and $L>0$, and positive intwgers $n$ and $m$. The Arzela-Ascoli Theorem guarantees that the set $X(\alpha,L,r)$ of $f:[-1,1]^n\rightarrow [-r,r]^m$ with $\alpha$-...
- 5,405
4
votes
0
answers
115
views
Questions related to a paper of Cowling-Haagerup and uniform lattices of $\mathrm{Sp}(1,n)$
I am reading the following paper of Cowling and Haagerup for my master’s thesis. I am new to this area so I am not very conversant. So I do apologize if the questions are silly.
Question 1. In the ...
- 131
2
votes
0
answers
258
views
Orthogonal complement of arbitrary intersection of Hilbert subspaces
Let $H$ a Hilbert space, and $\mathcal C$ an arbitrary set of closed subspaces of $H$. Is it true that
$$\left( \bigcap_{Z\in \mathcal C}Z\right)^\perp = \overline{\sum_{Z\in \mathcal C} Z^\perp}$$
...
- 63
5
votes
1
answer
165
views
Algebraic solutions of polynomial ODEs
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$
\dot{x}_j=f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a_{i_{1},\dots,i_{n}}^{j}x_{1}^{i_{1}}\dots x_{n}^{i_{n}} \quad \forall j=1,...,n
...
- 91.8k
2
votes
0
answers
177
views
Banach isomorphisms between von Neumann algebras
It seems that most people are talking about $*$-isomorphisms of von Neumann algebras. However, I can not find any references for the Banach isomorphisms, i.e., let $A,B$ be two different von Neumann ...
- 617
2
votes
1
answer
107
views
If $b\in C^1(E, \mathbb{R})$ and $b'$ is compact, then $b$ is weakly continuous — a reference request
While reading the well known book Minimax Methods in Critical Point Theory with Applications to Differential Equations by Paul Rabinowitz, in the proof of a generalisation of the Mountain Pass Theorem ...
- 128k
5
votes
0
answers
159
views
Log Sobolev inequality uniform in parameters
Fix a positive integer $N$. For $\theta \in [0,2\pi]$, set $\sigma_k(\theta) :=(\cos(k\theta),\sin(k\theta)) \in S^1$ for each integer $1\leq k\leq N$. Now for vectors $x_1,\ldots,x_N\in \mathbb{R}^2$,...
- 873
1
vote
1
answer
98
views
Intersection of (relativized/preimage) measure 0 with every hyperarithmetic perfect set
Given a perfect tree $T$ on $2^{<\omega}$ viewed as a function from $2^{<\omega}$ to $2^{<\omega}$ define the measure of a subset of $[T]$ to be the measure of it's preimage under the usual ...
- 4,201
4
votes
0
answers
350
views
Does a contractible locally connected continuum have an fixed point property?
I'm surprised that I can't find any research on this topic. Maybe it's too obvious? Kinoshita proved that contractible continuum do not have FPP, but his example is not locally connected. Maybe if we ...
CommunityBot
- 1