All Questions
10,050 questions
5
votes
0
answers
104
views
Regularity of simplices, part deux
This question is directly inspired by Pietro Majer's question and my answer to it.
One can define a simplex, and the dihedral angles thereof in an infinite dimensional Hilbert space (one has to take ...
- 96.4k
5
votes
2
answers
774
views
Can we calculate the inner product of a semicontinous function with the Dirac delta function?
Dear all,
It is clear that if $f:R\mapsto R$ is a continuous function, than $< f, \delta_x >=f(x)$. Now, if $f$ is only semicontinous, can we say that $< f, \delta_x >=f(x)$? I think this ...
- 1,649
1
vote
1
answer
860
views
A doubt about tensor product on Hilbert Spaces
An operator is a bounded (i.e., continuous) linear transformation between Hilbert spaces. Let $\mathcal{B}[\mathcal{H}]$ be the set of all operators in the Hilbert space $\mathcal{H}$.
Let $\mathcal{...
- 57
16
votes
5
answers
3k
views
Measure theory treatment geared toward the Riesz representation theorem
I'm looking for recommendations for books (or lecture notes) that develop measure theory in sufficient detail to state and prove the Riesz representation theorem (which is the characterization of the ...
- 21.5k
2
votes
1
answer
4k
views
Gagliardo-Nirenberg inequality
I've read on another topic that general interpolation result from Gagliardo-Nirenberg inequality can be read as follow :
\begin{equation}
\|D^ju\|^1_{L^p} \leq C \|D^mu\|^a_{L^r} \|u\|^{1-a}_{L^q}
\...
- 23
11
votes
2
answers
1k
views
Why take 'complex powers' of pseudo-differential operators?
Given a pseudo-differential operator $P$ of order zero, Seeley showed that the holomorphic family of operators $\lbrace P^{z} : z\in \mathbb{C} \rbrace$ of all complex powers is contained in the ...
- 2,239
7
votes
2
answers
530
views
The kernel of all invariant means
Let $G$ be a discrete group which is amenable (i.e. it admits an left-invariant mean, i.e. a continuous positive normalised linear functional $m:\ell^\infty(G) \to \mathbb{R}$ such that $\forall g \in ...
- 4,432
3
votes
1
answer
226
views
Analytic continuation of instantaneous eigenstates of a time-dependent hamiltonian
We are considering the instantaneous eigenstates of an analytically time-dependent hamiltonian and I would like to know how legitimate it is to extend them to the complex plane.
Specifically, our ...
- 2,358
4
votes
2
answers
958
views
Do semi-continuous functions generate bounded Borel measurable functions as a $C^*$-algebra?
This question is related to Question 2 of my previous posting.
Question. Let $\mu$ be a Radon measure on a compact Hausdorff space $\Omega$ and $L^{\infty}(\Omega,\mu)$ the set of essentially bounded ...
- 619
2
votes
0
answers
787
views
Regarding a proof in Bourbaki's Topological Vector Spaces
On Bourbaki's TVS Chapter IV pages 33-34, the last part of Proposition 2 can be formulated as follows:
Notations:
$K$ - The underlying field which is the real or complex number field;
$X$ - A ...
- 21
5
votes
1
answer
484
views
Complemented Subspaces and Riesz-Thorin interpolation
Riesz-Thorin interpolation may sometimes be applied to subspaces (of $\ell^p$ or $L^p$) when these are complemented and the spaces in the complementation comes from a common dense subspace. To be a ...
- 4,432
0
votes
1
answer
2k
views
Infinite linear span vs closed linear span
Hi,
Suppose we have a (real, separable) Banach space $V$ and a (linear) set $A\subseteq V$. I presume in general it might not be possible to write every element of the closed span of $A$ as an ...
- 1,769
4
votes
1
answer
1k
views
Convolution of a continuous function and a finitely additive measure
Let $f$ be a continuous function on $\mathbb R$ with compact support and $\mu$ a finitely additive measure which is in the dual space of $L^\infty(\mathbb R)$. Is the convolution
$f\ast \mu(x)=\int_{...
- 415
3
votes
1
answer
949
views
ODE continuous dependence on parameters to PDE
I want to learn how to apply certain ODE theory to PDE. If we have a Banach space ODE $$x'(t) = f(t, x(t), p),$$ $$x(0) = x_0$$ where the equation is over same domain $t \in (a,b)$, then via the ...
- 55
1
vote
2
answers
318
views
Poisson modification of subharmonic function
Let $u\in C^2(\Omega)$ be such that $\Delta u \ge 0$ on $\Omega\supset \overline{B(a,r)}$. We consider the Poisson modification $U$ of $u$ for the ball $B(a,r),$ that is $U$ equals $u$ on $\Omega-B(...
- 25
10
votes
0
answers
744
views
Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?
Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...
- 888
4
votes
1
answer
243
views
When is Prim(A) of an infinite discrete group hausdorff ?
Does anyone know, if the following result has been proved ?
Let G be an infinite discrete group. A = L1(G) it's algebra and Prim(A) the set of prime ideals with spectral topology.
The result is :
...
- 41
2
votes
2
answers
470
views
Linear coupled parabolic PDE system with Holder continuous coefficients
I am interested in proving existence/uniqueness to: find $u(x,t)$, $v(x,t)$ such that
$$u_t - a_1u_{xx} - a_2u_x - a_3u -a_4v = f$$
$$v_t - a_5u_{xx} - a_6u_x - a_7u - a_8v_{xx} - a_9v_x - a_{10}v = g$...
- 55
0
votes
1
answer
258
views
Convolution with an element in the dual space
We recall that if $f_1\in L^p(\mathbb R)$ and if $f_2\in L^q(\mathbb R)$ where
$1 \lt p \lt \infty$ and $\frac 1p+\frac1q=1$ then the function $f_1\ast f_2(x)=\int_{\mathbb R} f_1(x-y) f_2(y)dy$ is a ...
- 415
3
votes
0
answers
269
views
Continuous selection given both upper and lower hemicontinuity
Suppose that $X,Y$ are compact metric spaces, and $g:X\rightarrow Y$ is a multivalued mapping that is both upper and lower hemicontinuous. Is there a single valued continuous selection of $g$? If it ...
- 203
4
votes
1
answer
2k
views
Functional derivative of the square of an integral
I have the following functional
$$F(y)=\left[\int \frac{1}{y(x)+A}\cos(x)dx\right]^2$$
How do I find the functional derivative $dF$?
(I never encountered the square of an integral before when I did ...
3
votes
0
answers
209
views
A maximum of a function
When studying the $\text{UMD}$ constants of spaces like $L_{p_1}(L_{p_2}(\cdots (L_{p_n})\cdots))$, I encounter the following question: Let $\alpha > 0$, define $$C(\alpha) : = \sup_{a > 0, b>...
- 769
-3
votes
1
answer
634
views
compactly supported harmonic functions [closed]
Do a significant class of compactly supported smooth functions u on Ω⊂Rn such that Δu≥0 exist?
Thanks!
- 25
3
votes
2
answers
411
views
Convergence rate of an iterative process
I have the following iterative process
$$a_n=a_{n-1}(1-\phi(a_{n-1})),\quad 0< a_0<1,$$
where $\phi(x)$ is a continuous increasing function, $\phi(0)=0$, and if $x\in(0,1)$ then $0< \phi(x)&...
- 931
0
votes
1
answer
156
views
Calculation of L2-dimension
For a group $G$, can we calculate $dim^{(2)}_{\mathcal{N}G}(\ell^2 G)$, where $\mathcal{N}G$ is the von Neumann algebra of $G$ and $\ell^2 G$ is the Hilbert space on $G$? I want to see whether this is ...
- 537
1
vote
1
answer
2k
views
Basic questions about parabolic Holder space
Hi, I am interested in learning a bit more about this space. I have exhausted all the books available at my disposal, and none of them explain much of the basics for me. Here's a definition of this ...
- 67
7
votes
0
answers
355
views
An $L^{\infty}$ version of principal component analysis?
I have a $k$ by $n$ matrix $A$, with $k \ll n$. In case it helps, the $k$ rows are orthonormal.
I'm interested in finding a $k$ by $k$ orthogonal matrix $M$ so as to maximize the $L^{\infty}$ norms ...
- 193
5
votes
0
answers
240
views
Linear ODEs in a locally convex vector space
Let $X$ be a complete, locally convex, Hausdorff topological vector space over $\mathbb{C}$. Let $J \subset \mathbb{R}$ be an open interval. Consider the space $M = C^\infty(J,X)$ of smooth ...
- 235
1
vote
1
answer
3k
views
How to show this Holder bound?
Define the seminorm on the space $S=[0,1]\times[0,T]$
$$\mid u\mid_{\alpha} = \sup\frac{|u(x, t) - u(y,s)|}{(|x-y|^2 + |t-s|)^{\frac{\alpha}{2}}}.$$
Define the norms on the same space
$$\lVert u \...
- 67
0
votes
0
answers
73
views
A constrained prolongement
Let $\Omega$ be a domain of $R^n$, let $\omega$ be open subset of $\Omega$ and let $\theta \in W^{2,\infty}(\omega).$
I am wondering about the existence of a function $\tilde{\theta} \in W^{2,\infty}...
- 25
4
votes
1
answer
262
views
Are faces of a compact, convex body "opposed" iff their extreme points are pairwise "opposed"?
Let $P$ be a compact, convex subset of $\mathbb{R}^n$ (infinite-dimensional generalisations welcome, but not necessary). Let's say that disjoint subsets $W_1$, $W_2$ $\subset P$ are opposed if there ...
- 95
0
votes
1
answer
320
views
Derivable functions & Sobolev spaces [closed]
Is a C^1-function in a bounded domain $\Omega\subset R^n;$ an element of the Sobolev space $W^{2,\infty}(\Omega)$ ?
- 25
1
vote
2
answers
660
views
A function which belongs on a concrete Besov Space
Please, anyone of you know a simple example of a function which belongs to the Besov Space with $p=q=\infty$ and $s=0$ (over $\mathbb{R}$ or $I\subset\mathbb{R}$ where $I$ is a closed interval). I ...
- 11
3
votes
0
answers
396
views
Norm estimate for Moore-Penrose pseudo-inverse of $i^\ast T i$
Let $G$ and $H$ be Hilbert spaces, let $i : G \rightarrow H$ be an isometric inclusion (so $G$ is a subspace of $H$) and let $T : H \rightarrow H$ be a bounded linear operator with closed range.
That ...
- 5,327
7
votes
3
answers
2k
views
Why do we distinguish the continuous spectrum and the residual spectrum?
As we know, continuous spectrum and residual spectrum are two cases in the spectrum of an operator, which only appear in infinite dimension.
If $T$ is a operator from Banach space $X$ to $X$, $aI-T$ ...
- 391
6
votes
1
answer
538
views
Growth rate of the infinity norm of Discrete Fourier Transform of +1,-1 vectors
Let $f=(f_0,\ldots,f_{n-1})$ be a vector in $V_n=\{\pm 1\}^n$. Let
$F=(F_0,\ldots,F_{n-1})$
be its (discrete) Fourier transform defined by
$$
F_k=\sum_{x=0}^{n-1} f_x \omega_n^{x k}
$$
where $\...
- 10.4k
3
votes
0
answers
302
views
Dense subalgebras of von Neumann algebras and increasing nets
[Question previously asked on Math.SE]
Let $N$ be a von Neumann algebra, and $A$ be a dense $∗$-subalgebra of $N$ (in the ultraweak topology) with $A''=N$. Is it true that:
For any $x∈N^+$, there ...
- 33
5
votes
1
answer
1k
views
When is a Banach Algebra $C^\star$
I know that if there are enough Hermitian elements in a Banach algebra, then the Banach algebra is stellar. In particular, I'm interested in the two spaces $B(L^1(S^1,\Sigma,\mu))$ the space of ...
- 53
1
vote
1
answer
357
views
semi group of contractions
Let $A$ a linear operator from his domaine $D(A)\subset H$ to $H$, with $H$ is a Hilbert space, such that $A$ is dissipative, and let $B$ is a monotone linear operator such that $D(A)\subset D(B)$.
...
- 11
0
votes
1
answer
193
views
Dissipative operator
Let $A$ a linear operator from his domaine $D(A)\subset H$ to $H$, with $H$ is a Hilbert space, such that $A$ is dissipative.
is it true that : if $\|y\|\leq \|z\|$ then $\|Ay\|\leq \|Az\|$?
Thank ...
- 11
2
votes
1
answer
187
views
Partial isometries making families of linearly independent vectors orthogonal
Suppose I have a family of $n$ linearly-independent elements $v_i$ of the Hilbert space $\mathbb{C}^m$, which are not necessarily orthogonal. Can I always find a partial isometry $f: \mathbb{C} ^m \to ...
- 2,513
8
votes
2
answers
1k
views
What is the simplest oscillatory integral for which sharp bounds are unknown?
I have either heard or read that sharp asymptotics and bounds for oscillatory integrals of the form
$ \int e^{i \lambda \Phi(x)} \psi(x) dx \quad \lambda \to \infty $
are unknown when the critical ...
- 2,243
8
votes
2
answers
1k
views
Does infinite-dimensional Brownian motion live in hyperplanes?
I'll begin this question with the finite-dimensional case, as a
warmup.
Let me say a continuous path $\omega : [0,1] \to \mathbb{R}^d$ is
hyperplanar if there exists a nonzero $x \in \mathbb{R}^d$ ...
- 29.8k
4
votes
1
answer
2k
views
Composition of $C^{k, \alpha}$ function with $C^\infty$ function on a compact domain
(I asked this question on MSE but I did not receive an answer so I hope I can post here.)
Let $S$ be a compact set in $\mathbb{R}^2$ and let $C^{k, \alpha}(S)$ denote the usual Holder space with $k$ ...
- 67
2
votes
1
answer
199
views
A Function with Exactly $k$ Minima in a Bounded Space
Is it possible to have a function with the following properties?
(i) The function maps a bounded $n$-dimensional space $\mathcal{X}$ (say $\left[0,1\right]^n$) onto a bounded interval $\mathcal{Y}$ (...
- 23
2
votes
1
answer
687
views
Solutions to Heat Equations with Obstacles!
Consider a closed Riemannian manifold $(M,g)$ and a positive function $\psi: M \to R$. Fix a point $p \in M$, I have been struggling to construct a solution to the heat equation, $\partial_t u = \...
2
votes
0
answers
202
views
Frames and reproducing kernels
Hello MathOverFlow
I have some questions about frames and reproducing kernels and here they are:
For a Hilbert space $H$ spanned by a frame $\lbrace f_n \rbrace$ there exists a reproducing kernel $K(...
- 21
0
votes
1
answer
338
views
Ultraweak closure inside a closed ball
Let $H$ be a Hilbert space, and $S\subseteq \mathcal{B}(H)$. We denote
$\bar S$ the ultraweak closure of $S$, and $B_r$ the closed ball of center 0
and radius $r>0$ of the normed space $\mathcal{...
- 33
1
vote
1
answer
3k
views
In Fourier Transforms: Positive Definite Functions, Bochner's Theorem, and Derivatives
I've been reading about Bochner's Theorem lately, but when I apply it to the derivative of a function, I seem to get a contradiction with the theorem.
"Bochner's theorem states that a
positive ...
- 11
1
vote
2
answers
452
views
Showing $\int f_{n+1} dx / \int f_n dx\to 0$
I have formally derived a solution to a PDE as a power series
$$u = \sum_{n=0}^\infty \epsilon^n u_n.$$
I would like to show that the radius of convergence for is $\mathbb{R}$. I assume that the ...
- 351