All Questions
10,049 questions
7
votes
0
answers
273
views
Hilbert space from the Tate pairing
Fix an elliptic curve $E$ over ${\Bbb Q}$ (or if you prefer, something more general over something more general). For each extension $F$ of ${\Bbb Q}$, the Néron-Tate height pairing gives
an inner ...
- 17.6k
15
votes
5
answers
680
views
Idiosyncratic characterizations of $\ell^p$, for $p\not=1,2,\infty$
Do there exist, either in the literature or in folklore, theorems
that characterize some particular $\ell^p$ space(s) ($p\not=1,2,\infty$)?
Such a theorem should reveal the particular space(s) as ...
- 17.6k
1
vote
1
answer
304
views
How do maximum norms relatively change in Euclidean translations
Let $Q$ be the cube $[-1,1]^{3}$ and $\pi$ be a plane in $\mathbb{R}^{3}$
that contains the origin but doesn't contain any vertex of $Q$. Suppose that $A$ is an invertible
linear transformation from $\...
- 11
39
votes
3
answers
14k
views
Is the Invariant Subspace Problem interesting?
There's an amusing comment in Peter Lax's Functional Analysis book. After a brief description of the Invariant Subspace Problem, he says (paraphrasing) "...this question is still open. It is also an ...
- 1,241
2
votes
0
answers
800
views
Controlling the Lipschitz norm of the limit of a sequence of functions
Consider the Fréchet space $\Omega = C(\mathbb R^d)$ of real-valued continuous functions equipped with the seminorms $$\|f\|_D := \sup_{x,y \in D} \left\{ |f(x)|, \tfrac{|f(x)-f(y)|}{|x-y|} \right\}, \...
- 8,512
4
votes
1
answer
720
views
Are coordinate functionals on complete vector spaces always continuous?
(I'm just adding the completeness condition to $V$ from this 2 month old question of mine, because I realized it's relevant to whether Bill Johnson's answer to this 4 month old question of mine ...
user5810
8
votes
1
answer
678
views
Spectral theory of pseudo-differential operators
Consider a finite rank complex bundle $E$ over $S^1$ with connection $\nabla$. Let $Q_0, Q_1 \in C^\infty(S^1, E)$ be pseudo-differential operators. $Q_0$ is defined by the symbol $\sigma_0(x, \xi) =...
3
votes
1
answer
842
views
An elementary introduction of Colombeau's generalized function theory
Hello, I am wondering whether anyone know an elementary reference for Colombeau's theory on the multiplication of distributions? I encountered the problem of the square of Delta function. I need a ...
- 1,649
2
votes
2
answers
528
views
Characterizations of amenable groups which use the space $\ell_1(G)$ and convolution
Let $G$ be a discrete group.
Do you know characterizations of amenable groups which use the space $\ell_1(G)$ and convolution?
I only know Johnson's theorem:
A group is amenable if and only if the ...
7
votes
3
answers
1k
views
Compactness properties of plurisubharmonic functions
I'm quite interested in this topic, but the main text on Several Complex Variables say little of nothing about it. Here are my questions, and I'd be grateful of any reference or information.
Let $\...
- 60.5k
7
votes
1
answer
2k
views
A good reference for the wave front set
Hello,
I am wondering whether anyone know some good references for the theory of wave front set, microlocal analysis? I have some basic knowledge of distribution theory at the level of the Rudin's ...
- 1,649
0
votes
1
answer
222
views
Bounding near the boundary for a Sobolev function.
Let $f: \Omega\rightarrow \mathbb{R}$ where $\Omega\subset\mathbb{R}^d$ is bounded with lipschitz smooth boundary. Further suppose that $f\in\mathcal{H}^{\tau}(\Omega)$, $\tau>\frac{d}{2}$ (i.e. $f$...
- 3,217
44
votes
10
answers
47k
views
Is square of Delta function defined somewhere?
I am wondering whether anyone knows if the square of Dirac Delta function is defined somewhere.
In the beginning, this question might look strange. But by restricting the space of the test functions, ...
0
votes
1
answer
234
views
A property of "Schwartz" quadratic forms
Consider $K(x, y)$, $f(x)$ Schwartz functions and $g(y)$ a tempered distribution. Suppose $$K(x, y) = K(y, x)$$ Define
$$h(t) = \int f(x - t) K(x, y) g(y - t) dx dy$$
It appears to me $h(t)$ is a ...
- 1,368
3
votes
2
answers
413
views
Associativity of polar decomposition
By polar decomposition, every continuous linear function $f \colon H \to K$ between Hilbert spaces can be written uniquely as $f = \widehat{f} \circ |f|$ for a positive operator $|f| \colon H \to H$ ...
- 3,937
3
votes
1
answer
3k
views
Solving Functional Equation
Continue with my previous question “Regarding Kolmogorov's Superposition Theorem”, here are some further questions:
Question-1
Is it true: for any given $C^1$ continuous real function $f(x, y): \Re^2 ...
- 103
27
votes
3
answers
5k
views
Weak and Strong Integration of vector-valued functions
This is probably an elementary question, but outside my area of expertise, and I was unable to find any suitable reference:
Suppose $f:X\to E$ is a continuous function from a compact spaces (endowed ...
- 741
19
votes
0
answers
1k
views
Is there some way to see a Hilbert space as a C-enriched category?
The inner product of vectors in a Hilbert space has many properties in common with a hom functor. I know that one can make a projectivized Hilbert space into a metric space with the Fubini-Study ...
- 1,532
5
votes
0
answers
616
views
Lebesgue measure on Frechet space?
It is well known that there are no Lebesgue measures on infinite-dimensional Banach spaces (see e.g. http://en.wikipedia.org/wiki/There_is_no_infinite-dimensional_Lebesgue_measure). However, I couldn'...
- 1,368
9
votes
2
answers
2k
views
Nice Classes of Non-Closable Operators
The only thing I know about non-closable operators can be summarised as "they exist, but they're nasty, so let's not talk about them!" This seems to be the case with everyone else I've talked to. I'd ...
- 1,411
3
votes
0
answers
130
views
Positive block matrices over tensor algebras
Let $A$ be a unital C*-algebra. A positive block matrix in $M_2(A)$ must have the form
$$ \begin{pmatrix} a & a^{1/2} x b^{1/2} \\ b^{1/2} x^* a^{1/2} & b \end{pmatrix}, $$
where $a,b$ are ...
- 18.7k
5
votes
1
answer
781
views
Does a log-concave function on a convex set extend continuously to the boundary?
Let $U$ be an open convex set in a locally convex space $X$, and let $f : U \to [0,1]$ be a log-concave function on $U$ (i.e., bounded and real-valued). Under what conditions does $f$ have a ...
- 8,512
7
votes
1
answer
362
views
Nonexpansive multi-valued maps in $\ell^2$
Let $C$ be a nonempty bounded closed convex subset, say the unit ball, of $\ell^2(\mathbb{N})$. Let $T: C\to 2^C$ be a map such that $T(x)$ is nonempty closed for each $x$, and that $$D(Tx,Ty)\le \|x-...
- 744
4
votes
0
answers
257
views
A matrix minimisation problem
Feel free to edit the title!
Suppose A is a C*-algebra and $a,b\in A$ are self-adjoint. I'd be very happy with A being just $n\times n$ matrices.
Question: If there are $t\in\mathbb R$ and $\...
- 18.7k
7
votes
1
answer
481
views
Gelfand theory Problem
I have 2 problems in Gelfand theory. I shall be thankful for any
answers.
1)What is the gelfand spectrum of l^1(N)?
A few of
the elements are evaluations of functions(defined below) on closed
unit ...
- 71
2
votes
1
answer
412
views
General Sobolev Inequalities
In Partial Differential Equation by Lawerence Evan p284 there is this theorem stated:
Let $U$ be a bounded open subset of $\mathbb{R}^n$ with $C^1$ boundary. Suppose $u\in W^{k,p}$ then if $k>n/p$ ...
- 3,217
0
votes
1
answer
435
views
spectrum of the compression of a selfadjoint operator
Let T be a (unbounded) selfadjoint operator in $B(H)$, the bounded operator acting on Hilbert space $H$.
Def: A compression of T is an operator $pTp$, where $p$ is a projection in $B(H)$.
I am ...
- 31
1
vote
1
answer
2k
views
Square root of integral operator
Consider the 1-torus $\mathbb{T}$. Let $k$ be a smooth function on $\mathbb{T}^2$ and $K$ be the integral operator on $L^2(\mathbb{T})$ with kernel $k$. One can show that $K$ is of trace class, hence $...
- 1,702
1
vote
2
answers
606
views
Do separable $C^*$-algebras form a set?
The question is in subject.
Update: See Andreas Thom's answer.
- 613
1
vote
1
answer
491
views
Bounding a smooth function near the boundary
Let $f: \Omega\rightarrow \mathbb{R}$ where $\Omega\subset\mathbb{R}^d$ is bounded with lipschitz smooth boundary. Further suppose that $f\in\mathcal{H}^{\tau}(\Omega)$, $\tau>0$ and that $f$ ...
- 3,217
4
votes
1
answer
2k
views
Characterizations of a linear subspace associated with Fourier series
Let $c_0$ be the Banach space of doubly infinite sequences $$\lbrace
a_n: -\infty\lt n\lt \infty, \lim_{|n|\to \infty} a_n=0 \rbrace.$$ Let $T$ be the space of $2\pi$ periodic functions integrable ...
- 744
22
votes
5
answers
3k
views
Unexpected applications of Dvoretzky's theorem
Dvoretzky's theorem is a classic of convex geometry. Recently at a conference in quantum information I learned (from Patrick Hayden's talk) about a nontrivial application of the theorem to a problem ...
- 2,449
18
votes
4
answers
2k
views
Does "taking the dual space" stabilize?
Every book which treats dual spaces of normend spaces states that $(c_0)' = \ell^1$ and $(\ell^1)' = \ell^\infty$ and some also describe $(\ell^\infty)'$.
However, is anything known about higher ...
- 12.7k
3
votes
1
answer
1k
views
If $H$ is a separable Hilbert space, is its dual dense in $L^2(H)$?
Let $H$ be an infinite-dimensional, separable Hilbert space, and let $\gamma$ be a Radon probability measure on $H$ with mean zero and covariance operator the identity $I$.
Let $H^*$ denote the space ...
- 8,512
7
votes
1
answer
1k
views
If $H$ is a separable Hilbert space, is $L^2(H)$ separable?
Let $H$ be a separable Hilbert space, and let $\gamma$ be a Radon probability measure on $H$ with mean zero and covariance operator the identity $I$.
Is the Hilbert space $L^2(H,\gamma)$ separable?
- 8,512
26
votes
2
answers
5k
views
Does Arzelà-Ascoli require choice?
Inspired by a recent Math.SE question entitled Where do we need the axiom of choice in Riemannian geometry?, I was thinking of the Arzelà--Ascoli theorem. Let's state a very simple version:
...
- 29.8k
1
vote
0
answers
439
views
Does the dual Banach space $B(\ell^\infty)$ have weak* normal structure?
Let $K$ be a bounded closed convex subset of a Banach space $E$. A point $x$ in $K$ is called a diametral point if
$$
\sup_{y\in K} \|x-y\|={\rm diam}(K).
$$
where ${\rm diam}(K)$ denotes the ...
- 1,222
23
votes
5
answers
6k
views
Hahn-Banach without Choice
The standard proof of the Hahn-Banach theorem makes use of Zorn's lemma. I hear that, however, Hahn-Banach is strictly weaker than Choice. A quick search leads to many sources stating that Hahn-Banach ...
- 1,202
7
votes
2
answers
2k
views
Heat kernel estimates and Gaussian estimates for semigroups, good reference?
Hi, it seems like a big field and I'm having trouble getting some solid/classic references to get me started.
If $U \subset \mathbb{R}^d$ is a bounded domain with, say, $C^2$-boundary $\partial U$ ...
7
votes
3
answers
1k
views
A Question concerning the Fourier Transform of $\mathbb{R}$
Consider the classical Schwartz space $\mathcal{S}(\mathbb{R})$ together with the Fourier transform $\mathcal{F} : \mathcal{S}(\mathbb{R}) \rightarrow \mathcal{S}( \mathbb{R})$.
Consider the subspace ...
- 11.2k
18
votes
1
answer
1k
views
Are there non-reflexive abelian topological groups isomorphic to their second dual?
I posted the following question in a comment at
Are there non-reflexive vector spaces isomorphic to their bi-dual? and it got one upvote, but it didn't get an answer, so I'll post it as an ...
- 50.6k
14
votes
5
answers
4k
views
Is there an extension of the Arzela-Ascoli theorem to spaces of discontinuous functions?
The Arzela-Ascoli function basically says that a set of real-valued continuous functions on a compact domain is precompact under the uniform norm if and only if the family is pointwise bounded and ...
- 943
1
vote
1
answer
663
views
What are conditions to make f(x) defined by f(x)=f(x-1)*x + 1/e unique(for instance convex)?
[Background:]
Looking at the powerseries for the gamma-function
$ \Gamma(1+x) = 1 + a_1 x + a_2 x^2 - a_3 * x^3 + ... $
then we can arrive at a decomposition
$ \Gamma(1+x) = r(x) + g(x) $
...
- 5,342
21
votes
0
answers
732
views
Closed connected additive subgroups of the Hilbert space
It is a classical result that a closed and connected additive subgroup of $\mathbb{R}^n$ is necessarily a linear subspace. However, this is no longer true in infinite dimension: a very easy example is ...
- 60.5k
0
votes
2
answers
2k
views
Vector spaces of random variables having zero expectation
Edit: Robin's comments appear to have made the matter a lot clearer to me. I now suppose that the vector space of random variables with zero expectation are studied in the context of second order ...
- 661
1
vote
1
answer
1k
views
Laplace equation over concentric spheres
Is there a closed formula for the solution of Dirichlet problem ($\Delta u=0$) for annulus $r <|x| < R$, $x \in R^n$ (n>2), with two given boundary value functions, $f$ over $|x|=r$ and $g$ over ...
- 39
0
votes
1
answer
1k
views
Precompact set in L2 space?
Let A be a bounded interval in R. Suppose we have a collection of functions, such that
Each function is $\in$ $L^r(A)$, where r is any number $\in$ $[1, \infty]$,
The fractional derivative of order ...
- 11
2
votes
1
answer
466
views
What is the regularity of the argument of a complex function?
Let $\psi=f+ig=\rho e^{i\theta}$ be a complex function on some open subset of $\mathbb{R}^n$, where $f,g,\rho$ and $\theta$ are real-valued. I happened to find that the identity of differentiation for ...
- 305
1
vote
0
answers
195
views
Lower semicontinuity of Bregman distances/divergences
For a Banach space $X$ and a convex functional $J:X \to [0,\infty]$ (i.e. with values in the extended reals), consider the associated Bregman distance: For $x,y\in X$ and $\xi\in\partial J(y)$:
\begin{...
- 12.7k
4
votes
4
answers
1k
views
An example of a non-paracompact tvs (over the reals, say)
What is an example of a non-paracompact topological vector space?
I'm aware of this question, but I don't care if my tvs is locally convex. In fact the wilder the better. The only criterion is that ...
- 35.5k