All Questions
10,447 questions
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
0
votes
0
answers
62
views
To find a DFT for complex functions on a semigroup
For a certain commutative semigroup of integer size $n$, $G=(\{1,2,\dots,n\},\circ: x\circ y\mapsto \min(n,x+y))$, consider all complex functions on it, denoted by $\mathbb C[G]$ or $\mathbb CG$. ...
0
votes
0
answers
72
views
Fourier coefficient of close functions
Let $p$ be some prime. Let $\mathbb{Z}_p$ be the cyclic group of order $p$. Let $f, g \colon \mathbb{Z}_p \to \{\pm 1\}$ be two functions. Recall that the Fourier transform is defined as
$$ f(x) = \...
- 1
0
votes
0
answers
303
views
Is Baire's theorem stronger than needed for functional analysis?
Many classic theorems in functional analysis involve using Baire's theorem to prove facts about topology that relate to maps between Banach spaces (or, more generally, F-spaces). The application ...
- 109
0
votes
0
answers
182
views
Comparison of orthogonal complements in L^2 and H^1 spaces
Let $\Omega$ be a bounded domain with smooth boundary, and let $L^2(\Omega)$ and $H^1(\Omega)$ the usual $L^2$ and $H^1$ function spaces on $\Omega$, respectively. We call $\phi \in H^1(\Omega)$, and $...
- 11
0
votes
0
answers
114
views
Degeneracies in linear combination of tensor product of Pauli matrices
Let $P_i \in \{I,X,Y,Z\}^{\otimes n} $, that is $P_i = \bigotimes_{i =1 }^n \sigma_i$ with $\sigma_i \in \{I,X,Y,Z\}$, where
$$
I = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \hspace{1cm} X =...
- 131
0
votes
0
answers
103
views
How should I understand the completeness relation of the form $\sum_{n} \phi_n(x) \overline{\phi_n}(y)=\delta(x-y)$?
Let $A$ be an unbounded self-adjoint operator on $L^2(\mathbb{R})$ and we are assuming the $L^2$ functions to be complex-valued.
We further assume (e.g. compactness of resolvent) that there exists an ...
- 3,477
0
votes
0
answers
190
views
Reference request for the dual space of the Bochner Space $L^1(\Omega ; X) $
Let $\Omega\subset\mathbb{R}^N$ be open and let $X$ be a Banach Space. Let $L^1(\Omega ; X)$ denote the space of all strongly measurable (sometimes also referred to as Bochner Measurable) functions, $...
- 1
0
votes
0
answers
98
views
Reference request: subspace-based generalisation of weak* convergence
Let $V$ be a normed space and $(V_j)_{j\in [0,1]}$ be a family of linear subspaces of $V$ with $V_1$ non-trivial and such that $V_1\subsetneq V_j\subseteq V_i$ whenever $i\leq j$. We write $W:=V'$ for ...
- 463
0
votes
0
answers
66
views
Reference request: Integrability condition on measures
Let $(\mathcal{C}, \|\cdot\|)$ be a (non-locally compact) Banach space with Borel $\sigma$-algebra $\mathcal{B}$.
Given a probability measure $\mu : \mathcal{B}\rightarrow[0,1]$, I'm interested in ...
- 463
0
votes
0
answers
76
views
Linear dependence of the derivatives of a vector valued function
Let $f:\mathbb{R}\rightarrow\mathbb{R}^5$ be an injective smooth function, and consider the function
$$
g:\mathbb{R}^5\rightarrow\mathbb{R}^5
$$
given by
$$
g(t_1,t_2,t_3,a,b) = f(t_1)+a(f(t_2)-f(t_1))...
- 8,998
0
votes
0
answers
79
views
Reverse Hölder for possibly singular matrix weights
I'm working on some nonlinear partial differential equations and I have been led to the following puzzle. Let $W(x)$ be a symmetric positive semidefinite-valued function of $x \in \mathbb{R}^d$ (a &...
- 981
0
votes
0
answers
238
views
On the spectrum of a compact pertubation of a skew-adjoint operator
Let $A\colon \text{dom}(A)\subset H \to H$ ($H$ is a Hilbert space) be a skew-adjoint (i.e. $A^{*}=-A$), closed and densely defined operator. Then the essential spectrum is the set of spectral values $...
- 173
0
votes
0
answers
150
views
Prove or disprove the compactness of an operator
Consider $X=L^{2}(0,\pi, \mathbb{R})$.
Let $X_{\frac{1}{2}}$ be the domain of $(\Delta)^\frac{1}{2}$ where $\Delta$ is the laplacien operator.
We define the operator $K:C([0,a],X_{\frac{1}{2}})\...
- 39
0
votes
0
answers
36
views
Regarding significance of spectral variation under algebraic operations
I have been reading the paper Determining elements in $C^∗$-algebras through spectral properties.
The paper discusses about what would be the relation be between two elements $a$ and $b$ of a Banach ...
- 27
0
votes
0
answers
92
views
Positive definite matrix and Hörmander theory
Let $\varphi \in C_{0}^{\infty}, \varphi\neq 0$. We'll consider the inner product in $L^{2}.$
Let $\alpha,\beta$ multi-index, $m\in \mathbb{N}$ such that $|\alpha|,|\beta|\leq m$ and set
$$
\varphi_{\...
- 101
0
votes
0
answers
59
views
Identification of vector valued function
Do you know of a good reference for a proof of the fact that $L^2(0,T,L^2(\Omega))$ and to $L^2([0,T]\times \Omega)$ can be identified?
- 235
0
votes
0
answers
90
views
Cousin of Fourier transform for rescaling and translating functions
Is there a cousin of the Fourier transform which obeys the following property: if I rescale and translate a function, then its transformed form, at each frequency, only depends on the original ...
0
votes
0
answers
171
views
Explanation of a step in a preprinted work
I have been studying this preprinted paper and the references therein. I believe that there are some typos; However, since I am not an expert yet, I would like to make sure I am correct.
I do not ...
- 159
0
votes
0
answers
180
views
Adding the AWGN to the data makes its covariance matrix always positive definite?
I'm working on a numerical method that estimates direction-of-arrivals in antenna arrays.
I realized that every time I add the AWGN (Additive white Gaussian noise) to a data (which is a matrix), its (...
0
votes
0
answers
126
views
On the convergence of operators and their spectra
We consider a sequence of operators $\{L_n\}_{n=1}^\infty$. Each operator $L_n$ is a densely defined (possibly unbounded) closed linear operator on a real Hilbert space $H_n.$ The domain of $L_n$ is ...
- 721
0
votes
0
answers
225
views
Evaluate the projection operator norm with respect to maximum norm
Consider the normed space $\left(\mathbb{R}^{3},\|\cdot\|\right)$ where $\|\cdot\|=|\cdot|_{\infty}$ is the usual maximum norm. Consider the 2 -dimensional vector subspace $\left \{ (x,y,z):x+y+z=0 \...
- 111
0
votes
0
answers
129
views
Dirac operator on 4-dimensional rectangle with the periodic boundary conditions is self-adjoint? What is its spectrum?
Let us think of the Euclidean Dirac operator $iD^k \gamma_k$ on the rectangle $[-1,1]^4$ with the periodic boundary conditions.
The covariant derivative $iD^k$ carries a gauge potential term and we ...
- 3,477
0
votes
0
answers
83
views
Partial derivative of the Bessel's operator
Let $J^s = (I- \Delta)^{\frac{s}{2}}$ where $\Delta$ is the Laplacian, and $w(x,y) \in L^2(\mathbb{T}^2)$. During my study to the paper, https://arxiv.org/pdf/1809.02027.pdf, the author stated that
$$\...
- 159
0
votes
0
answers
71
views
Sufficient condition to be increasing, following a vector field
Let $f\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R})$ $(n\geq 1)$ be an observable, and let $v^1,v^2\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R}^n)$ be two vector fields such that for any $(x^1_t)_{t\geq 0}$ ...
- 449
0
votes
0
answers
241
views
Can a non-reflexive space embed into a reflexive space?
My question is inspired from the concept of super-reflexivity which was defined by James here: https://www.cambridge.org/core/journals/canadian-journal-of-mathematics/article/superreflexive-banach-...
- 11
0
votes
0
answers
57
views
Existence of measure-preserving Lagrange flow for inhomogeneous transport equation
I asked this question on stackexchange:
Let us consider the Cauchy problem for the transport equation
$$ \partial_t \varphi + b\cdot \nabla \varphi= f \text{ in } (0,T)\times\mathbb{R}^3,\\ \varphi(0,...
- 173
0
votes
0
answers
122
views
Sharp, salient and opposite cones
I have been reading about star shaped sets and support cones from this article.
Can anyone please help me with examples the difference between a sharp and dull cone.
How come a salient cone has a ...
- 27
0
votes
0
answers
203
views
Regarding definition of convex cone and apex
I have been reading about star shaped sets and support cones from this article. I am wondering about the definition of the cone as to why is it defined this way? Why is it $C-a$? I am familiar with ...
- 27
0
votes
1
answer
116
views
Using Hölder's Inequality to prove the following equation [closed]
Here $B_r$ presents the open ball of radius r in $R^3$. So I hope to know how to prove the following inequality.
$$
\int_{B_r} |u|\le Cr^{\frac{9}{5}}\left(\int_{B_r} |u|^2\right)^{\frac{1}{5}}\left(\...
- 65
0
votes
0
answers
94
views
Is the space of affine continuous functions a Baire space
Let $\Omega$ be a compact convex set in q linear normed space. Let $A(\Omega)$ be the space of affine continuous real-valued functions. My question is whether the space $A(\Omega)$ is a Baire space? ...
- 675
0
votes
1
answer
78
views
The conditions used to prove upper semicontinuous of generalized directional derivative (in Clarke sense)
Let $X$ be a reflexive Banach space, $z, x, v \in X$. $\{z_i\}, \{x_i\}$ and $\{v_i\}$ are arbitrary sequences converging to $z, x$ and $v$, respectively.
I would like to know under which conditions ...
- 15
0
votes
0
answers
143
views
Minimax problem : uniqueness of a solution
Let $n\geq2$. Is it true that the minimax problem:
$$
\min_{p\in\mathcal{P}}\max_{H\in\mathcal H}p^tH\bar{p},
$$
where
$\mathcal H\subset\mathcal{M}(n)$ is a strictly convex bounded subset of ...
- 4,034
0
votes
0
answers
113
views
Existence of distance-preserving mappings for general norm in vector space
We say a mapping $f:\mathbb R^n\to \mathbb R^n$ be 1-Lipschitz with respect to a norm $\|\cdot\|$ if $\|f(x)-f(z)\|\le\|x-z\|$ holds for all $x,z\in\mathbb R^n$. Such a mapping are sometimes called a ...
- 601
0
votes
0
answers
52
views
How to know if two special functions are related by an elementary function?
Suppose I have two special functions $f_1$ and $f_2$. Is there an algorithm which can tell me whether there exists elementary $g$ such that $f_1 = g\circ f_2$? Furthermore, is there any possibility to ...
- 333
0
votes
0
answers
540
views
The definition of essential spectrum for general closed operators
I've asked this problem in MSE several days ago, see here. But there is no reply up until now. Maybe I wrote things too complicated there and so I'll write a very clean problem here. For background ...
- 1
0
votes
0
answers
43
views
Minimal condition on set for an optimisation problem
We fix $\Omega \subset \mathbb{R}^{2}$ an open set. My question is: what are the minimum conditions we need on $E \subset \Omega$ such that the following optimisation problem:
$$
\sup\{ \int_{E}(\...
- 181
0
votes
0
answers
210
views
Reed-Simon Vol. IV: Question regarding convergence of eigenvalues
I am reading through Chapter XIII.16 of Reed and Simon's Methods of Modern Mathematical Physics IV: Analysis of Operators about Schrödinger operators with periodic potentials. Since the topic is kind ...
- 91
0
votes
0
answers
21
views
Estimatives for elliptic systems involving the laplacian
Considering the problem
\begin{equation}
\left\{
\begin{array}[c]{11}
\Delta(\Delta \chi -\chi) = 0 & \text{in } \Omega, \\
\Delta \chi -\chi = h_2 - h_1, & \text{on } \partial\Omega \\
\end{...
- 101
0
votes
0
answers
105
views
Unitarily equivalent matrices that are also unitarily equivalent on orthogonal subspaces
Consider two positive semidefinite matrices $A$ and $B$ on $\mathbb C^d$.
Let $\{P_i\}_{i=1}^m$ be a complete family of $m$ orthogonal projectors on $\mathbb C^d$ (i.e., $P_i^*=P_i, P_iP_j=\delta_{ij}...
- 31
0
votes
0
answers
75
views
Extracting the point mass measure of some type of positive measures
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on the reals.
Let $\delta_0$ be the point mass measure concentrated on 0, which is also the multiplicative ...
- 4,058