All Questions
Tagged with fa.functional-analysis real-analysis
1,447 questions
1
vote
1
answer
102
views
Is there an example of a causally supported Schwartz function on $\mathbb{R}^4$ invariant under the Lorentz transform?
I am working on $\mathbb{R}^4$ with the sign convention $(1,-1,-1,-1)$.
I wonder if there is Schwartz function $f(x)$ on $\mathbb{R}^4$ such that the support satisfies the condition $0<x^2 < 4m^...
- 3,477
4
votes
2
answers
391
views
Lebesgue differentiation theorem at boundary points for Sobolev traces
$\newcommand{\R}{\mathbb R}$
Let $\Omega\subset \R^d$ be a smooth, bounded open set and fix $p\geq 1$.
Fact 1: the usual Lebesgue differentiation theorem says that, if $u\in L^p(\Omega)$, then
$$
u(x)...
- 5,380
6
votes
2
answers
463
views
Spectrum of operator involving ladder operators
The ladder operator in quantum mechanics are the operators
$$a^\dagger \ = \ \frac{1}{\sqrt{2}} \left(-\frac{d}{dq} + q\right)$$
and
$$a \ \ = \ \frac{1}{\sqrt{2}} \left(\ \ \ \!\frac{d}{dq} + q\...
0
votes
2
answers
199
views
What does "a universal tree" mean?
It is one of the concepts used in "ON THE REPRESENTATION OF CONTINUOUS FUNCTIONS OF SEVERAL VARIABLES AS SUPERPOSITIONS OF CONTINUOUS FUNCTIONS OF A SMALLER NUMBER OF VARIABLES", in the ...
- 33
5
votes
1
answer
526
views
Boyd & Chua 1985: Is the proof of Lemma 2 correct?
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'm reading this article by Boyd and Chua [1], in which they prove the approximability of arbitrary time-invariant (TI) operators ...
- 153
2
votes
0
answers
94
views
A division of real analytic functions
Problem statement
Let $f,g \in C^\omega(X,\mathbb{R})$ be two real analytic functions over a real Banach space $X$.
Assume that, for every $n \in \mathbb{N}$, there exists $C_n>0$ and $h_n \in C^\...
- 981
5
votes
1
answer
353
views
Family of functions with prescribed derivatives
Suppose $f: \mathbb C \times (-1,1) \to \mathbb C$ is a smooth function that satisfies $f(0,t)=1$ for all $t\in (-1,1)$. Assume that for any $k\in \mathbb N$, any $z \in \mathbb C$ and any $t \in (-1,...
- 4,135
6
votes
1
answer
135
views
Small shifts of weakly converging sequences in $L^1$
$\newcommand\R{\mathbb R}$Let $(f_n)$ be a sequence in $L^1(\R)$ converging weakly to some $f\in L^1(\R)$. Let $(a_n)$ be sequence in $\R$ converging to $0$. For each natural $n$, let $g_n$ be the $...
- 128k
4
votes
0
answers
140
views
Given $a>0$, find $b>0$ for which $\|\langle x\rangle^{-b}|\partial_x|^{1/2}f\|_{L^2}\lesssim\|\partial_x f\|_{L^2}+\|\langle x\rangle^{-a}f\|_{L^2}$
I have asked the same question on MathSE. I was thinking about the following problem.
Problem. Given $\alpha>0$, find all values of $\beta\geq 0$ such that the following estimate is true for all $\...
- 1,075
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
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
2
votes
2
answers
752
views
Derivative of the absolute value
Let $f \in W^{1,p}(U)$, then how to prove that $|f| \in W^{1,p}(U)$, where $W$ means the sobolev space over some open subset $U \in \mathbb{R}^n$.
In Lieb's Analysis he prove that Let $f$ be in $W^{1,...
- 23
4
votes
2
answers
158
views
A ball with slit at the radius is not $W^{1,1}$-extension domain
Recall that: A domain $\Omega\subset \mathbb{R}^d$ is an $W^{1,1}$-extension domain if there exists an operator $E:W^{1,1}(\Omega)\to W^{1,1}(\mathbb{R^d})$ and a constant $c= c(d,\Omega)>0$ such ...
- 1,101
5
votes
1
answer
151
views
On existence of a concave function
Let $a$ be a strictly positive $C^\infty$ smooth function on the unit interval. Does there exist a strictly positive $C^\infty$ smooth function $f$ on $I$ such that
$$ f’’(x) \leq 0\quad \text{and} \...
- 4,135
4
votes
2
answers
191
views
Reference request: "Tangent relation" in metric spaces
Let $X,Y$ be metric spaces. Let $f,g : X \to Y$ be two maps and $x_0 \in X$. Let us say that $f$ and $g$ are tangent at $x_0$ if the following condition is satisfied: For every $\epsilon > 0$ there ...
- 63.1k
2
votes
1
answer
276
views
Construction of the Lipschitz function with a given Lipschitz constant, given two values and with small Lipschitz norm
Let the function $f\colon [a,b] \to\mathbb{C}$ be Lipschitz and let $|f(a)| \geq c,$ $|f(b)| = c$ and $\varepsilon > 0.$
It is easy to see that if $\|f\|_{\infty}< \frac{\varepsilon}{2} =: \...
- 97
3
votes
2
answers
352
views
General version of Weyl's lemma
The classical Weyl's lemma say, suppose $u \in L^1_{loc}(\Omega)$ satisfies
$$\int_{\Omega}u \Delta \phi dx=0\ \ \forall \phi\in C_c^{\infty}(\Omega),$$
then $u$ is harmonic in $\Omega.$ What I want ...
- 379
1
vote
1
answer
136
views
Construction of the Lipschitz function with a given Lipschitz constant and given two values
Let the function $f\colon [a,b] \to\mathbb{C}$ be Lipschitz and let $|f(a)| \geq c$ and $|f(b)| = c$. Is there a Lipschitz function $g$ such that $|g| \geq c,$ $g(a)=f(a),$ $ g(b)=f(b)$ and Lipschitz ...
- 97
2
votes
1
answer
455
views
A periodic integral inequality
(This problem comes in connection with a geometric problem exposed here.)
Let $\gamma(x,y)$ be a (real) function on the unit disk such that
$$
\frac{\partial^2\gamma}{\partial x \, \partial y} = 0\:\:\...
- 134
0
votes
1
answer
327
views
Deduce that a function is zero on interval $[0,M]$
I have been thinking about this for the last few days but I was not able to produce a definitive answer.
Take an integrable function $g$ that maps in $\mathbb{R}$ and with domain contained in $[0,M]$ (...
- 141
1
vote
1
answer
210
views
On a property of complex exponentials
Does there exist a simple smooth closed curve $\gamma:S^1\to \mathbb C$ such that
$$ \int_{0}^{2\pi} e^{\gamma(e^{it})} \, |\gamma'(e^{it} )|\,dt =0?$$
- 4,135
1
vote
0
answers
119
views
On some integral equation
Let $M$ be the set of continuous and increasing functions $h: [0,1)\to\mathbb R_+$ s.t. $h(0)=0$ and $h(1-)=+\infty$. Consider the equation as follows:
$$
1-t= \int\limits_0^\infty p(x)\Phi\left(\frac{...
- 1,389
7
votes
2
answers
508
views
Why is $\frac{1}{|x|^{n-2}}u(\frac{x}{|x|^2})$ harmonic if $u$ is harmonic?
I found myself trying to prove the following, but I had to compute everything explicitly.
It is well known that if $u:\mathbb{R}^n\to\mathbb{R}$ is an harmonic function on $\mathbb{R}^n$, then the so-...
- 213
1
vote
1
answer
259
views
Are separable, continuous, monotonic and scale invariant real-valued functions everywhere differentiable?
Consider a function $f:\mathbb{R}_+^2\rightarrow\mathbb{R}$ of two non-negative real variables (or more generally of several real variables) that is increasing in each argument, continuous, additively ...
- 399
0
votes
1
answer
73
views
A solution satisfying an integral inequality is bounded [closed]
Let $y$ be a positive function and $c>0$. If $y$ satisfies the following integral inequality
\begin{equation}
y(t)+\int_{0}^{t}y(s)ds\leq c_{1}\int_{0}^{t} y^{\frac{3}{2}}(s)ds+c_{2}
\end{equation}
...
- 11
1
vote
0
answers
227
views
How to prove a concentration isoperimetric inequality for a non-Lipschitz function
Definition $1$. A probability measure $\mu$ on $\mathbb{R}^{d}$ satisfies c-isoperimetry if for any bounded L-Lipschitz $f: \mathbb{R}^{d} \rightarrow \mathbb{R}$, and any $t \geq 0$,
\begin{align}
\...
- 79
3
votes
2
answers
716
views
Do two ways to differentiate Lipschitz functions coincide?
Let $f\colon \Omega \to \mathbb{R}$ be a Lipschitz function on an open subset $\Omega\subset \mathbb{R}^n$.
By the Rademacher theorem $f$ has first derivative almost everywhere. We denote it $\nabla f$...
- 21.8k
2
votes
1
answer
255
views
On the infimal convolution of two norms on $\mathbb R^n$
$\newcommand{\R}{\mathbb R}$For natural $n$, $a\in\R^n$, and real $t>0$, let
\begin{equation*}
K:=K_{n,t}(a):=\inf_{x\in\R^n}(\|a-x\|_2+t\|x\|_1),
\end{equation*}
\begin{equation*}
M:=M_{n,...
- 128k
2
votes
1
answer
244
views
Can a weighted $\ell^p$ norm be bounded by an unweighted $\ell^q$ norm?
For any sequence $\omega\in[1, \infty)^{\mathbb{N}}$, define the weighted $\ell^p_\omega$-norm of the sequence $v$ by
$$\Vert v\Vert_{\ell^p_\omega} := \left(\sum_{k=1}^\infty \omega_k^p |v|_k^p\right)...
2
votes
1
answer
105
views
Fix positive $t$. Construct $a_n \in \mathbb R^n$ such that $(\inf_x \|x-a_n\|_2 + t\|x\|_1 )/\min(\|a_n\|_2,t\|a_n\|_1) \to 0$
For any positive number $t$, nonnegative integer $n$, and nonzero vector $a \in \mathbb R^n$, define
$$
\begin{split}
K_n(a,t) &:= \inf_{x \in \mathbb R^n} \|x-a\|_2 + t\|x\|_1,\\
M_n(a,t) &:= ...
- 6,853
2
votes
0
answers
201
views
Green function of a 2D exterior domain
Consider solutions of the laplace equation
\begin{equation}
\begin{split}
-\Delta u=f, \ \ u|_{\partial D}=0,
\end{split}
\end{equation}
where the domain $D\subset \mathbb{R}^2$. If $D$ is bounded ...
- 379
3
votes
0
answers
182
views
Rate of uniform approximation by piecewise constant functions
Definitions and Notation:
Fix a positive constant $M>0$ with positive integers $m,n$ and the standard orthonormal basis $e_1,\dots,e_n$ of $\mathbb{R}^n$.
For every positive integer $N$, define the ...
- 5,405
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{...
- 511
1
vote
0
answers
123
views
On Riesz decomposition of Volterra operator
Let $T:L^2((0,1)) \to L^2((0,1))$ be the Volterra operator defined by
$$ Tf(x) = \int_0^x f(t)\,dt.$$
Given any $\lambda\neq 0$ it is well known that there exists some positive integer $n=n(\lambda)$ ...
- 4,135
3
votes
1
answer
153
views
Boundedness of an extension operator
Let $d \ge 2$ be a positive integer. For $x=(x_1,\dotsc,x_{d-1},x_d)$, we write $x'=(x_1,\dotsc,x_{d-1})$. Let $\mathbb{H}^d=\{x=(x',x_d) \mid x_d>0\}$ denote the $d$-dimensional upper half-space.
...
- 721
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)...
- 511
2
votes
0
answers
193
views
Commutative Banach algebras with zero-dimensional maximal ideal space and disjoint supports of Gelfand transforms
Let $A$ be a commutative semi-simple unital Banach algebra and let $\Delta$ be the maximal ideal space of $A$. Denote by $\widehat{\cdot}\colon A\to C(\Delta)$ the Gelfand transform.
If $\Delta$ is ...
- 21
13
votes
1
answer
461
views
Does locally nilpotent imply nilpotent for continuous self-maps of intervals?
Let $f\in C([0,1],[0,1])$ be such that:
$$\forall x\in [0,1], \; \exists k\in \mathbb N, \; f^{\circ k}(x)=0.$$
Is it true that $f$ is nilpotent (i.e., that there is some $k$ such that $f^{\circ k}=0$)...
- 4,074
2
votes
0
answers
65
views
Is it possible to extend Borel's lemma to the case of functional derivatives?
Let us think of a collection of tempered distributions $\{ T(x_1, \cdots, x_n)\}_{n=0}^\infty$. Here I will specifically set $x_i \in \mathbb{R}^4$ since I am considering quantum field theory and ...
- 3,477
4
votes
0
answers
68
views
Maximal function estimate for differential quotient of function satisfying $\nabla f \in BMO$
For a function $f \in W^{1,p}(\mathbb R^N)$, it is well-known that there exists a constant $C_N$ (dependent on $N$) such that
$$
|f(x)-f(y)| \le C_N|x-y|(\mathcal M|\nabla f|(x) + \mathcal M|\nabla f|(...
- 61
2
votes
0
answers
56
views
Existence of a suitable smooth kernel
Denote by $H=L^2([0,1])$ the Hilbert space of square integrable real valued functions on the interval $[0,1]$. Does there exist a nontrivial smooth real valued function $k$ on the unit interval such ...
- 4,135
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
1
answer
105
views
Transforming two smooth densities to the same density
I am looking for an example of the following:
Find a bijective, differentiable function $f$ and continuous probability density functions $q_1\ne q_2$ such that $f_*q_1=p=f_*q_2$, where $f_*$ is the ...
- 5
1
vote
0
answers
96
views
Building random homeomorphisms of the circle
Given a positive Borel measure without atoms $\tau$ on the circle $\mathbb T =\mathbb R /\mathbb Z =[0,1)$ , in https://arxiv.org/abs/0912.3423 a homeomorphism $h:[0,1)\to [0,1)$ is defined as
\...
- 101
3
votes
1
answer
292
views
Continuity of Legendre transform
Let $I \subset \mathbb{R}$ be an interval, and $f_n, f: I \rightarrow \mathbb{R}$ a convex function; then its Legendre transform is the function $f^{\ast}: I^{\ast} \rightarrow \mathbb{R}$ defined by
$...
- 1,043
1
vote
2
answers
306
views
Closed formula for this sum $\sum^\infty_{n=0}\frac{1}{n^4+n^2+1}.$ [closed]
How to calculate this sum $$\sum^\infty_{n=0}\frac{1}{n^4+n^2+1}.$$
Thank you in advance
- 511
6
votes
2
answers
424
views
Lipschitz mappings, covering dimension
Is there a compact metric space $X$ of covering dimension $2$ without a Lipschitz surjection on $[0,1]^2$?
For a space $X$ with Hausdorff dimension greater than $2$, we have a negative answer (see ...
- 97
0
votes
1
answer
290
views
Tensor product is complete?
Let $(V,\|\cdot\|_V)$ and $(W,\|\cdot\|_W)$ be Banach spaces and let the norm $\|\cdot\|_{V\otimes W}$ on the tensor product space $V\otimes W$ be admissible in the following sense: for $v\in V, w\in ...
- 177
2
votes
0
answers
172
views
Fourier transform harmonic oscillator eigenstates
The normalized eigenfunctions of the quantum harmonic oscillator are
$$\psi_{n}(x)= \frac{1}{\sqrt{2^n n!}} e^{-x^2/2}H_n(x),$$
where $n \in \mathbb N_0$ and $H_n$ is the $n$-th Hermite polynomial, ...
- 124
4
votes
1
answer
140
views
Whether a functional which preserves maximum for comonotone functions is monotone?
Let $X$ be a compactum (compact Hausdorff space). By $C(X,[0,1])$ we denote the space of continuous functions endowed with the sup-norm We also consider the natural lattice operations $\vee$ and $\...
- 61