All Questions
12,935 questions
36
votes
12
answers
18k
views
Open problems in PDEs, dynamical systems, mathematical physics
(This question might not be appropriate for this site. If so, I apologize in advance. I would have posted to mathstack, but I'm looking for advice from active researchers.)
I am an undergrad in math ...
35
votes
4
answers
6k
views
How are infinite-dimensional manifolds most commonly treated?
I originally posted this question on StackExchange, where it was suggested I post here. It was also suggested I read about Hilbert manifolds and Fréchet manifolds. Nevertheless, I am still looking for ...
- 655
35
votes
2
answers
2k
views
Is it consistent with ZF that $V \to V^{\ast \ast}$ is always an isomorphism?
Let $k$ be a field and $V$ a $k$-vector space. Then there is a map $V \to V^{\ast \ast}$, where $V^{\ast}$ is the dual vector space. If we are in ZFC and $\dim V$ is infinite, then this map is not ...
- 156k
35
votes
2
answers
9k
views
tr(ab) = tr(ba)?
It is well known that given two Hilbert-Schmidt operators $a$ and $b$ on a Hilbert space $H$, their product is trace class and $tr(ab)=tr(ba)$. A similar result holds for $a$ bounded and $b$ trace ...
- 43.2k
34
votes
8
answers
9k
views
When is a Banach space a Hilbert space?
Let $\mathcal{X}$ be a real or complex Banach space.
It is a well known fact that $\mathcal{X}$ is a Hilbert space (i.e. the norm comes from an inner product) if the parallelogram identity holds.
...
- 343
34
votes
4
answers
2k
views
"Wild" solutions of the heat equation: how to graph them?
It has long been known that the Cauchy initial-value problem for the
classical heat equation on $\mathbb{R}$ (or $\mathbb{R}^n$) doesn't
have unique solutions, without additional assumptions. In ...
- 29.8k
34
votes
2
answers
3k
views
Can we recover a von Neumann algebra from its predual?
By definition, a von Neumann algebra is a C*‑algebra A
that admits a predual, i.e., a Banach space Z such that
Z* is isomorphic to the underlying Banach space of A.
(We require that isomorphisms in ...
- 37.8k
34
votes
2
answers
933
views
If $A$ is the ring of continuous functions on a genus $g$ surface, can the genus of $X$ be seen by simple algebra in $A$?
I was describing to a friend the result that a compact Hausdorff space is determined up to homeomorphism up to by its ring of continuous functions, and he asked how one could see the genus of a ...
- 1,462
34
votes
2
answers
2k
views
A long-lasting conjecture of Pólya & Szegő
There is a conjecture by Pólya & Szegő (~1950, stated in p. 159 of their book Isoperimetric Inequalities in Mathematical Physics) which is as follows:
"Of all $n$-gons of a fixed area, the ...
- 1,583
34
votes
1
answer
3k
views
tr(ab)=tr(ba), part 2.
This is a Banach space version of Andre Henriques' question
Trace Question
for Hilbert spaces. Let $a:X\to Y$ and $b:Y\to X$ be bounded linear operators between Banach spaces s.t. $ba$ and $ab$ ...
- 31.5k
34
votes
1
answer
6k
views
Jet bundles and partial differential operators
A geometric way of looking at differential equations
In the literature for the h-principle (for example Gromov's Partial differential relations or Eliashberg and Mishachev's Introduction to the h-...
- 39k
34
votes
1
answer
4k
views
Theme of Isbell duality
Let $C$ be a small category. Isbell duality provides an adjunction $\widehat{C} {{\mathcal{O} \atop \longrightarrow} \atop {\longleftarrow \atop \mathrm{Spec}}}\widehat{C^{\mathrm{op}}}^{\mathrm{op}}$....
- 63.1k
33
votes
5
answers
8k
views
H-principle and PDE's
According to Wikipedia: "In mathematics, the homotopy principle (or h-principle) is a very general way to solve partial differential equations (PDEs), and more generally partial differential relations ...
- 395
33
votes
3
answers
3k
views
Reference request for translating from Top to C*-alg
Some recent questions on MO (for example, Do subalgebras of C(X) admit a description in terms of the compact Hausdorff space X?) have been about Gelfand duality — namely, that the categories of ...
- 18.7k
33
votes
4
answers
2k
views
Hahn-Banach theorem with convex majorant
At least 99% of books on functional analysis state and prove the Hahn-Banach theorem in the following form: Let $p:X\to \mathbb R$ be sublinear on a real vector space, $L$ a subspace of $X$, and $f:L\...
- 16.4k
33
votes
4
answers
11k
views
Counterexample for the Open Mapping Theorem
I would like to ask a counterexample for the classical theorem in functional analysis: the open mapping theorem in the case that $Y$ is Banach, but $X$ is not Banach to show that the completeness of X ...
- 331
33
votes
5
answers
3k
views
How to define a differential form on a fractal?
It is well known how to construct a Laplacian on a fractal using the Dirichlet forms (see e.g.
the survey article by Strichartz). This implies, in particular, that a fractal can be "heated", i.e. one ...
- 22.3k
33
votes
1
answer
2k
views
For which maps $S^1\to S^1$ is the winding number defined?
There are two classes of maps $S^1\to S^1$ for which I know how to define the winding number:
• Continuous maps:
Using the unique path lifting property of the universal covering map $\mathbb R\to S^...
- 43.2k
33
votes
1
answer
2k
views
Stone-Weierstrass theorem for holomorphic functions?
The Stone-Weierstrass theorem has an analog for the algebras of smooth functions, called
Naсhbin's theorem: An involutive subalgebra $A$ in the algebra ${\mathcal C}^\infty(M)$ of smooth ...
- 7,426
33
votes
0
answers
1k
views
Subalgebras of von Neumann algebras
In the late 70s, Cuntz and Behncke had a paper
H. Behncke and J. Cuntz, Local Completeness of Operator Algebras, Proceedings of the American Mathematical Society, Vol. 62, No. 1 (Jan., 1977), pp. 95-...
- 25.5k
32
votes
19
answers
23k
views
Good books on theory of distributions
Hi all.
I'm looking for english books with a good coverage of distribution theory.
I'm a fan of Folland's Real analysis, but it only gives elementary notions on distributions.
Thanks in advance.
32
votes
11
answers
23k
views
A book for problems in Functional Analysis
I want to know if there's any book that categorizes problems by subjects of Functional Analysis.
I'm studying Functional Analysis now a days and I really need to solve some problems in order to ...
32
votes
6
answers
3k
views
Can distribution theory be developed Riemann-free?
I imagine most people who frequent MO have been indoctrinated into the point of view that the Riemann integral can be safely discarded once one has taken the time to develop the Lebesgue integral. ...
- 29.2k
32
votes
3
answers
3k
views
Why are there so many fractional derivatives?
I have been interested in fractional calculus for some time now, and I have seen "lots" of definitions of the $\frac {d^\alpha} {dx^\alpha}$ operator.
I started with the book The Fractional Calculus ...
- 3,738
32
votes
2
answers
4k
views
Are there non-reflexive vector spaces isomorphic to their bi-dual?
Let $V$ be an infinite dimensional topological vector space and consider the natural application $\iota\colon V\to V^{**}$. The space $V$ is said to be reflexive if $\iota$ is an isomorphism.
Are ...
- 7,902
31
votes
7
answers
4k
views
Intuition for failure of Implicit Function theorem on Frechet Manifolds
When dealing with moduli spaces of, say connections or metrics, I am using the notions of Frechet spaces/manifolds/groups. I have become familiar with Banach manifolds (I think), but Frechet manifolds ...
- 17.5k
31
votes
2
answers
3k
views
Is a normed space which is homeomorphic to a Banach space complete?
I have a normed space $(E,||\cdot||)$ which is homeomorphic (as a topological space) to a Banach space $F$.
Does this imply that $(E,||\cdot||)$ is also a Banach space?
I think I read something ...
- 495
31
votes
5
answers
5k
views
Is there a mathematically precise definition of turbulence for solutions of Navier-Stokes?
Given a solution $S$ of the Navier-Stokes equations, is there a way to make mathematically precise a statement like: "$S$ is turbulent in the spacetime region $U$"?
And if such a definition ...
- 5,343
31
votes
3
answers
5k
views
When is an integral transform trace class?
Given a measure space $(X, \mu)$ and a measurable integral kernel $k : X \times X \rightarrow \mathbb{C}$, the operator
$$ K f(\xi) =\int_{X} f(x) k(x,\xi) d \mu(x),$$
the operator $K$ is Hilbert ...
- 11.2k
31
votes
4
answers
5k
views
Classification of PDE
Recently I have been attending a course on PDE's. I was totally ignorant of the subject and wasn't that motivated to be honest. But I was intrigued and felt I had to take the course seriously both for ...
- 7,527
31
votes
2
answers
1k
views
Open problems in Sobolev spaces
What are the open problems in the theory of Sobolev spaces?
I would like to see problems that are yes or no only. Also I would like to see problems with the statements that are short and easy to ...
31
votes
1
answer
2k
views
Szőkefalvi-Nagy's unitarizability theorem in the Calkin algebra?
Here's a research problem, which I think interesting.
Suppose that $t$ is an invertible element in the Calkin algebra $\mathcal{Q} = \mathcal{B}(\ell_2)/\mathcal{K}(\ell_2)$ which satisfies $\sup_{n \...
- 10.1k
31
votes
1
answer
2k
views
Topology on space of hyperfunctions
This is a reference request, coming from someone with little knowledge of hyperfunctions:
Which methods have been used to endow the space of hyperfunctions $\mathcal B(\mathbb R)$ with something like ...
- 21.3k
31
votes
0
answers
2k
views
Do there exist infinite-dimensional Banach spaces in which every bounded linear operator attains its norm?
Let $X$ be a Banach space, $L(X)$ the space of all bounded linear operators on $X$. We say that $A ∈ L(X)$ attains its norm if there exists $x ∈ X$ such that $\|x\| = 1$ and $\|Ax\| = \|A\|$. The ...
- 4,878
31
votes
0
answers
1k
views
When are two C*-algebras isomorphic as Banach spaces?
We may consider each $C^*$-algebra as a Banach space (by forgetting the multiplication and adjoint). I wonder how drastic this step is, i.e., which properties of the $C^*$-algebra are reflected by its ...
- 3,497
30
votes
18
answers
3k
views
PDEs as a tool in other domains in mathematics
According to the large number of paper cited in MathSciNet database, Partial Differential Equations (PDEs) is an important topic of its own. Needless to say, it is an extremely useful tool for natural ...
30
votes
8
answers
4k
views
Applications of microlocal analysis?
What examples are there of striking applications of the ideas of microlocal analysis?
Ideally I'm looking for specific results in any of the relevant fields (PDE, algebraic/differential geometry/...
- 7,789
30
votes
5
answers
3k
views
Looking for an interesting result on the Navier-Stokes equations
I am in my second year of master in Mathematics and one of my courses consists of a reading of Navier-Stokes Equations by Roger Temam. We have proven the existence for the weak Stokes and Navier-...
- 452
30
votes
4
answers
4k
views
Elementary applications of Krein-Milman
This is a cross-post from MSE: Elementary applications of Krein-Milman. I'm starting to suspect that the question just doesn't really have a great answer, it's worth a try.
Recall that the Krein-...
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
30
votes
1
answer
4k
views
What goes wrong for the Sobolev embeddings at $k=n/p$?
For $u\in W^{k,p}(U)$, where $U\subseteq\mathbb{R}^n$ is open and bounded with $C^1$-boundary, we have the celebrated Sobolev inequalities:
If $k < n/p$ then $u\in L^q(U)$ for $q$ satisfying $\frac{...
- 17.5k
30
votes
1
answer
1k
views
Functional-analytic proof of the existence of non-symmetric random variables with vanishing odd moments
It is known that a random variable $X$ which is symmetric about $0$ (i.e $X$ and $-X$ have the same distribution) must have all its odd moments (when they exist!) equal to zero. The converse is a ...
- 6,853
29
votes
15
answers
6k
views
Important results that use infinite-dimensional manifolds?
Are Banach manifolds (or other types of infinite-dimensional manifolds) just curiosities, or have they been utilized to prove some interesting/important results? Where do they turn up? Important ...
29
votes
6
answers
10k
views
Square roots of the Laplace operator
In several places in the literature (e.g. this paper of Caffarelli and Silvestre), I've seen an integral formula for fractional Laplacians. I'd like to understand it. In this question, I'll stick to ...
- 27.7k
29
votes
6
answers
9k
views
Nonseparable Hilbert spaces
Being nonseparable Banach space is in fact nothing special: one meets the first
examples in the standard functional analysis course, when one learns about
$\ell^p$ or $L^p[0,1]$ spaces-these spaces ...
- 9,330
29
votes
1
answer
4k
views
Furstenberg's Conjecture on 2-3-invariant continuous probability measures on the circle
Hillel Furstenberg conjectured that the only $2$-$3$-invariant probability measure on the circle without atoms is the Lebesgue measure. More precisely:
Question: (Furstenberg) Let $\mu$ be a ...
- 25.5k
29
votes
1
answer
3k
views
The Riemann zeros and the heat equation
The Riemann xi function $\Xi(x)$ is defined, with $s=1/2+ix$, as
$$
\Xi(x)=\frac12 s(s-1)\pi^{-s/2}\Gamma(s/2)\zeta(s)=2\int_0^\infty \Phi(u)\cos(ux) \, du,
$$
where $\Phi(u)$ is defined as
$$
2\sum_{...
- 11.1k
28
votes
6
answers
6k
views
Any real contribution of functional analysis to quantum theory as a branch of physics?
In the last paragraph of this last paper of Klaas Landsman, you can read:
Finally, let me note that this was a winner's (or "whig") history, full of hero-worship: following in the footsteps of ...
28
votes
6
answers
12k
views
Almost orthogonal vectors
This is to do with high dimensional geometry, which I'm always useless with. Suppose we have some large integer $n$ and some small $\epsilon>0$. Working in the unit sphere of $\mathbb R^n$ or $\...
- 18.7k
28
votes
9
answers
5k
views
Applications of algebra to analysis
EDIT: I would like to make a list of modern applications of algebra in analysis. By "modern" I will mean developments since the beginning of the 20th century. It is well known that classical linear ...