All Questions
Tagged with fa.functional-analysis real-analysis
1,448 questions
6
votes
1
answer
228
views
Set where the speed of convergence is uniform in Lebesgue's density theorem
Let $B \subset \mathbb R^n$ be the unit ball.
Consider a Borel measurable set $E \subset B$ with positive Lebesgue measure $|E|>0$ (say $|E| = |B|/2$).
Then, Lebesgue's density theorem, says that ...
- 393
2
votes
2
answers
496
views
Polynomial approximation (Weierstrass theorem) with bounds
Consider the closed interval $[0,1]$ and let $f \in C[0,1]$. Let $g$ be a real valued function on $[0,1]$ such that $g \leq f$.
Suppose $g = f$ at atmost finitely many points. Does there exist a ...
- 431
-3
votes
1
answer
315
views
Are the injective functions dense in $C([0,1]^n,\mathbb R^n) $?
Let $n\geq 2$. Are injective functions dense in $C([0,1]^n,\mathbb R^n) $ with the uniform norm?
- 4,074
1
vote
1
answer
269
views
Is this operator symmetric and, if so, how to manifest the reality of its $L^2$ weighted norm?
I am working with an integral within the context of a Carleman estimate, and am trying to manifest its reality (with the later goal of finding a lower bound for $-S$ in the $L^2$ sense) but am having ...
- 922
1
vote
0
answers
597
views
What is $T T^*$ argument?
During my studying of many papers, some authors used what so-called $T T^*$ argument. I have no clue about this concept (or mathematical tool). Could you please enlighten me with some explanations or/...
- 159
3
votes
1
answer
355
views
Hölder inequality between different Orlicz spaces
If we have a product of functions $fg$ with $f\in L^r$ and $g\in L^s$ for some $s,r>1$ satisfying $1/r+1/s=1$, then we know that $fg\in L^1$.
But if $g$ is a little bit more than $L^s$, say $L^s \...
- 363
5
votes
2
answers
461
views
Backward heat equation and forward perturbed heat equation well posed?
I consider the following scenario. Let $I$ be a compact interval in space and $f$ a nice function in the space $C^{\infty}(I)$. In the following we consider a self-adjoint realization of our operators ...
- 536
6
votes
3
answers
1k
views
Orthonormal basis in $W^{1,2}([0,1])$
Consider the Hilbertspace $W^{1,2}([0,1])$ (i.e. Sobolev space) with the standard inner product which is defined by: $(f,g) = (f,g)_{L^{2}([0,1])} + (f',g')_{L^{2}([0,1])}$. Here $[0,1]$ is not ...
- 63
7
votes
2
answers
2k
views
The norm of tensor product operator on Lp spaces
Let $X, Y$ be two $\sigma$-finite measure spaces and $p,q\in [1,\infty]$. Let $T_1, T_2:L^p(X)\rightarrow L^q(Y)$ be two bounded linear operators. Then one can define a linear operator $$T_1\otimes ...
- 71
3
votes
1
answer
137
views
Estimate the homogeneous components of a polynomial against its maximum
Let $P\equiv P(x) := \sum_{|\alpha|\leq m} c_\alpha\cdot x^\alpha$ be a real polynomial in $d$ variables of (total) degree $m$, where $d, m \in\mathbb{N}$ are fixed.
(I.e., the above sum ranges over ...
- 463
9
votes
2
answers
760
views
Number of critical points of smooth functions on $S^1$
Let $u$ be a smooth function on the unit circle $S^1$ such that $\int_{S^1}ux_j=0$, for $j=1,2$. Is the number of critical points of $u$ strictly bigger than 2?
1
vote
0
answers
73
views
Straightening a function supported on a strip
Given a positive smooth function $b:\mathbb{R}^{N+M}\to \mathbb{R}$ which vanishes exactly outisde of some $U\times\mathbb{R}^M$ ($U\subset \mathbb{R}^N$ open), is there another positive smooth ...
- 151
9
votes
1
answer
610
views
Interpolation theory and $C^k$-spaces
Consider the Banach spaces $C^k(M)$ ($k=0,1,2,\dots$), consisting of $k$times continuously differentiable functions $f:M\rightarrow \mathbb{C}$ on a closed manifold $M$ (or just the torus if that ...
- 779
6
votes
1
answer
376
views
Lavrentiev phenomenon between $C^1$ and $C^2$
Does there exist a (onedimensional) functional that exhibits the Lavrentiev phenomenon between $C^1$ and $C^2$ that is
$$ F(y)=\int_a^b f(t,y(t),y'(t))\,dt \quad\text{or possibly}\quad F(y)=\int_a^b f(...
1
vote
1
answer
678
views
First derivative of cut off function
I am working on proving the following: Let $\rho(x)= \frac{2}{2+x^2}$, $\theta >1$ (assumed integer here) and $B \subset H^1_{ul}$,(uniformly local Sobolev space), be any subset which is bounded in ...
- 159
26
votes
3
answers
16k
views
the dual space of C(X) (X is noncompact metric space)
It is well known that when $X$ is a compact space (or locally compact space), the dual space of $C(X)=\{f |f:
X\rightarrow \mathbb{C} \text{ is continuous and bounded} \}$ is $M(X)$, the space of ...
- 1,706
2
votes
0
answers
72
views
Semilinear elliptic equations in complex plane
Let $D$ denote the closed unit disk centered at the origin in the complex plane. Let $F: D \times \mathbb C \to \mathbb C$ be a smooth function. Is there any theory for well-posedness (in the sense of ...
- 4,115
40
votes
5
answers
10k
views
Is there a natural measures on the space of measurable functions?
Given a set Ω and a σ-algebra F of subsets, is there some natural way to assign something like a "uniform" measure on the space of all measurable functions on this space? (I suppose first ...
- 1,475
2
votes
0
answers
202
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
12
votes
2
answers
1k
views
Low-degree polynomial approximation of the piecewise-linear function $x \mapsto \max(x, 0)$ on an interval $x \in [-R,R]$
For $R > 0$, consider the piecewise-linear function $\sigma_R: [-R,R] \rightarrow \mathbb R^+$, defined by $\sigma_R(x) := \max(x,0)$.
Question
Given $\epsilon> 0$, find a "low-degree" ...
- 6,853
11
votes
1
answer
411
views
A density question for the Hilbert transform
Let $\mathscr Hf$ denote the Hilbert transform of a function $f$ defined on the real-line $\mathbb R$. Are the set of functions
$$ \{(f+\mathscr Hf)_{|_{(0,1)}}\,:\, f \in C^{\infty}(\mathbb R)\quad \...
- 4,115
4
votes
0
answers
657
views
Eigenvalues of Matérn covariance function
Recall that Matérn covariance function $C_\nu(d)$ is defined as
$$
C_\nu(d)=\sigma^2\frac{2^{1-\nu}}{\Gamma(\nu)}\left(\sqrt{2\nu}\frac{d}{\rho}\right)^\nu K_\nu\left(\sqrt{2\nu}\frac{d}{\rho}\right), ...
- 397
2
votes
0
answers
161
views
The Laplace transform and the Lagrange compositional inversion formula
I'm looking for references which derive the Lagrange inversion formula, given below (in bold), for the Taylor series coefficients of the compositional inverse of a function $f$ analytic at the origin ...
- 10.5k
3
votes
1
answer
414
views
Schauder basis of $L^1_{\mathrm{loc}}(\mathbb{R}^n,H)$
$\newcommand{\loc}{\mathrm{loc}}$Let $(\mathbb{R}^n,\mathcal{B}(\mathbb{R}^n),\mu)$ denote the Euclidean space $\mathbb{R}^n$ with its Borel $\sigma$-algebra $\mathcal{B}(\mathbb{R}^n)$ equipped with ...
- 5,405
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
1
answer
88
views
An equation in the convolution measure algebra on reals
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on reals.
Let $\mu$ be a Radon measure in $M(\mathbb{R})$ and $\delta_0$ be the point mass measure concentrated on ...
- 4,058
2
votes
2
answers
1k
views
Decay estimate of Fourier transform of a compactly supported function
Assume $f(x), x \in \mathbb{R}$ is a function with a compact support such that its Fourier transform $\hat{f}(\xi)$ has a decay rate
$$\hat{f}(\xi) \lesssim \frac{1}{|\xi|^\gamma + 1}$$
for some $\...
- 903
2
votes
0
answers
76
views
Fractional integration in Orlicz spaces
I am reading the paper "Fractional integration in Orlicz spaces" by R. Sharpley.
And I would like to understand one question:
Let $A,B, C$ are Young's functions. The spaces $L_A, L_B$ are ...
- 343
2
votes
1
answer
381
views
Sequence of tending to zero functions that majorizes any other tending to zero function
Does there exist a sequence of decreasing continuous functions $(f_n)_{n\in\mathbb{N}}$ satisfying the following two conditions?
For every $n\in\mathbb{N}$, $\lim_{x\to\infty}f_n(x)=0$;
For any other ...
- 143
14
votes
6
answers
6k
views
Russian Equivalent of Big Rudin
Is there any Russian-authored textbook on Analysis equivalent to Big Rudin (Real and Complex Analysis)?
I like Russian math textbooks a lot. I am looking for Russian textbooks (either in English or ...
- 149
5
votes
2
answers
321
views
If the Hausforff dimension of the graph of a function $u$ is $N$ and $\tilde u = u$ a.e. then $\dim_H \mathrm{graph} \, \tilde u = N$ too
Let $\Omega$ be an open (non empty) set and $u:\Omega \subset \mathbb{R}^N \to \mathbb{R}^M$ be a function such that the Hausdorff dimension of its graph is $N$.
Let $\tilde u = u$ a.e. Is it true ...
- 839
0
votes
1
answer
236
views
Is this a contraction mapping for small $T$?
Let $G$ be the heat kernal, i.e. for $0\le t<s$ and $x,y\in\mathbb R$
$$G(t,x;s,y):=\frac{1}{\sqrt{4\pi(s-t)}}\exp\left(-\frac{(y-x)^2}{4(s-t)}\right).$$
For $T>0$, let $\mathcal H_T:=\{h:[0,T]\...
- 1,334
1
vote
1
answer
143
views
A question on the self-adjointness of an operator
Given a Hilbert space (separable) $\mathcal{H}$ with an orthonormal basis $\{e_i\}_{i=1}^{\infty}$, define an operator $T$ with domain $\mathcal{D}(T)$ equal to the span of $\{e_i\}$ by $Te_i:=\...
user471371
5
votes
1
answer
571
views
Convergence of discrete Laplacian to continuous one
I make the following observation:
Let $\Delta^{(n)}$ be the discrete Laplacian on $\mathbb{C}^n$ (ie the $n\times n $ matrix with diagonal $-2$ and upper/lower diagonal $1$.)
This one has eigenvalues ...
- 536
4
votes
1
answer
201
views
Spectrum Cauchy-Euler operator
A Cauchy-Euler operator is an operator that leaves homogeneous polynomial of a certain degree invariant, named after the Cauchy-Euler differential equations
We consider the operator
$$(Lf)(x) = \...
- 536
4
votes
1
answer
391
views
Existence of periodic solution to ODE
We shall consider the matrix-valued differential operator
$$(L u)(x) :=u'(x) - \begin{pmatrix} 0 & \sin(2\pi x-\frac{\pi}{6})\\ - 2\sin(2\pi x+\frac{\pi}{6}) & 0 \end{pmatrix} u(x).$$
This is ...
- 192
1
vote
0
answers
59
views
Identification of a limit point of a sequence of solution of ODE
Let $v^0$ and $v^1$ be the following vector fields over $\big(\mathbb{R}_+^*\big)^3$: for $x\in\big(\mathbb{R}_+^*\big)^3$ and $1\leq i\leq 3$,
\begin{align*}
& v^0_i(x)=x_i(x_{i-1}-x_{i+1}) \\
&...
- 449
4
votes
2
answers
771
views
smooth functions on closed intervals with values in infinite-dimensional spaces
There are three ways to define when a ($\mathbb{R}$-valued) function on a closed interval is smooth:
$f$ can be extended to a smooth function on $(a - \epsilon, b + \epsilon)$ for some $\epsilon > ...
- 1,141
3
votes
2
answers
324
views
An integral transform and the Stone-Weierstrass theorem
For a bounded function $\operatorname{F}: \mathbb{R}_{\,\ge\ 0} \to \mathbb{R}$ (not necessarily non-negative), if
$$
\int_{0}^{\infty}\frac{x^{k}\,s}{(s^{2} + x^{2})^{\left(k + 3\right)/2}\,\,}\, \...
- 303
3
votes
3
answers
229
views
Bounded $r$- variation function with a dense set of local maximum values
This is a sharpening of the following problem: $C^1$ function with a dense set of maximum values.
Problem set up:
Let $f \colon [0, 1] \to \mathbb R$ be a function on the unit interval. We say $y \in \...
- 6,313
0
votes
1
answer
378
views
What's the condition to prove the equicontinuity?
Let $K: I\times I\rightarrow \mathbb{R}$ be a scalar kernel, where $I=[0,1]$, and $a: I \rightarrow (0,+\infty)$ an $L^1(I)$ function.
For $t_1,t_2\in I$, define
$$I_{t_1,t_2}=\int_{0}^{1} \left |\...
- 291
2
votes
0
answers
122
views
Comparing the truncated $\ell^{1}$-norm of polynomial coefficients with the supremum norm on the unit disc
Let $p=a_{0}+a_{1}z+\ldots+a_{n}z^{n}$ be a polynomial. Consider the following truncated $\ell^{1}$-seminorm of the coefficients of $p$:
$$\|p\|_{\ell^{1},\text{trun.}}:=\sum_{k=1}^{n}|a_{k}|=\|p-a_{0}...
- 321
14
votes
2
answers
2k
views
Is the composition of two nowhere differentiable functions still nowhere differentiable?
Let $f,g:\mathbb R\to\mathbb R$ be two continuous but nowhere differentiable functions. By the Denjoy–Young–Saks theorem for almost every point $x_0\in\mathbb R$ one has
$$
\limsup\limits_{x\to x_0}\...
- 938
12
votes
1
answer
1k
views
Riesz–Markov–Kakutani representation theorem for compact non-Hausdorff spaces
Let $X$ be a compact Hausdorff topological space, and $\mathcal C^0 (X) = \{f:X\to\mathbb{R}; \ f \text{ is continuous }\}$. It is well known that for any bounded linear functional $\phi: \mathcal C^...
- 333
5
votes
2
answers
338
views
Approximation of analytic function by a fixed number of monomials
This question seems simple but I can't manage to disprove it. Let $N\in \mathbb{N}$. We know that by its analyticity that this precise linear combination of monomials
$
\sum_{n=0}^K \frac1{n!} x^n
$
...
3
votes
1
answer
275
views
Is the closure of the ball of $1$-Lipschitz functions still equi-Lipschitz?
$\DeclareMathOperator\Lip{Lip}$Let $\Lip_0(\mathbb R^d)$ be the space of Lipschitz functions $f:\mathbb R^d\to\mathbb R$ vanishing at zero, i.e., $f(0)=0$, and equipped with the norm $\|f\|:=\|\nabla ...
user128095
1
vote
1
answer
195
views
Eigenvalues of operator
In the question here
the author asks for the eigenvalues of an operator
$$A = \begin{pmatrix} x & -\partial_x \\ \partial_x & -x \end{pmatrix}.$$
Here I would like to ask if one can extend ...
- 192
2
votes
0
answers
155
views
Second differential of total variation
I am trying to give meaning to the notion of second differential of total variation.
For sufficiently regular $u:\Omega \subset \mathbb{R}^2 \to \mathbb{R}$ let the total variation be given by
$$TV(u)=...
- 319
3
votes
2
answers
296
views
Is radial part of a Schwartz class function also in Schwartz class?
Let $f\in\mathcal{S}(\mathbb{R}^n)$, Schwartz class. Consider the function $g$ defined on $[0,\infty)$ by $$g(r)=\int_{S^{n-1}}f(rw)d\mu(w),$$
where $d\mu$ is the normalised surface measure of $S^{n-1}...
- 99
5
votes
1
answer
279
views
Connecting PDE notions for functions $[0,T] \to (\Omega \to \mathbb{R})$ to related notions for functions $[0,T] \times \Omega \to \mathbb{R}$
Fix $\Omega \subseteq \mathbb{R}^N$ a bounded domain (of whatever smoothness you end up needing, let's say $C^1$ domain for definiteness) and fix some $0 <T < \infty$. In considering evolution ...
- 324