All Questions
23,894 questions
1
vote
0
answers
50
views
On an Atiyah-Singer-Patodi like construction of the spectral flow
Let $\hat{\mathfrak{F}}$ be the space of selfadjoint Fredholm operators on a separable infinite-dimensional complex Hilbert space $H$, and let $\hat{\mathfrak{F}}_0\subset\hat{\mathfrak{F}}$ consist ...
4
votes
1
answer
205
views
Existence of an $\alpha$-Hölder continuous function whose graph has positive Hausdorff measure of maximal dimension
It is standard that if $f:[0,1] \rightarrow \mathbb{R}$ is $\alpha$-Hölder continuous, then its graph has Hausdorff dimension at most $2-\alpha$. My naive expectation was that "most" graphs ...
- 45
17
votes
6
answers
3k
views
Reference for learning global class field theory using the original analytic proofs?
I'm wondering if anyone knows of a reference for learning global class field theory using the original analytic proofs developed in the 1920s and 1930s. Almost every book I can find either does local ...
- 63.9k
1
vote
0
answers
142
views
Explicit computation of Čech-cohomology of coherent sheaves on $\mathbb{P}^n_A$
$\newcommand{\proj}[1]{\operatorname{proj}(#1)}
\newcommand{\PSP}{\mathbb{P}}$These days I noticed the following result of (constructive) commutative algebra, which I think is probably well known ...
- 12.9k
0
votes
0
answers
103
views
Can $L^p([0,1])$ be built up from countably infnite copies of $l^p({F})$ , where $F$ is a finite set or $\mathbb{N}$?
I know that $L^p([0,1])$ is not isometrically isomorphic to $l^p(\mathbb{N})$ when $p\neq 2$? But, there is an isometric copy of $l^p(\mathbb{N})$ inside $L^p([0,1])$. My question is that whether $L^...
- 331
2
votes
0
answers
56
views
Convergence of conformal metrics with prescribed curvature
We know that for any function $K: \mathbb{D} \to \left[-a, -b\right]$, where $a, b > 0$, there is a unique metric $h$ on the disk $\mathbb{D}$ which is conformal to $dz^{2}$, and has curvature ...
- 63.9k
2
votes
1
answer
318
views
Understanding the Schrodinger flow——Symplectic Banach manifold
This question was posted on https://math.stackexchange.com/questions/4925369/understanding-the-schrodinger-flow-symplectic-banach-manifold but recieve nothing. I really want to know the something ...
- 360
0
votes
0
answers
143
views
A Poincaré inequality holds for $p>2$ but fails for $p\leqslant 2$
I am confused with the following example taken from page 6 of Sobolev Met Poincaré, by Hajłasz and Koskela (MR1683160, Zbl 0954.46022).
Let $(X,d,\mu)$ be a metric measure space and let $\Omega\subset ...
- 69
5
votes
0
answers
143
views
Gelfand-Kirillov dimension and tensor products
$\DeclareMathOperator\GK{GK}$Let $k$ be the base field.
The Gelfand-Kirillov dimension was introduced by Gelfand and Kirillov in their seminal paper on the Gelfand-Kirillov conjecture.
A very famous ...
- 3,318
1
vote
0
answers
205
views
Uniqueness for Volterra equation with initially (linearly) unbounded kernel
Letting $D:=\{(x,y):\ 0\leq x\leq y\leq1 \text{ and } y>0\}$, I have a continuous function $k:D\to[0,\infty)$ that satisfies some properties that I list below. I'm interested in continuous and ...
- 537
1
vote
0
answers
63
views
Extension of meromorphic distribution
Let $W$ be a topological vector space (e.g. Frechet) with a dense subspace $V$. Let $D_s$ be a distribution on $V$ that is meromorphic in $s\in\mathbb C$ and extends continuously to $W$ with respect ...
- 3,799
1
vote
1
answer
115
views
Alexandrov's uniqueness theorem in Minkowski spacetime
Suppose $P$ is a convex polyhedron in $\mathbb{R}^{2,1}$.
Each face of $P$ comes with induced metric tensor,
if the face is space-like, then it is euclidean metric;
every time-like face is isometric ...
- 353
0
votes
1
answer
127
views
Why $\int_{S^{n-1}} |\hat{f}(w)|^2d\sigma(w) < \infty$?
Let $f\in L^p(\Bbb R^n)$ and $S^{n-1}$ be the Unit sphere.
Why
$\int_{S^{n-1}} |\hat{f}(w)|^2d\sigma(w)<\infty$ when $1<p<2$.
$\hat{f}$ is the Fourier transform fora function f.
- 39.1k
0
votes
0
answers
125
views
Has anyone seen such a function/quantity?
I am dealing with a problem wherein I encounter the following quantity-
$$
Q_{d, \epsilon}(t_0) = \sup_{t' \notin B(t_0, \epsilon)} \inf_{t \in B(t_0, \epsilon)} \frac{d(t') - d(t)}{t'-t}.
$$
Here,...
- 11
8
votes
2
answers
567
views
Darboux property of non-atomic sigma-additive nonnegative measures equivalent to the AC?
A result commonly, and probably erroneously, attributed to W. Sierpiński is that every non-atomic, countably additive, nonnegative measure $\mu: \Sigma \to \bf R$, where $\Sigma$ is a sigma-algebra on ...
- 273
2
votes
0
answers
107
views
Finite dimensional manifolds as subspace of $\mathbb{R}^\mathbb{N}$
For embedded submanifold, specifically with ambient space being $\mathbb{R}^{n}$, there are many nice properties and results. Specifically there are many examples of matrix manifolds such as the ...
- 275
2
votes
0
answers
184
views
Example of space which is weak Hahn-Banach smooth but not Hahn-Banach smooth
A Banach space $X$ is said to be Hahn-Banach smooth if every linear functional on $X$ has a unique norm-preserving extension over $X^{**}$. Weak Hahn-Banach smoothness is what if the above condition ...
CommunityBot
- 1
1
vote
1
answer
101
views
Unique continuation property of the equation $ -\Delta u=|u|^{p-1}u $ with $ p>2 $
Assume that $ \{u_i\}_{i=1}^{2} $ satisfies $ -\Delta u_i=|u_i|^{p-1}u_i $ in $ B_1 $ with $ p>2 $ and $ u_1=u_2 $ in an open set $ A\subset B_1 $. I want to ask that if $ u_1=u_2 $ in $ B_1 $.
...
- 16.2k
6
votes
2
answers
342
views
Reference for Langlands dual homomorphisms
I am looking for a reference that explains in detail the existence of Langlands dual homomorphisms. It seems that in the literature two references are given most often. The first is Borel's article ...
- 12.9k
3
votes
3
answers
228
views
References for well-posedness of weak solutions to Stefan problem
Can anyone recommend me any papers/texts that deal with the existence off weak solutions of the one-phase (or other) Stefan problem, or in general any sort of free boundary problem (for a beginner)?
...
- 6,367
0
votes
0
answers
72
views
Sequential compactness via Arzela-Ascoli theorem for uniform state spaces
Let $X$ be a uniform topological space and $C([0,1],X)$ the space of continuous functions from [0,1] to $X$. Assume that for subsets of $X$ sequential compactness and compactness are equivalent. Let $(...
- 133
3
votes
0
answers
60
views
Comparison theorem for SDEs driven by a continuous martingale
Consider the well-known comparison theorem for SDEs, versions of which appear in several textbooks, e.g., Karatzas and Shreve, Proposition 5.2.18, or Revuz and Yor, Theorem IX.3.7.
The result states ...
- 103
1
vote
0
answers
15
views
On the relation between quasiconvex functionals and quasimonotone operators
The following is a classical definition due to Morrey: Let $\Omega \subset \mathbb{R}^n$ be a nice enough, bounded domain and $f: \mathbb{R}^{m \times n} \to \mathbb{R}$ with some reasonable growth ...
- 2,504
4
votes
0
answers
87
views
Colimits of locally convex spaces in the categories of topological vector spaces vs locally convex spaces
Let $S$ be a set and let $V_s$ be a family of locally convex topological vector spaces (LCSs) indexed by $s \in S$. Let $V$ be a vector space (without topology) and let $T_s:V_s \to V$ be a family of ...
- 398
2
votes
1
answer
104
views
Strong convergence of a sequence in $L^2((0,T); H^{s,2}(\Omega)) \cap C([0,T];H^{-s,2}(\Omega))$, $0<s<1$
Let $u_n$ be a sequence with $u_n \in L^2((0,T);H^{1,2}(\Omega))$ and $\frac{\partial u_n}{\partial t} \in L^2((0,T);H^{1,2}(\Omega)^*)$. Then, how could one get a subsequence of $u_n$ that strongly ...
- 2,670
5
votes
2
answers
243
views
References for orbifold curves
I am looking for a good reference (if there is any) for the theory of orbifold curves from the perspective of stacks. By an orbifold curve I mean something like a $1$-dimensional irreducible Deligne-...
- 10.5k
8
votes
1
answer
537
views
Reference request: Expository paper on the use of functional analysis in differential and integral equations
Some textbooks on functional analysis do not hint that a major raison d'être of the subject is its use in the study of differential and integral equations. The reader could go all the way through ...
- 63.9k
18
votes
3
answers
2k
views
Scott-Solovay unpublished paper on ``Boolean valued models of set theory''
I have read some papers from 1970$^{th}$, and in some of them, the paper of Scott and Solovay on ``Boolean valued models of set theory'' is given as a main reference, with many references to the ...
- 47.4k
1
vote
0
answers
59
views
Gaussian Hypercontractivity of Chaos based on Gaussian with value in Hilbert spaces?
The classical Gaussian hypercontractivity is stated as following: Suppose $\xi$ is a Gaussian variable and $H_n(\xi)$ is the space of n-th homogeneous Wiener chaos constructed from $\xi$, then for any ...
- 253
1
vote
0
answers
66
views
Non-empty chambers for Hassett spaces
Fix some $n\geq 4$. Hassett constructed different compactifications of $M_{0,n}$ that depend on the input data of what he calls collections of weight data, which are elements of the set of admissible ...
- 650
0
votes
1
answer
143
views
Gauge invariance issues of YM theories in 2D Euclidean space
In order to be clear, I will write down every component explicitly. Also, I assume Euclidean metric in this post, so that spacetime indices are written as $i,j$ rather than $\mu, \nu$.
Following Wiki, ...
- 6,696
15
votes
3
answers
1k
views
Does anyone remember what happened to the experimental search for polynomial identities for $\pi$?
So a while back I was on the internet and had encountered a website containing an experimental search for identities for $\pi$. My memory was that the page belonged to either Jonathan Sondow or ...
- 2,836
-2
votes
1
answer
118
views
Mismatch between equivalent definitions of the Bohr compactification of the reals
I feel I'm overlooking something very silly.
The Bohr compactification of $\mathbb R$ has two equivalent definitions.
The set of (possibly discontinuous) homomorphisms $\mathbb R \to \mathbb T$ under ...
- 149k
1
vote
2
answers
836
views
Books one can read for 2nd course in Commutative Algebra ( Self Study)
I am a student who has completed master's but couldn't take admission to a PhD program due to some unfortunate reasons.
I have done 1 course in Commutative Algebra where I followed the book " ...
- 7,127
2
votes
1
answer
103
views
Sufficient conditions for the space of Radon measure to be a Banach space
Let $\mathcal{X}$ be a Hausdorff space and consider the space of Radon measures with bounded total variation $M(\mathcal{X})$ on $\mathcal{X}$.
Usually, the additional assumptions on $\mathcal{X}$ are ...
- 281
2
votes
1
answer
246
views
Inequality with Hermite polynomials
Consider the (physicist's) Hermite polynomials $H_n(x)$ which are divided by
$$\sqrt{\sqrt{\pi} 2^n n!}$$
for the purpose of normalization.
These are orthogonal with respect to the weight function $e^{...
- 4,034
2
votes
0
answers
56
views
Stability on manifold with boundary
Let $(X,\partial X)$ a smooth Kahler manifold with boundary, i.e. the interior of $X$ is Kahler, Donaldson proved that:
Given a smooth vector bundle $E$ over $X$ such that $E$ is holomorphic over the ...
- 395
3
votes
0
answers
103
views
How wild is the maximal ideal space of the Fourier-Stieltjes algebra of the real line?
The Fourier-Stieltjes algebra of $\mathbb R$ is the set of all sufficiently nice measures on $\mathbb R$. The vector product is convolution of measures. By identifying each measure with its Fourier ...
- 63.9k
0
votes
0
answers
89
views
Weakly compact set
I want to show that if the set
$$
\big\{u \in L^{q}([0, n] ; X): u(t) \in \phi(t, x(t)), t \in[0, n]\big\}
$$
is weakly compact, then the set
$$
\mathcal{S}_{\phi}(x)=\Big\{u\in L_{loc}^{q}(\mathbb{R}...
- 6,367
2
votes
1
answer
86
views
Smoothness of resolvent of the infinitesimal generator of an Ito diffusion acting on bounded continuous function
Let $dX_t=\sigma(X_t)\,dW_t+\mu(X_t)\,dt$ be an Ito diffusion with Lipschitz coefficients and $\sigma(x)>0$. Let $f(x)$ be a continuous and bounded and non decreasing function. Can we prove that ...
- 1,533
2
votes
0
answers
43
views
Good Polynomial lower estimates for beta function
I'm looking for polynomial lower estimates for beta function, and what I've found so far is this, which can be found in proposition 2.3 in this paper
Proposition 2.3 1. If $0<𝑞<1$ and $𝑝 \geq ...
- 677
1
vote
1
answer
82
views
Channel Capacity & Dependency Graph
A single-input-single-output communication channel is to be used repetitively. Denote by $X_i \in \mathcal X$ the input at time $i$ and by $Y_i \in \mathcal Y$ the output at time $i$.
Assume the ...
- 115
23
votes
2
answers
2k
views
Structures of the space of neural networks
A neural network can be considered as a function
$$\mathbf{R}^m\to\mathbf{R}^n\quad
\text{by}\quad x\mapsto w_N\sigma(h_{N-1}+w_{N-1}\sigma(\dotso h_2+w_2\sigma(h_1+w_1 x)\dotso)),$$
where the $w_i$ ...
- 3,599
7
votes
1
answer
299
views
Intermediate spaces of test functions between $\mathcal{S}$ and $\mathcal{D}$?
On $\mathbb{R}^n$, let $\mathcal{S}(\mathbb{R}^n)$ be the Schwartz space and $\mathcal{D}(\mathbb{R}^n)$ be the space of smooth, compactly supported functions.
According to p.145 of the book by Reed &...
- 6,367
2
votes
0
answers
97
views
On the second order analog of the upper 1-Lipschitz envelope of a function
Let $u: \mathbb R \to \mathbb R$ be a given function. Then we can consider its upper 1-Lip envelope
$$
\hat u(x) \doteq \inf\{g(x) \, \mid\, g \, \text{has Lipschitz constant 1 and}\, g(y) \geq u(y) \,...
- 355
13
votes
1
answer
1k
views
Apéry's constant $\zeta(3)$ fastest convergent series
UPDATE Feb.02.2024
The series below, Eq.(3) for computing and Eq.(2) for verifying, were applied by Andrew Sun on Dec.22.2023 to get over $2\cdot10^{12}$ decimal digits and break the number of ...
0
votes
1
answer
130
views
Is there a closed form for the integral $\int_{0}^{\infty}\ln(z)z^{\lambda - 1}\exp\left(-\frac{w}{2}\left(z + \frac{1}{z}\right)\right)\mathrm{d}z$?
As the title says, I would like to know if there is a closed form for the integral:
\begin{align*}
\int_{0}^{\infty}\ln(z)z^{\lambda - 1}\exp\left(-\frac{w}{2}\left(z + \frac{1}{z}\right)\right)\...
- 188k
3
votes
1
answer
615
views
Expectation value of inverse covariance matrix when sampling from unit sphere
Let $X \sim \operatorname{Unif}S_{d-1}$, so $X\in\mathbb{R}^d$ and is distributed uniformly on the unit sphere.
Then let $X_1, \dots, X_n \sim X$ iid and define the matrix $\mathbf{X}\in\mathbb{R}^{n\...
0
votes
0
answers
109
views
A Lipschitz function induced by the infimum of the length of curves
Recently I have read a paper, Quasiconformal Images of Hölder Domains, written by S. M. Buckley in 2004, published by Annales Academiæ Scientiarum Fennicæ Mathematica. I am confused about page 33 of ...
- 69
0
votes
0
answers
55
views
Time regularity vs space regularity for parabolic PDE
Suppose that there exist separable Hilbert spaces $V, H, X$ such that $V\hookrightarrow H\hookrightarrow X\hookrightarrow V'\,$ continuously, where $V'$ denotes the dual of the Hilbert space $V$. Let ...
- 311