All Questions
Tagged with fa.functional-analysis real-analysis
1,447 questions
7
votes
0
answers
249
views
Proving this function is convex
Let $C$ be a symmetric positive definite matrix such that $0\leq c_{ij} \leq 1$, $c_{ii}=1$, and define $f$ as $$f(x)=\sum_{i}x_{i}\log(\sum_{j}c_{ij}x_{j})$$ for positive vectors $x$ (in fact let's ...
- 4,049
7
votes
0
answers
150
views
The space of analytic associative operations
This question is a follow-up to this old one of mine.
Let $\mathcal{A}$ be the set of functions $\star:\mathbb{R}^2\rightarrow\mathbb{R}$ which are associative and $C^\omega$ (real analytic entire) in ...
- 21.2k
7
votes
0
answers
619
views
Lavrentiev Phenomenon
Does there exist a (onedimensional) integral functional of calculus of variations
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that not only
$$
\inf_{y\in\operatorname{Lip}([a,b])}F(y)>\inf_{y\in ...
- 1,309
7
votes
0
answers
549
views
Counter-example to the completeness of the Wasserstein metric
$\newcommand{\P}{\mathcal{P}}$
Let $(E,d)$ be a complete metric space, let $\P(E)$ be the set of all probability measures on $(E,\mathcal{B}(E))$. Let $W_d$ be the $1$-Wasserstein (Kantorovich) ...
- 931
7
votes
0
answers
187
views
distance distributions on a hypersphere?
Fix a real number $0\leq t\leq 1$ and an integer $n>1$. Let
$\mathbb{S}^{n-1}\subset\mathbb{R}^n$ denote the unit hypersphere. Define
$$d_N(n;t):=\max\sum_{i<j}\Vert P_i-P_j\Vert_2^t$$
where ...
- 43.2k
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
6
votes
2
answers
881
views
Summation of bounded sequences
Let $b_{n,j}\in \mathbb{C}$ for each $n,j\in \mathbb{N}$. I was wondering if there is some characterization of those $b_{n,j}$ such that for all bounded sequences $s_j\in \mathbb{C}, j\in \mathbb{N}$, ...
- 163
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
6
votes
2
answers
326
views
Looking for references to study $U^p$ and $V^p$ spaces
I am studying some papers in the analysis of nonlinear PDEs and I am encountering the $U^p$ and $V^p$ spaces for the first time. Where can I find references more detailed than papers?
Edited
The ...
- 159
6
votes
1
answer
171
views
Some special sequence in $C(\mathbb{R})$
Let us consider $C(\mathbb{R})$, the space of continuous functions on the reals.
Q. Does there exist a sequence $\{f_n\}$ in $C(\mathbb{R})$ such that for every $f\in C(\mathbb{R})$ one may find a ...
- 4,058
6
votes
2
answers
1k
views
Properties of heat equation
** I simplified the question: **
On bounded domains, the maximum principle implies that the solution to the heat equation is (strictly) positive, if the initial and boundary data is positive.
I ...
user121558
6
votes
2
answers
353
views
Bounded deformation vs bounded variation
Let $BV(\mathbb R^n; \mathbb R^n)$ be the space of (vector-valued) functions of bounded variation and let $BD(\mathbb R^n;\mathbb R^n)$ the space of functions with bounded deformation. They are made ...
- 608
6
votes
2
answers
4k
views
Is there dual space of the distributions $\mathcal{D}'(R)$?
Dear MOs,
Let $\mathcal{D}(R):=C_c^\infty(R)$ be the smooth functions with compact support. Its dual space is the space $\mathcal{D}'(R)$ of distributions. This space $\mathcal{D}(R)$ has its weak *-...
- 1,649
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\...
6
votes
2
answers
333
views
Is there a way to reconstruct the convolution $(f * g)(x)$ of $f$ with a Gaussian $g$ from sampled values, $(f*g)(a), a \in A$?
Suppose that $f: \mathbb{R} \to \mathbb{C}$ is a function which has support in $[-1,1]$. Let $g = g_\sigma$ be a centered Gaussian with variance $\sigma^2$. Is there a way to reconstruct the ...
- 437
6
votes
1
answer
528
views
A functional equation
I am working on some physics problem and got stuck with the following equation: Let $a$ be a very small positive number. Is there a bounded function $F$, $0 \leq F \leq 1$, such that for all $x \in \...
- 63
6
votes
3
answers
2k
views
Generalized Hardy-Littlewood-Sobolev Inequality
The Hardy-Littlewood-Sobolev Inequality says that
$$\text{for $p,q,r\in (1,+\infty)$ such that }\quad
1-\frac1p+1-\frac1q=1-\frac1r,\tag {$\sharp$}
$$
$$
\exists C, \forall u\in L^p(\mathbb R^n),\...
- 16.2k
6
votes
1
answer
2k
views
Sobolev functions on $\mathbb{R}^N$ cannot be discontinuous on a $(N-1)$-dimensional submanifold
How can one prove (or where can I find a proof) that if $u \in W^{1,p}(\Omega)$, where $\Omega \subset \mathbb{R}^N$, then $u$ cannot have a $(N-1)$-manifold of discontinuity points?
- 839
6
votes
1
answer
213
views
A one-dimensional integral minimization problem
Let $\mathscr F$ be the collection of smooth functions $f \colon
\mathbb R \to \mathbb R$ such that
$f \in C^\infty_c(\mathbb R)$, with $\text{supp } f \subset [-1,1]$;
$\int_0^1 x f(x) dx ...
- 391
6
votes
1
answer
390
views
Equivariant implicit function theorem
Let $f:\mathbb{R}\times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}$ be a smooth function and $G\subset \operatorname{SO}(n)$ be a $1$-dimensional compact Lie group (diffeomorphic to the circle). ...
- 63
6
votes
1
answer
2k
views
About weak convergence of probability measure
Suppose $\mu_j$ is a sequence of measures on $\mathbb{R}$. By the definition of weak convergence of measures, $\mu_j$ weak converges to $\mu$ means that for any bounded continuous function $f$, there ...
- 71
6
votes
1
answer
498
views
Can I find a bump function $\psi$ such that $\nabla\log\psi$ vanishes too?
Consider a bump function supported in the ball of radius $1$, that is $\psi:\mathbb R^n\to\mathbb R$ such that
$\ \psi(x)>0$ for $|x|<1$
$\ \psi(x)=0$ for $|x|\geq 1$
$\ \psi\in C^\infty$.
...
- 311
6
votes
3
answers
481
views
Quantum Mechanics and bilinear optimal control theory
I was wondering whether there are any rigorous results about the optimal controllability of Schrödinger operators.
So my question is something like this:
Let $i \partial_t \psi(x,t) = H_0(x)\psi(x,t)...
- 259
6
votes
2
answers
2k
views
How to prove the Hahn-Banach constructively
I am just wondering, how to prove the Hahn-Banach theorem constructively for a finite dimensional normed vector space.
Thanks in advance for any helpful answers.
- 71
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
6
votes
1
answer
128
views
Equivalence of antiderivative in L1 sense and in the usual sense
We say that$\ f$ is differentiable w.r.t to $L_1$ if there exists a$\ g$ such that:
$$
\lim_{h\to 0}\left\Vert\frac{f(x+h)-f(x)}{h} - g(x)\right\Vert_1 = 0
$$
where $\Vert \cdot \Vert_1$ is the $L_1$ ...
- 165
6
votes
1
answer
575
views
Sub-Gaussian decay of convolution of $L^1$ function with Gaussian kernel
I think it might be helpful to put the new statement at the beginning and put the original post at the end. This new statement is more mathematically elegant.
Let $f\geq0$ be in $L^1(\mathbb{R}^d)$ ...
- 1,495
6
votes
2
answers
2k
views
Continuity of a convolution (Version 2)
Hello,
This problem bothers me for some time. Suppose that
$\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
$\psi$ is ...
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
6
votes
1
answer
182
views
Mittag-Leffler function
Let the Mittaq-Leffler function be defined by the expression
$$ E_{\mu,\nu}(z) = \sum_{k=0}^{\infty} \frac{z^k}{\Gamma(k\mu+\nu)}\quad \text{$\mu>0$ and $\nu\in \mathbb R$}$$
Now let $n\in \mathbb ...
- 4,135
6
votes
1
answer
378
views
Optimal constant in Sobolev embedding
It is well-known that the Sobolev space $H^1(0,s)$ embeds continuously in the space of continuous functions $C[0,s]$; in fact, Marti has found in 1983 that the optimal embedding constant is $\sqrt{\...
- 3,388
6
votes
2
answers
251
views
uniform approximation by a particular set of functions
Consider the interval $[0,1]$ and let $\mu_k(t)$ with $k=1,\ldots,n$ be continuous functions such that they are all strictly increasing on the interval $[0,1]$ and such that $\mu_1(t)<\mu_2(t)<\...
- 4,135
6
votes
3
answers
1k
views
functional subrings
I should recall the notion of maximal subring of a commutative unitary ring $R$.
Def: A commutative ring $S$ is called a maximal subring of $R$ if $S \subset R$ and if $T \subset R$ constitute a ...
- 1,788
6
votes
2
answers
499
views
When is $\lVert f*g\rVert_\infty=\lVert f\rVert_1\lVert g\rVert_\infty$?
If $1\leq p<\infty$, it is easy to find nice necessary and sufficient equality conditions for the convolution inequality $$\lVert f*g\rVert_p\leq\lVert f\rVert_1\lVert g\rVert_p\qquad (f\in L^1(\...
- 199
6
votes
1
answer
256
views
Perron-Frobenius and Markov chains on countable state space
The following question naturally arises in the theory of Markov chains with countable state space to which I would be curious to know the answer:
Let $A:\ell^1 \rightarrow \ell^1$ be a contraction, i....
- 173
6
votes
1
answer
268
views
Decomposition of non negative Radon measure into $L^1$ and $H^{-1}$ functions
What is a reference for the following result (which appears to be well-known in measure theory)?
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely continuous ...
- 61
6
votes
1
answer
314
views
Generators of a convex cone defined by a differential inequality
Consider the cone of continuously twice differentiable functions mapping positive reals to itself (i.e., $f\in C^2(\mathbb R_{++})$ and $f\colon \mathbb R_{++}\to\mathbb R_{++}$) that satisfy
\begin{...
- 61
6
votes
1
answer
310
views
Surjectivity of a class of integrals in dimensions two
Let $\Omega \subset \mathbb{R}^2$ be an open set and $G(x,\theta): \Omega \times [0,2\pi]\rightarrow \mathbb{R}$ be a positive continuous function. Assume $F:\Omega \rightarrow \mathbb{R}^2$ defined ...
- 434
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(...
6
votes
0
answers
220
views
Energy of harmonic maps from $\mathbb R^2$ to $S^2$ is quantized
Assume that $U:\mathbb R^2\to S^2=\{y\in\mathbb R^3:|y|=1\}$ is a smooth solution of the equation $\Delta U+|\nabla U|^2U=0$ in $\mathbb R^2$ with $\int_{\mathbb R^2}|\nabla U|^2\,dx<+\infty$. ...
- 517
6
votes
0
answers
208
views
Can every weakly converging sequence be made to converge strongly after taking a subsequence and rearranging?
Let $f_i: [0, 1] \to \mathbb R$ be functions in $L^1 \cap L^\infty$ with $\sup_i \|f_i\|_{L^\infty} < M$ for some $M > 0$.
Suppose $f_i$ converge weakly in $L^1$ to some $L^1$ function $f$ - ...
- 6,165
6
votes
0
answers
107
views
Eigenvalues of splitting scheme
In numerical analysis it is common to approximate a solution to a PDE
$$u'(t) = (A+B) u(t), \quad u(0)=u_0$$
which is just given by $e^{t(A+B)}u_0$ by the splitting $e^{tB/2} e^{tA} e^{tB/2}u_0.$ Here,...
- 536
6
votes
0
answers
210
views
Generalized singular numbers and the Haagerup $L^p$ spaces
Let $M$ be a semi-finite von Neumann algebra with a trace $\tau$.Let $S(M)$ be the algebra of all affiliated operators measurable with respect to $M$.
The $L^p$ norm on $M$ is given by
\begin{...
- 361
6
votes
0
answers
8k
views
Dual space of continuous functions
Let $C_b(\Omega,V )=$ { $ f:\Omega\rightarrow V $ } is the Banach space of all bounded continuous functions in Banach space $V$ with a norm $\|\cdot\|$ defined as $\|f\|_\infty=\sup _{x\in\Omega}\|f(x)...
- 385
5
votes
2
answers
2k
views
Elementary calculus estimate or not?
Does there exist a constant $C>0$ such that for all $f \in H^3(\mathbb R)$
$$\int_{\mathbb R} \vert x f''(x) \vert^2 \ dx \le C \int_{\mathbb R} \vert f'''(x) \vert^2 + \vert x^3f(x) \vert^2 + \...
user69109
5
votes
2
answers
1k
views
Derivatives of $C^{\infty}$ non analytic function
Question: Given $f\in C^{\infty}$ which is not analytic on a bounded domain $\Omega \subseteq \mathbb{R}$. What can we say about the sequence $\lbrace f^{(m)} \rbrace _{m=1}^{\infty} $? Specifically - ...
- 3,574
5
votes
1
answer
1k
views
Analytic functions where all derivatives vanish at infinity and which are bounded
Let $C_0(\mathbb{R})$ denote the analytic functions $f : \mathbb{R} \rightarrow \mathbb{R}$.
I wonder whether there a functions $f \in C_0(\mathbb{R})$ with $f \neq 0$, such that there is a constant $...
- 749
5
votes
4
answers
362
views
Dual norm of a subspace of $\ell_\infty^3$
We define a norm on $\mathbb C^2$ as $\|(\alpha,\beta)\|:=\max\left\{|\alpha|,|\beta|,\big|\frac{\alpha+\beta}{\sqrt{2}}\big|\right\}.$ Can the dual norm be calculated explicitly?
- 1,879
5
votes
2
answers
707
views
Approximation of Hölder continuous functions "from below"
We assume that we have a $\alpha$-Hölder continuous function $f$ on an interval $[0,1]$ with $f(0)=0$.
I am wondering if there exists an explicit construction of a sequence $f_{n} \in C_c^{\infty}(\...
5
votes
1
answer
351
views
Does the Poincaré inequality hold on annular domains?
Does the following Poincaré inequality hold
$$\int_{B_{r_2}\setminus B_{r_1}} |f-\bar{f}|^2 dx \leq C(r_2-r_1)^2 \int_{B_{r_2}\setminus B_{r_1}} |\nabla f|^2 dx,$$
where $B_r$ denotes a ball of radius ...
- 537