All Questions
12,935 questions
0
votes
0
answers
81
views
Is it possible to continuously embed $C^\infty(\mathbb{T}^n)$ as a vector space into $\mathcal{D}(\mathbb{R}^n)$ by some "inverse" of periodization?
Let $\mathbb{T}^n$ be the $n-$dimensional torus and $C^\infty(\mathbb{T}^n)$ be the Frechet space of smooth periodic functions on $\mathbb{R}^n$.
According to p.298 of Folland "Real Analysis"...
- 3,477
0
votes
0
answers
113
views
Solving $\frac{\partial}{\partial t}f = h f + h \int h f$
Is there a closed form solution to the following differential equation?
$$\frac{\partial}{\partial t}f(i, t) = a h(i) f(i, t) + b h(i) \int \mathrm{d}i\ h(i) f(i, t)$$
Where $h(i)=C (i+1)^{-p}$ with $...
- 2,252
0
votes
0
answers
141
views
Does there exists a smooth reflexive infinite dimensional Banach space that is not strictly convex
It is known that in a reflexive Banach space, if the norm is strictly convex, then its dual will be smooth Banach space, and if the norm is smooth, then the dual norm is strictly convex.
We can find ...
- 85
0
votes
0
answers
146
views
Linear dynamics in a function space
I posted the same question to Math Stackexchange earlier without much luck, so I am posting here.
I am dealing with a time-dependent model, which can be expressed as a function. $f$ is dependent on ...
- 433
0
votes
0
answers
175
views
Does l2 projection of sequences preserve l1 norm convergence?
Let $\ell^2$ denote the set of square summable sequences with inner product $\langle x,y\rangle=\sum_{i=1}^{n}x(i)y(i)$ and $\ell^2$ norm $\|x\|_2=\sqrt{\langle x,x\rangle}$. Let $\|x\|_1=\sum_{i=1}^{\...
- 45
0
votes
0
answers
145
views
A possible generalization of Pitt's theorem
Inspired by Pitt's theorem and this post we ask the following question:
First we remind the Pitt's theorem and also introduce a particular Banach space as averaging of $\ell^p$ spaces for $1\leq p ...
- 356
0
votes
0
answers
77
views
$ \int_{\mathbb{R}^n} f R_1 f=0$ if $f\in L^2$ Riesz transform
How can I see that? It seems that it has to do with the adjoint of the Riesz transform $R_1^*=-R_1$, but here we do not have the complex $L^2$ scalar product.
- 1
0
votes
0
answers
241
views
About the proof of Lebesgue decomposition theorem for Hilbert spaces
Let $\mu$ be a Borel measure on $\mathbb{R}$. By the Lebesgue decomposition theorem, there exists measures $\mu_\text{pp}$, $\mu_\text{ac}$ and $\mu_\text{sing}$ such that $\mu = \mu_\text{pp}+\mu_\...
- 1,305
0
votes
0
answers
213
views
Convergence of inverse operator with projections
Let $X$ be a separable Hilbert space, and let $(e_i)_{i=1}^\infty$ be an orthonormal basis of $X$. For each $n\in \mathbb{N}$, let $X_n$ be the subspace spanned by $(e_i)_{i=1}^n$, and consider the ...
- 503
0
votes
0
answers
127
views
Closure of BV paths in space of paths of finite $p$-variation
Let $p\ge1$ and $T>0$. Define $\mathscr D([0,T])$to be the space of partitions of $[0,T]$, where each partition is a finite collection of distinct points of $[0,T]$. Consider a continuous path $X:[...
- 177
0
votes
0
answers
78
views
Different measurability of Hilbert-space valued random variable
My question is motivated by this link.
Let $(\Omega,\mathcal{F})$ and $(Y,\mathcal{B})$ be measurable spaces, a measurable map $T:\Omega\to Y$ is called a $Y$-valued random variable.
Now let $H$ be a ...
- 503
0
votes
0
answers
176
views
Difficulty in understanding one step in Ciraolo-Figalli-Maggi paper
I am in trouble in understanding one step of theorem 1.1 in the paper by Ciraolo-Figalli-Maggi: arXiv link, link at Figalli's page.
Namely in equation \eqref{1}, it is written: "Since $u=\sigma+\...
- 337
0
votes
0
answers
124
views
Eigenvectors of the symmetric tridiagonal matrices whose entries above the diagonal are all the same
Let us consider the real symmetric tridiagonal matrix $T=(t_{kl})$ in $M_n(\mathbb{R})$ with
$$t_{1,2}=t_{2,3}=\cdots=t_{n-1,n}=1$$
How can we compute the eigenvectors of $T$?
- 4,058
0
votes
0
answers
92
views
Proof of the isomorphism of the Toeplitz algebra and the algebra generated by the element and the relation
Please tell me where can I see the proof of this well-known fact?
enter image description here
0
votes
0
answers
70
views
Follow-up question regarding real singular matrices with additional details
After my question whose answer turned out to be false, I re-examined the course of my proof, which is actually seperate from the one in my question, and found out that there's another condition, at ...
- 286
0
votes
0
answers
141
views
Support function of the intersection of a hyper-ellipsoid and a Euclidean ball
Le $\lambda_1 \ge \lambda_2 \ge \ldots \ge \lambda_d$ be positive numbers. For any $x \in \mathbb R^d$ and $r \ge 0$, define $\gamma(x,r) := \sup_{z \in E(r)}x^\top z$, where
$$
E(r) := E \cap B_2^d(r)...
- 6,853
0
votes
0
answers
143
views
Is $C^\infty(\Omega) \cap W^{s_1,p_1}(\Omega)$ dense in $W^{s_2,p_2}(\Omega)$ if $W^{s_1,p_1}(\Omega) \subset W^{s_2,p_2}(\Omega)$?
Background: The proof of Theorem 6.4 in http://mate.dm.uba.ar/~jrossi/Fractional-1-lapla-07_02_2015.pdf, I want to use the density that $C^\infty(\Omega) \cap W^{r_0,q_0}(\Omega) \cap L^2(\Omega)$ is ...
- 1
0
votes
0
answers
62
views
Proving the uniqueness of the solution to a functional equation involving integral
Consider the functional equation
$$
g\left(a\right) = \int_0^1 \frac{e^{c(a,h)+f(h)}}{1+e^{c(a,h)+f(h)}}dh
$$
and this holds for all $a$. $g(a)$ and $c(a,h)$ are known functions on a continuous ...
0
votes
0
answers
168
views
Completely continuous maps from projective tensor products into $c_0$
Let $E$, $F$ be two Banach spaces and $E\mathbin{\hat{\otimes}}_{\pi}F$ denote their projective tensor product.
For each unit norm $\xi\in E$ and $\gamma\in F$, let's define
$$
J_{\gamma}:E\to E\...
- 2,605
0
votes
0
answers
128
views
When is the image of $T \colon \ell^2 \to \ell^2$ a Gaussian random variable?
In finite dimensions, if $T$ is a linear operator and $x$ is a (centered) Gaussian random variable, then $Tx$ is again a (centered) Gaussian random variable.
Now suppose that $x$ is a (say, centered) ...
- 420
0
votes
0
answers
66
views
Two questions about the vector-valued Lipschitz algebra
For a commutative Banach algebra $A$ and for any $0<\alpha<1$, let $\text{Lip}_\alpha(K,A)$ consist of all $A$-valued functions $f$ on a metric space $(K,\text d)$ with the property that $\rho_\...
- 2,118
0
votes
0
answers
92
views
Finding set of best approximations from a point in $c_0$ to its subspace
Given $X$=$c_0$, null sequence space with sup norm. Consider a subspace $Y$ of $c_0$ consisting of elements of $c_0$ as, $Y=\{x\in c_0 : x_{2i}=i.x_{2i-1}, i \geq 1\}$. I need to find the set of best ...
- 85
0
votes
0
answers
170
views
A few questions on the paper named "On a Sobolev inequality with remainder terms"
I was reading a paper of Lu-Wei named "On a Sobolev inequality with remainder terms" (link at AMS site).
and I have quite a few questions regarding that.
(1) In page 78 they got a system of ...
- 337
0
votes
0
answers
230
views
Solving PDE $u_t+f(u)u_x=0$ using its physical interpretation
Let's be this PDE:
$\begin{cases}u_t+f(u)u_x=0\\
u(x,0)=\varphi(x) \end{cases}$
and $f\in 1-1$.
I have these thoughts:
We can imagine $x'x$ having sticky particles. As we know $\frac{dx}{dt}=f(u)$. ...
- 189
0
votes
0
answers
273
views
Finding the eigenvectors of a submatrix
Let $A=(a_{kl})$ be a matrix in $M_n(\mathbb{R})$ when $n$ is even. Let $B=(b_{kl})$ be the symmetric $2n$ by $2n$ matrix whose entries are given by,
$b_{k,l}=a_{kl}$ if $1\leq k,l\leq n$.
$b_{n+k,l}=...
- 4,058
0
votes
0
answers
57
views
If a Dirichlet problem is solved by transforming into ODE (proving its radial symmetry) how can we study it on manifold?
If a Dirichlet problem (elliptic PDE, in $R^{n}$) is solved by transforming into ODE (proving its radial symmetry) how can we study it on manifold?
For example, $B$ is the unit ball in $R^{n}$, the ...
- 809
0
votes
0
answers
34
views
Inequalities for generalized variance
Let $(X, \mu)$ be a measured space with $\mu(X) = 1$.
Given $\phi \in L^\infty(X, \mu)$, $\phi > 0$, let me define, for $\alpha \geq 1$, $\beta > 0$, the quantity
$$
I(\alpha, \beta) = \left(\...
- 1,263
0
votes
0
answers
105
views
Is identity map on the space of smooth maps smooth?
I'm curious about the identity map on the space of all smooth maps (between two locally convex topological vector spaces in the sense of convenient calculi) when we equip the space with different ...
- 143
0
votes
1
answer
161
views
Verifying the proof of a bilinear estimate in $L^2$
$\newcommand{\R}{\mathbb{R}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\ds}{\displaystyle} \newcommand{\Lpn}[2]{\left\lVert#1\right\rVert_{L^{#2}}}$
$\newcommand{\Lptxy}[3]{\left\lVert#1\right\rVert_{L^{...
- 159
0
votes
0
answers
111
views
Characterization of the adjoint of a $C_0$-Semigoup infinitesimal generator
I am looking for characterizations of the adjoint operator of the infinitesimal generator of a $C_0$-semigoup in Hilbert spaces. All I could find in the literature is that if $(A, D(A))$ is the ...
- 101
0
votes
0
answers
131
views
Cyclic group action and finite invariant set
Let $(X, d)$ be a compact metric space and $G$ a discrete group acting on $X$ such that, for each $g\in G$, the mapping $x\mapsto g\cdot x$ defines a homeomorphism on $X$
Is it true that the ...
- 307
0
votes
0
answers
168
views
How does one make sense of singular solutions to constant mean curvature equation?
Background:
Consider the following ODE:
$$\left(\frac{r^2 \dot{f}}{\sqrt{1+r^2(\dot{f})^2}}\right)' = c r$$
where $c$ is some positive constant (Lagrange multiplier), $f:[0,\infty)\to [0,\pi]$ is the ...
- 537
0
votes
0
answers
220
views
Eigenvalue multiplicity of tensor product of positive operator with itself
Let $H$ be a separable complex Hilbert space and let $A\in B(H)$ be positive with $||A||=1$ and have eigenvalue 1 with multiplicity 1. Suppose $A=T^*T$ for some $T\in B(H)$. Denote the spectrum of $A$ ...
- 203
0
votes
0
answers
103
views
Extension for fractional Sobolev spaces, s>0
In their paper, Fractional Sobolev extension and imbedding, the author describes all extension domains for $s \in (0,1)$ -- meaning spaces functions in which are not required to have weak derivatives. ...
- 93
0
votes
1
answer
232
views
A generalization about the density of $\mathcal C_c(X, E)$ in $\mathcal L_p (X, \mu, E)$ when $E$ is a Banach space
Let $X$ be a metric space, $\mu$ a $\sigma$-finite non-negative Borel measure on $X$, and $(E, |\cdot|)$ a Banach space. Let $\mathcal L_p := \mathcal L_p (X, \mu, E)$ and $\|\cdot\|_{\mathcal L_p}$ ...
- 657
0
votes
1
answer
216
views
Complex Borel measures: relation between the total variation norm of a measure and those of its real and imaginary parts
Let $X$ be a metric space and $\mathcal B$ its Borel $\sigma$-algebra. For $B \in \mathcal B$ we denote by $\Pi(B)$ the collection of all finite measurable partitions of $B$, i.e.,
$$
\Pi(B)=\left\{\...
- 657
0
votes
0
answers
65
views
Let $E$ be Banach, $\mu_n\to\mu$ weakly on a locally compact $X$, and $f \in C_b(X, E)$. Does $\int f\mathrm d\mu_n\to\int f\mathrm d\mu$ in norm?
Let
$X$ be a metric space,
$(E, |\cdot|)$ a Banach space
$\mathcal M(X)$ the space of all finite signed Borel measures on $X$,
$\mathcal C_b(X)$ be the space of real-valued bounded continuous ...
- 825
0
votes
0
answers
55
views
Weyl's law for hyperbolic operators
Let $\Omega \subset \mathbb{R}^n$ be a smooth, bounded domain and consider the operator $T: L^2([0,1]\times\Omega) \to L^2([0,1]\times\Omega)$ so that $Tf = v$ if
$$
\begin{cases}
\frac{d}{dt}v - \...
0
votes
0
answers
246
views
Finding a unitary operator on L^{2}(\mathbb{R}^{2},dxdy)
I have a one parameter (r) family of self-adjoint representations of the universal enveloping algebra of some nilpotent Lie group on $L^{2}(\mathbb{R}^{2},dxdy)$ as follows:
$$\hat{X}^{r}=\hat{x}-i(r-...
- 103
0
votes
0
answers
144
views
Type III von Neumann algebra
Let $\mathcal M$ be a type $\mathrm{III}$ von Neumann algebra. Is it true that for all $n\geq 1,$ $\mathcal M$ contains a copy of $M_n$ as a von Neumann subalgebra? By Theorem 9.24 of these lecture ...
- 1,879
0
votes
0
answers
251
views
How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic?
Let $\langle;\rangle$ be the usual scalar product on $L^2(\Bbb R^2)$.
How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic on $\Bbb C^+_*=\{z\in\Bbb C:\text{...
- 521
0
votes
0
answers
57
views
The inversion of the Laplacian transform Pazy's Book "semigroups of linear operators and applications to Partial differential equations"
This question has been posted on Math Stack Exchange but no reply, and so I have to put it here. My question is:
In Pazy's Book page 26, the author gives a proof of Lemma 7.1, the lemma 7.1 says that: ...
0
votes
0
answers
137
views
Elliptic partial differential equations with Robin boundary condition and domain of fractional power of Robin Laplacian operator
This question has been posted on Mathematics Stack Exchange but got no response, and so I put it here.
When I read the paper "On the attractor for a semilinear wave equation with critical ...
0
votes
0
answers
152
views
Concentration compactness lemma and the best Sobolev constant
It is well known that the best Sobolev constant can be achieved on $\mathbf{R}^n$. More precisely, we have the following theorem (A):
Let $\frac{1}{q}=\frac{1}{2}-\frac{1}{n}$, $$S=\inf\limits_{{u\in ...
- 705
0
votes
0
answers
120
views
How to prove an equality involving Laguerre polynomials
Assume $\mu<0$. Let $L^\alpha_n(x)$ be Laguerre polynomials of type $n$ and $f\in L^2(\Bbb C)$.
How to prove that $$\sum^\infty_{k=0}\int_{\Bbb C} f(z)\frac{1}{2(2k+1)-\mu}L^0_k(\lvert z\rvert^2)...
- 521
0
votes
0
answers
104
views
Necessary and sufficient conditions for $\mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}) \ge 0$ for all $t$
Let $A$ and $B$ be positive-definite matrices of the same size. For any $t \ge 0$, define
$$
u(t) := \mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}).
$$
Question. What are necessary and ...
- 6,853
0
votes
0
answers
174
views
Lipschitz map on positive definite cone of $n$-by-$n$ matrices
A function matrix $f : X \to \mathbb R$ is a convex Lipschitz continuous matrix function with Lipschitz constant $\mathrm L$ with respect to a fixed given norm $\|\cdot\|$, i.e., $|f(A)-f(B)| \leq \...
- 91
0
votes
0
answers
99
views
Predual of $H^{\infty}(\mathbb{D})$
Is the predual of $H^{\infty}(\mathbb{D})$ contained in the maximal ideal space of $H^{\infty}(\mathbb{D})$?
- 149
0
votes
0
answers
118
views
A measure on the group of homeomorphisms of $\mathbb T^2$
Let us consider the group of measure-preserving homeomorphisms of $\mathbb T^2$ (with transformations identified if they agree almost
everywhere) called $G[\mathbb T^2, \mathcal L^2]$. We shall ...
- 101
0
votes
0
answers
75
views
$|\partial $ as Fourier multiplier
I have the following nonlinear dispersive PDEs
$$i \partial_t u- \partial_x^2 u =|\partial_x| |u|^2$$
where $f$ is some nice complex-valued function.
I am trying to use the ansatz $u(t,x) = e^{i \...
- 159