All Questions
Tagged with fa.functional-analysis real-analysis
1,447 questions
1
vote
0
answers
91
views
Gaussian width and restricted isometry
It is known that, for an $m$ dimensional space and an $n\times m$ dimensional random matrix $U$ whose entries are iid Gaussian, then $\|I-(1/n)U^TU\|$ is bounded by $\sqrt{m/n}$ when $n>m$.
If a ...
- 11
4
votes
0
answers
281
views
Dual space of ${\rm Lip}_0(\mathbb R^d)$
This question comes to me when I read this paper : https://arxiv.org/pdf/1702.06049.pdf
Let ${\rm Lip}_0(\mathbb R^d)$ be the space of Lipschitz functions $F$ on $\mathbb R^d$ with $F(0)=0$. Then is $...
CommunityBot
- 1
5
votes
1
answer
151
views
Existence of operator with certain properties
I am curious to know the answer to the following question:
Does there exist a continuous linear operator on some Banach space $X$ such that $\Vert T \Vert=1$, and $\sigma(T)\supset \{1\}$ is isolated ...
CommunityBot
- 1
2
votes
0
answers
77
views
Homomorphism of composition to additive structure
Consider the following topological groups
$\operatorname{Homeo}(\mathbb{R}^d)$ be the topological group of all homeomorphism from $\mathbb{R}^d$ onto itself; equipped with the compact-open topology (...
- 5,405
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 ...
- 4,713
11
votes
3
answers
2k
views
How can I simplify this sum any further?
Recently I was playing around with some numbers and I stumbled across the following formal power series:
$$\sum_{k=0}^\infty\frac{x^{ak}}{(ak)!}\biggl(\sum_{l=0}^k\binom{ak}{al}\biggr)$$
I was able ...
8
votes
2
answers
2k
views
Arzela-Ascoli for L_p-norm
Since I am from a different mathematical field and couldn't find it: Is there something which would be best called an Arzela-Ascoli version for the $L_p$-norm, namely:
Let $X,Y$ be two nice ...
- 2,504
0
votes
1
answer
352
views
Weak continuity under Laplace transform
Let the sequence $u_n\in L^2(0,\infty)$ weakly converges to $u\in L^2(0,\infty)$. What can we say about the corresponding Laplace transforms $U_n(s)$ and $U(s)$?
$U_n(s)$ converges point-wise to $U(s)...
- 395
0
votes
1
answer
359
views
Dual norm of a max function [closed]
I am attempting to find the dual norm of
$$\|(x,y)\|_K=\max\{|x|,|y|,|x-y|\}.$$
I have obtained $\|(x',y')\|_K^* = |x'|+|y'|$, but don't think that this is correct.
I obtained this as follows :
$$K = ...
- 128k
0
votes
0
answers
85
views
Could the convex hull of $\operatorname{Lip}_1(\mathbb R)$ be dense in $\operatorname{Lip}_1(\mathbb R^d)$?
$\DeclareMathOperator\Lip{Lip}$My problem is slightly different from the title, but I don't have a more straightforward title. Sorry for that.
For $d\ge 1$, denote $\mathbb S^{d-1}:=\{x\in\mathbb R^...
CommunityBot
- 1
0
votes
0
answers
91
views
Does $L^1$ convergence preserve the regularity of this sequence of functions?
Let $f_n$ be a sequence of $L^1(]0,1[)$ functions such that $f_n$ is non-decreasing, at least left-continuous, $f_n(0^+) <0$, $f_n(1^-) >0$, for all $n \in \mathbb N$. This sequence converges
$...
- 143
3
votes
3
answers
266
views
When does convolution erase non-monotonicities?
Suppose $\phi:\Bbb R\to[0,\beta]$ is a bounded continuous function such that $\phi(-\infty)=0$ and $\phi(\infty)=\beta$.
Assume $\phi$ is non-decreasing except near zero, i.e. there exists $r>0$ ...
- 128k
0
votes
1
answer
124
views
"Geometric" Decomposition of Wiener Space
Let $C_0([0,1];\mathbb{R}^d)$ be the classical Wiener space (of continuous paths with initial value $0$) and let $\nu$ be the Wiener measure on this space. Does there exist a countable family $\left\{...
- 128k
5
votes
2
answers
594
views
Taylor $k$-differentiability of a real function at a point
I am interested in the standard name for the following weak form of $k$-differentiability.
Definition. A function $f:\mathbb R\to\mathbb R$ is called Taylor $k$-differentiable at a point $x_0$ if ...
- 32.5k
0
votes
0
answers
135
views
Help showing F is weakly lower semicontinuous
Given a compact subset $\Omega$ of $\mathbb{R}^N$, I wonder if $$F(u)=\int_\Omega f(u)\ dx =\int_\Omega (1-|u|^2)^2\ dx$$ is weakly lower semicontinuous (w.l.s.c) on $H^1(\Omega)$, meaning that if $\...
- 4,713
1
vote
1
answer
2k
views
Sobolev embedding in the space of continuous functions [duplicate]
Let $I = \mathbb{R}$ and let $W^{1,2}(I,\mathbb{R})$ be the Sobolev space of function from $I$ to $\mathbb{R}$ (one time weakly differentiable and contained in $L^{2}$) and $C^{0}(I,\mathbb{R})$ be ...
- 9,007
5
votes
1
answer
189
views
Subsequences of an orthonormal basis generating a strongly embedded subspace in $L_2(0,1)$
A closed subspace $M$ of $L_2(0,1)$ is said to be strongly embedded if the norms $\|\cdot\|_2$ and $\|\cdot\|_1$ are equivalent on $M$.
Let $(f_n)_{n\in \mathbb N}$ be a orthonormal basis of $L_2(...
- 31.5k
1
vote
1
answer
185
views
Interpolation of $L^p$ spaces
Let $\Omega_x$ and $\Omega_y$ be sets of finite Lebesgue measure.
We can then look at the space $X_1:=L^2(\Omega_x \times \Omega_y).$
This space is contained in the larger space
$$X_0:=L^2(\...
- 39.1k
2
votes
1
answer
846
views
Proof of Helmholtz-Hodge decomposition, poor man's version
Helmholtz (-Hodge) decomposition commonly used in physics includes decomposition of a (sufficiently smooth) vector field $F = -\mathrm{grad}(U) + \mathrm{curl}(W)$ on bounded simply connected domain $\...
- 39.1k
9
votes
1
answer
3k
views
Is every finite Borel measure on a locally compact Hausdorff, $\sigma$-compact and separable space automatically regular?
The conditions stated in the question seem mouthful and a bit arbitrary, so let me provide some backgrounds.
Definition
Let $\mu$ be a Borel measure on a topological space. We say:
$\...
- 29.8k
21
votes
1
answer
3k
views
Density of polynomials in $C^k(\overline\Omega)$
Let $\Omega$ be an open and bounded subset of $\mathbb{R}^2$ and let $C^k(\Omega)$, $1\leq k<\infty$, be the space of functions $f$ with continuous derivatives of order $\leq k$ in $\Omega$, ...
- 512
1
vote
2
answers
359
views
Goldowsky-Tonelli theorem for upper semi continuous function
Let $f:(0, \infty) \rightarrow \mathbb{R}$ be a convex and continuous function. We know that $\partial^{e} f(. )$(either right or left derivative) is non-decreasing and upper semi-continuous function. ...
- 60.6k
1
vote
0
answers
126
views
Almost every where divergent Fourier series
Does there exist any continuous function $f:[\pi,\pi]\to \mathbb{C}$ whose Fourier series $\sum \hat{f}(n)e^{int}$ is almost every where divergent?
- 4,058
3
votes
1
answer
84
views
Point-wisely dense orthonormal basis
Let us denote $T$ by the unit circle. Let $\{e_n\}$ be an orthonormal basis for $L^2(T)$, with respect to Lebesgue measure.
We say $\{e_n\}$ is smooth if it satisfies the following property:
$$f(t)...
- 5,005
5
votes
2
answers
700
views
Ground state for non-linear Schrödinger
When studying the blow-up for focusing non-linear Schrödinger equation (NLS) one often compares the initial-state to a stationary solution.
In the energy-critical case, this stationary solution is ...
- 114k
4
votes
1
answer
317
views
Given convex l.s.c. function $f$, find decreasing convex function $\phi$ such that $f(x) \equiv \sup_y x\phi(y)-\phi(-y)$
Let $f: \mathbb R \rightarrow (-\infty,+\infty]$ be a lower-semicontinuous convex function.
Question
Under what futher conditions does there exists a convex decreasing function $\phi: \mathbb R \...
- 128k
2
votes
1
answer
135
views
A non-condensing operator with a power condensing
Let $\alpha$ to be the Kuratowski measure of non-compactness, in a Banach space $E$.
It's very easy to prove that $\alpha (D_1\times D_2)\leq \alpha (D_1)+\alpha (D_2)$, where $D_1$ and $D_2$ are ...
CommunityBot
- 1
4
votes
0
answers
747
views
Maximum Principles in Parabolic PDE with Neumann Condition
I am looking for some maximum principles and comparison results for parabolic equations. The most complete book I've found on this subject is: Murray Protter, Hans Weinberger - Maximum Principles in ...
- 1,759
1
vote
1
answer
468
views
"Combining" two differential equations into one
The Setup: Suppose $\Omega$ is a bounded, open, connected, simply connected subset of $\mathbb{R}^2$ with smooth boundary. Suppose that I am given a function $\Phi:\mathbb{R}^2\to\mathbb{R}$ and two ...
- 4,899
2
votes
0
answers
171
views
How to use Stein-Tomas theorem to check to following inequality?
Recently, I am reading Rodnianski & Schlag
Time decay for solutions of Schrödinger equations with rough and time-dependent potentials. In lemma 3.2, R&S said that by using Stein-Tomas theorem ...
- 429
4
votes
1
answer
228
views
Haar-null union of dense subsets
Let $\{X_i\}_{i \in \mathbb{R}-\{0\}}$ be a set of subsets of a separable infinite-dimensional Fréchet space $X$ and $I$ be uncountable. Moreover, suppose that
(Dense $G_{\delta}$) $X_i$ is a dense ...
- 42k
0
votes
1
answer
582
views
$L^2$ bound and interpolation of Hölder norm
Consider the function
$$F(x):=\int_{\mathbb R} f(t+x)f(t-x) \ dt .$$
Clearly, we have by Cauchy-Schwarz
$$\vert F(x) \vert\le \Vert f \Vert^2_{L^2} $$
$$\vert F'(x)\vert\le 2\Vert f' \Vert_{L^2} \...
- 31
4
votes
1
answer
267
views
Scaled Harnack inequality $\sup_{B_r} v \le c\,(1-r)^{-p}\, \inf_{B_r} v$
Where can I find a proof of the following scaled version of Harnack inequality?
Let $v$ be a non-negative solution of ${L}u = 0$ in $B_1$, with $L$ a uniformly elliptic operator. Then, for $r<1$,...
- 356
1
vote
0
answers
76
views
Existence of a `right' sequence
Suppose that $f_n: \mathbb{R} \times [0,\infty) \to \mathbb{R}$ is a sequence of bounded variation functions such that there exists $C>0$: $|f_n| < C$ for every $n$ and, as $n \to \infty$, for $...
- 41
2
votes
1
answer
258
views
$L^2$ bound and Sobolev spaces
Let $f \in L^2(\mathbb R)$ be a function such that
$$\vert f \vert_{\alpha}:=\sup_{h>0}h^{-\alpha}\Vert f(\bullet+h)-f \Vert_{L^2}< \infty$$
for some $\alpha \in (0,1).$
I would like to know ...
- 24.2k
2
votes
2
answers
539
views
Graph with complex eigenvalues
The question I am wondering about is:
Can the discrete Laplacian have complex eigenvalues on a graph?
Clearly, there are two cases where it is obvious that this is impossible.
1.) The graph is ...
- 175
2
votes
2
answers
257
views
Reference request on Min-Max theorem
Consider the following min-max problem
$$\inf_{x\in M} \sup_{y\in N} F(x,y),$$
where $F: M\times N\to\mathbb R$ is Lipschitz and $y\mapsto F(x,y)$ is concave for all $x\in M$. Could we derive $\...
- 42.8k
-1
votes
1
answer
70
views
Is this kind of interpolation correct?
Let $f=\sum f_j$ be a finite sum. Assume that
$$ \|f\|_2\le(\sum\|f_j\|_2^2)^\frac12$$
$$\|f\|_\infty\le C\max_j\|f_j\|_\infty$$
Then can we conclude that for $2<p<\infty$
$$\|f\|_p\le C^{1-\...
- 54.2k
8
votes
1
answer
678
views
Inequality involving tensor product of orthonormal unit vectors
Let $e_1,...,e_r$ be the first $r$ standard basis of $\mathbb{R}^n, r<n$. Let $u_1,...,u_n$ be another orthonormal basis of $\mathbb{R}^n$. Let $\otimes$ be the tensor product on $\mathbb{R}^n$ and ...
- 114k
3
votes
0
answers
205
views
Uniqueness of the inverse kernel of an invertible integral transform
For any invertible integral transform $T$ of kernel $K$ that maps a function $f$ to the function $\varphi$ such that
$$\varphi(s)=\left[T\left\lbrace f\right\rbrace\right](s)=\int_a^bK(x,s)f(x)dx$$
...
- 139
1
vote
1
answer
366
views
Can $X^*$ characterize a smooth norm on $X$?
I conjecture following statement in the Banach space $X$ with norm $\|.\|$.
Let $B \subseteq X$ be the unit closed ball in $X$ then,
$\|.\|$ is smooth, in sense $\|.\|$ is differentiable at any ...
- 369
2
votes
1
answer
216
views
Is $ f(x(.)) := \int_{0}^{1} F ( x(t)) \; dt$ differentiable?
Let $f : AC[0, 1] \to R$ be defined by $ f(x(.)) := \int_{0}^{1} F ( x(t)) \; dt$. Where, $AC[0, 1]$ is the set of absolutely continuous functions with the norm $W^{1,1}$, and $F: R^n \to R$ is ...
- 128k
2
votes
0
answers
216
views
Is $f$ defined by $f(x) = t\mapsto G(t , x(t))$ differentiable?
Let us consider $X = AC([0 , 1] , \mathbb{R}^n)$, and $Y=L^{1} ([0,1] , \mathbb{R}^n )$ as Banach spaces with their usual norms. Let $G: \mathbb{R} \times \mathbb{R}^n \to \mathbb{R}^n$ be a ...
- 4,991
3
votes
1
answer
465
views
Existence of function satisfying $f(f'(x))=x$ almost everywhere
My project is to Study the existence of a continuous function $f : \mathbb{R} \rightarrow \mathbb{R}$ differentiable almost everywhere satisfying $ f\circ f'(x)=x$ almost everywhere $x \in \mathbb{R}$...
- 664
1
vote
1
answer
66
views
Show that $\| v\|_{L^2(0,b)}=o(\| u\|_{L^2(0,b)})$ as $b \to \infty$
Let $\alpha<0$ and let $u(x):= e^{\alpha x}$ for $x \geq 0$. I'm reading a paper which states that there are constants $d_{j}, \beta_{j} \in \mathbb{C}$ with $\beta_j>0$ such that if we define
$...
- 17.2k
2
votes
0
answers
241
views
Monotone approximation of continuous function by Lipschitz function
Let $X$ be a normed space, and $f\in C_b(X,\mathbb{R})$. How can I construct a sequence $\varphi_k,\,k\geq 1$ of bounded Lipschitz functions with $\varphi_k\downarrow f$ pointwise? Thanks
- 139
3
votes
2
answers
410
views
Is a bounded sequence of $H^1(\Omega)$ tight?
Assume $\Omega$ is a bounded subset of $\Bbb R^d$ and $ (u_n)_n$ is a bounded sequence of the Sobolev space $H^1(\Omega)$.
Question: Can we say that $ (u_n)_n$ is tight in $L^2(\Omega)$ namely: ...
- 3,425
0
votes
1
answer
133
views
Product of sets with the Radon-Nikodym Property (RNP)
I have read that it is somewhat well-known that if two Banach spaces $X$ and $Y$ have the Radon-Nikodym Property (RNP), then their product $X\times Y$ also has the RNP.
Does the above result ...
- 59
2
votes
0
answers
90
views
Invariance under diffeomorphisms of the Hajlasz-Sobolev spaces
In this post it was shown that if $\Omega$ and $\Omega'$ are diffeomorphic non-empty open domains in some Euclidean space then the corresponding local Sobolev spaces are diffeomorphic with ...
- 5,405
1
vote
1
answer
83
views
Reference request for (weak*) metrizability of a bounded space of signed Radon measures on a compact set
I know the following is true and I know how to prove it (cf. exercise 50 on page 171 in Folland, Theorem 7.18 in Folland), but per my adviser's instructions, it would be better to find a source to ...
- 29.8k