All Questions
10,934 questions
0
votes
0
answers
72
views
Domain of a Jacobi operator with unbounded coefficients
Is it possible to describe the domain of a Jacobi operator explicitly?
Let $J$ be the linear operator acting on a real sequence $(u_{n})_{n\in\mathbb{N}}$ by
$$
J(u_{n}) = a_{n+1} u_{n+1} + a_{n} u_{n-...
- 23
0
votes
0
answers
103
views
Can $L^p([0,1])$ be built up from countably infnite copies of $l^p({F})$ , where $F$ is a finite set or $\mathbb{N}$?
I know that $L^p([0,1])$ is not isometrically isomorphic to $l^p(\mathbb{N})$ when $p\neq 2$? But, there is an isometric copy of $l^p(\mathbb{N})$ inside $L^p([0,1])$. My question is that whether $L^...
- 331
2
votes
1
answer
142
views
Estimating a solution to an Euler-type ODE
Let $f$ be a continuous function in $L^2([1,\infty)$ satisfying $\sup_{r\geq 1} r|f(r)| <\infty$. Let $\ell$ be a positive integer and $a$ be a real number.
Let $u(r)$ be a function on $[1,\infty)$ ...
- 969
0
votes
0
answers
125
views
Has anyone seen such a function/quantity?
I am dealing with a problem wherein I encounter the following quantity-
$$
Q_{d, \epsilon}(t_0) = \sup_{t' \notin B(t_0, \epsilon)} \inf_{t \in B(t_0, \epsilon)} \frac{d(t') - d(t)}{t'-t}.
$$
Here,...
- 11
2
votes
2
answers
235
views
$L^p$ domination of mixed partial derivatives of the 3rd order by the unmixed ones?
Is it true that for each real $p>1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^3$ one has
$$\|D_1D_2D_3u\|_p\le C_p(\|D_1^3u\|_p+\|...
- 128k
-1
votes
1
answer
139
views
$L^1$ convergence
Setting
For $i \in \mathbb{N}$, consider two sequences $f_i,g_i \in L^1(\mathbb{R})$ such that $$ f_i \rightarrow_{L^1} f \in L^1(\mathbb{R}) $$ and also $$ g_i \rightarrow_{L^1} g \in L^1(\mathbb{R})...
- 125
0
votes
1
answer
730
views
Does weak convergence in $L^2$ imply convergence a.e. of a subsequence? [closed]
The title pretty much explains it all. Let $u_n\in L^2(\mathbb{R}^n)$ be a sequence converging weakly in $L^2$ to some $u\in L^2(\mathbb{R}^n)$, that is $\int u_k v \to \int u v$ for all $v\in L^2(\...
- 1,149
152
votes
18
answers
24k
views
Why do we care about $L^p$ spaces besides $p = 1$, $p = 2$, and $p = \infty$?
I was helping a student study for a functional analysis exam and the question came up as to when, in practice, one needs to consider the Banach space $L^p$ for some value of $p$ other than the obvious ...
1
vote
1
answer
101
views
Unique continuation property of the equation $ -\Delta u=|u|^{p-1}u $ with $ p>2 $
Assume that $ \{u_i\}_{i=1}^{2} $ satisfies $ -\Delta u_i=|u_i|^{p-1}u_i $ in $ B_1 $ with $ p>2 $ and $ u_1=u_2 $ in an open set $ A\subset B_1 $. I want to ask that if $ u_1=u_2 $ in $ B_1 $.
...
- 1,219
2
votes
1
answer
272
views
A variant of Hardy's inequality for "convolutions"?
Consider Hardy's inequality on $L^{2}(\mathbb{R}^3)$. This inequality states that:
$$\int_{\mathbb{R}^3} dx \, \frac{|\psi(x)|^2}{|x|^2} \le K \int_{\mathbb{R}^3} dx \, |\nabla \psi(x)|^2.$$
I want to ...
3
votes
2
answers
392
views
Monotonicity of matrix conjugation
Let $A$ and $B$ be positive-definite matrices such that $A \le B.$
By matrix monotonicity of the root, this also implies that $A^{\alpha} \le B^{\alpha}$ for $\alpha \in [0,1].$
I am now curious under ...
9
votes
1
answer
428
views
The cardinality of projections of subsets of the Hilbert cube by inner products
I have three related questions.
Question 1: Is there a subset $X$ of the Hilbert cube $[0,1]^{\Bbb N}$ of cardinality continuum, such that for each sequence $a\in [0,1]^{\Bbb N}$ with $\sum a_n$ ...
- 3,104
2
votes
1
answer
388
views
De la Vallée Poussin criterion on uniform integrability for infinite measures
The de la Vallée Poussin criterion (which is often used in combination with the Dunford-Pettis theorem) is usually formulated for probability measures/finite measures, for example in [Bogachev: ...
- 185
0
votes
1
answer
163
views
Counterexample wanted: Banach space but not BK-space
What is an example of a Banach space that is not a BK-space?
A normed sequence space $X$ (with projections $p_n$) is a BK Space if $X$ is Banach space and for all natural numbers $n$, $p_n(\bar{x}) = ...
- 1
3
votes
1
answer
249
views
Is Toeplitz operator on the Bergman space bounded iff its symbol is bounded?
It is fairly well known that if $T_\varphi$ is a Toeplitz operator on the Hardy-Hilbert space, then $\lVert T_\varphi \rVert = \lVert \varphi \rVert _{\infty}$.
Now, if $\varphi \in L^\infty (\mathbb ...
- 151
4
votes
1
answer
165
views
Dual spaces of Banach-valued $L^{p}$-spaces
Let $(\Omega,\mathcal{F},\mu)$ be a measure space (say complete and $\sigma$-finite, for simplicity). Furthermore, let $(X,\Vert\cdot\Vert_{X})$ be an arbitrary Banach space. I denote by $(L^{p}(\...
- 1,429
8
votes
1
answer
307
views
Is the dual of a Fréchet space weakly* separable?
It is known that if $X$ is a separable Banach space with dual $X^\ast$, then $B_{X^\ast}$, the closed the unit ball in $X^\ast$, is compact and metrizable in the weak* or $\sigma(X^\ast, X)$-...
- 34.7k
2
votes
1
answer
284
views
Radial Fourier transform vs Hankel transform
I was wondering about the relationship between the Hankel transform and the Fourier transform for radial functions.
Let $f : \mathbb{R}^d \to \mathbb{R}$ be a (sufficiently regular) radial function. ...
- 232
2
votes
1
answer
196
views
Estimate for the operator $A A_D^{-1}$
Let $O\subset\mathbb{R}^d$
be a bounded domain of the class $C^{1,1}$
(or $C^2$
for simplicity). Let the operator $A_D$
be formally given by the differential expression $A=-\operatorname{div}g(x)\...
1
vote
0
answers
30
views
Generalization of subadditivity analogous to quasiconvexity, and variants
I am curious if there are natural generalizations of subadditivity which have been studied in the past or have been stated in the literature? I (and people that I have talked to) have not had much ...
- 21
2
votes
0
answers
66
views
interchange of integrals and semigroup without the semigroup being an integral operator
In Cazenave's book: BREZIS, HAIM.; CAZENAVE, T. Nonlinear evolution equations. IM-UFRJ, Rio, v. 1, p. 994, 1994. The following corollary appears
The formula (1.5.2) is Duhamel formula:
$$u(t) = T(t)u(...
- 677
0
votes
0
answers
64
views
Calculating hyperbolic Fourier series
Question:
is it possible to uniquely express functions locally as infinite sums of hyperbolic sines and cosines
$f(x)=\sum\limits_{i=0}^\infty \alpha_i\sinh(i\cdot x)+\beta_i\cosh(i\cdot x)$
or even ...
- 13.2k
5
votes
1
answer
267
views
Example of an $H^1$ function on the bidisk that is not a product of two $H^2$ functions
Fix $n \in \mathbb{N}$ and consider the Hardy space $H^1 := H^1(\mathbb{D}^n)$, consisting of holomorphic functions $f$ on the unit polydisk $\mathbb{D}^n=\mathbb{D}\times\dots\times\mathbb{D}$ such ...
- 63
2
votes
1
answer
86
views
Smoothness of resolvent of the infinitesimal generator of an Ito diffusion acting on bounded continuous function
Let $dX_t=\sigma(X_t)\,dW_t+\mu(X_t)\,dt$ be an Ito diffusion with Lipschitz coefficients and $\sigma(x)>0$. Let $f(x)$ be a continuous and bounded and non decreasing function. Can we prove that ...
- 41
4
votes
1
answer
148
views
Multivariate polynomial approximation of functions in Sobolev space
I found a result of the estimation error of polynomial approximation in page
6 of https://scg.ece.ucsb.edu/publications/theses/ARajagopal_2019_Thesis.pdf
The statement is for $f \in W^{k, p}\left([-1,...
- 61
6
votes
0
answers
293
views
Looking for Mackey's PhD thesis, "The subspaces of the conjugate of an abstract linear space"
I'm looking for a copy of George Mackey's PhD thesis, The subspaces of the conjugate of an abstract linear space (Harvard Univ., 1942), but am currently struggling to find one online, with the only ...
- 11.8k
2
votes
1
answer
139
views
Domain of the infinitesimal generator of a composition $C_0$-semigroup
In the paper [1] the following $C_0$-group is presented,
$$
T(t)f(x) = f(e^{-t} x) , \quad x \in (0,\infty) \quad f \in E
$$
where $E$ is an ($L^1,L^\infty$)-interpolation space. In mi case, I'm just ...
0
votes
0
answers
120
views
Equality of two measures on functional spaces
It is well known that if $\mu$ and $\nu$ are two measures on the space $C^0([0,1],\mathbb{R}^n)$ of continuous mappings from $[0,1]$ to $\mathbb{R^n}$ endowed with its Borel $\sigma$-algebra satisfy $$...
- 1
-1
votes
2
answers
232
views
Determining if $\|f\|_\infty \leq C\, \|f\|_{2}^{2/3} $ holds under $f(0) = f(1) = 0$, $\|f'\|_2 \leq 1$
Suppose $f \colon [0, 1] \to \mathbb{R}$ is continuously differentiable, and satisfies $f(0) = f(1) = 0$ and $\|f'\|_2 \leq 1$.
I am wondering if it there is a constant $C > 0$ such that for all ...
- 420
3
votes
0
answers
141
views
Existence of very weak solution to the elliptic equation $\partial_i(a^{ij}\partial_j u)=\partial_k\partial_l f$
Let $a^{ij}\in W^{1,n}\cap L^\infty (B^1)$ be uniformly elliptic, i.e. $\lambda|\xi|^2\le a_{ij}(x)\xi_i\xi_j\le \Lambda |\xi|^2$ for a.e. $x\in B^1$, $\xi\in\mathbb R^n$, where $B_1\subset \mathbb R^...
- 435
0
votes
0
answers
117
views
integral of exponential of Fourier series
I have encountered the following integral:
\begin{equation}
\int_0^{1} e^{-i F(x)} dx, \quad F(x) = \sum_{k=1}^L a_k \sin(2\pi k x) + b_k \cos(2\pi k x).
\end{equation} I have found several great ...
- 9
4
votes
1
answer
188
views
Bound in terms of harmonic oscillator
I wonder if the following is true: Let $\alpha >0$ be a positive real number, do we have
$$\Vert H^{\alpha} \psi''\Vert \le \Vert H^{\alpha+1} \psi\Vert,$$
where $H = -\frac{d^2}{dx^2} + x^2$ is ...
0
votes
0
answers
49
views
Kadec-Klee property of an equivalent norm on a Hilbert space
Let us consider the space $\ell_2$ with the Hilbert norm $\Vert \cdot \Vert$ and consider the following eqivalent norm:
$$
\Vert (r,x) \Vert_A^2 = \Vert (r, Tx)\Vert^2 + \max \{ \Vert x \Vert, \vert r ...
- 85
0
votes
0
answers
121
views
How to find the inverse of this linear integral operator?
Let $f(x): \mathbb{R}^d \rightarrow \mathbb{R}$ be a function that decays ``fastly enough'' at infinity.
We can define the following linear operator
$$L[f](x):= \int_{\mathbb{R}^d} d^d y \, \frac{f(y)}...
- 1
5
votes
1
answer
246
views
An asymmetric quadrilinear estimate
Fix $1<p<2$ and let $a_{i}=1-\frac{\theta_{i}}{p^{\prime}}$
where $\theta_{i}\in (0,1/2)$, $i=1,2,3,4$, and $p^{\prime}$ is the conjugate exponent of $p$. Note here that $0<a_{i}=1-\theta_{i}+...
- 852
0
votes
0
answers
109
views
A Lipschitz function induced by the infimum of the length of curves
Recently I have read a paper, Quasiconformal Images of Hölder Domains, written by S. M. Buckley in 2004, published by Annales Academiæ Scientiarum Fennicæ Mathematica. I am confused about page 33 of ...
- 69
0
votes
0
answers
49
views
Existence of sequence of regular projections
Reading the book :Krasnosel'skii, M.A.; Pustylnik, E.I.; Sobolevskii, P.E.; Zabreiko, P.P. (1976), Integral Operators in Spaces of Summable Functions, Leyden: Noordhoff International Publishing, 520 p....
2
votes
2
answers
197
views
$L^p$ domination of mixed partial derivatives by the unmixed ones?
Is it true that for each real $p\ge1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^2$ one has
$$\|D_1D_2u\|_p\le C_p(\|D_1^2u\|_p+\|D_2^...
- 128k
0
votes
0
answers
43
views
Locally uniformly convexity in kernels (generalized definition of graphon) with cut norm
Let $\mathcal{W}$ denote the space of all bounded symmetric measurable functions
$W : [0, 1]^2 \rightarrow \mathbb{R}.$ For any $W\in\mathcal{W}$ we say it is a kernel and define its cut norm $\lVert ...
- 349
0
votes
0
answers
106
views
How to prove that $f(x) := |x|^{\frac{\lambda - n}{p}}(1 - \psi(x))$ satisfies a specific property related to its limit at the origin
Disclaimer. I have asked this question a month ago on MSE (click here to access the original post) and even bountied it. I got an answer on MSE, but unfortunately I don't feel like it has enough ...
- 51
2
votes
0
answers
138
views
Sufficient initial conditions for "non-local" PDE
I am studying a problem of the form $$i\, \partial_t \psi(t) = L \psi(t) + \int_0^t U(t-r) \psi(r) \, dr, \qquad \psi(0) = \psi_0,$$ where the evolution occurs in some Hilbert space, $L$ is a self-...
- 71
5
votes
1
answer
188
views
On a property for normed spaces
I asked this question on Math Stackexchange, but I didn't get an answer:
https://math.stackexchange.com/questions/4881155/on-a-property-for-normed-spaces?noredirect=1#comment10410489_4881155
I came ...
- 1,361
8
votes
3
answers
1k
views
Are all positive eigenfunctions principal eigenfunctions?
In a given domain $\Omega$, we have: $\Delta u=-\lambda u$ with $u>0$. Does this mean that $u$ is a principal eigenfunction for $\Delta$ in $\Omega$?
Also, more generally, does this also apply for $...
- 421
0
votes
0
answers
73
views
Operator globally hypoelliptic
An operateor $T$ is globally hypoelliptic if :
$u\in S'(\Bbb R^n),Tu\in S(\Bbb R^n)$ imply $u\in S(\Bbb R^n)$.
My question why if $u\in L^2(\Bbb R^n): Tu =\lambda u$. Then $u\in S(\Bbb R^n)$.
where $\...
- 521
0
votes
0
answers
66
views
convolution of the fundamental solution with the homogeneous solution
I have a question about the convolution of the fundamental solution with the homogeneous solution. Namely if the 2 are convoluble then the homogeneous solution is necessarily zero?
Let $U$ and $E$ ...
3
votes
1
answer
493
views
A strange condition of convexity?
During my research, I come across this question.
Let $f \in C^2(\mathbb R, \mathbb R_+^*)$ with $\forall x \in\mathbb R, f'(x) \geq |f''(x)+f(x)|$.
Is it true that $\forall x \in \mathbb R, f''(x) \...
- 4,074
1
vote
1
answer
111
views
How to show such result for generalized $ O(|x|^{-1/2}) $ function?
Assuming that $ \chi\in C_c^{\infty}([-2,2]) $ is a cutoff function such that $\text{supp }\chi\subset[-2,2]$, $\chi\equiv 1 $ in $ [-1,1] $, and $ 0\leq\chi\leq 1 $, suppose that $ f\in C^{\infty}(\...
- 1,219
5
votes
1
answer
508
views
Recent progress restriction conjecture - Problem 2.7 (Terence Tao lecture notes)
I've been tackling the following problem for some time,
Problem 2.7. (a) Let $S:=\left\{(x, y) \in \mathbf{R}_{+} \times \mathbf{R}_{+}: x^2+y^2=1\right\}$ be a quarter-circle. Let $R \geq 1$, and ...
-2
votes
1
answer
363
views
Predicting the peak "amplitude" of a damped sine wave in the frequency spectrum with FFT
In one line: Given an exponentially decaying sine wave $x(t)$, how can we predict the amplitude of the resulting peak in frequency spectrum using discrete Fourier transform.
In nuclear magnetic ...
- 879
0
votes
0
answers
143
views
A Poincaré inequality holds for $p>2$ but fails for $p\leqslant 2$
I am confused with the following example taken from page 6 of Sobolev Met Poincaré, by Hajłasz and Koskela (MR1683160, Zbl 0954.46022).
Let $(X,d,\mu)$ be a metric measure space and let $\Omega\subset ...
- 69