All Questions
Tagged with real-analysis fa.functional-analysis
1,447 questions
0
votes
1
answer
693
views
the double dual of "little l one" sequence space
I remember a professor remarking a while back that the double dual of the sequence space $l_1^{\infty}(\mathbb{R})$ is a very complicated space. I understand it must contain a copy of the original ...
- 9
1
vote
1
answer
441
views
Generalized Lax-Milgram for Weak Formulation of 1D Linear Schrodinger
I am interested in the variational formulation of the 1D Schrodinger equation:
$i u_t- \beta u_{xx} = 0 $ and $u(x,0)=u_0(x)$ which upon integration by parts yields:
$i(u_t,v) + \beta (u_x,v_x) = 0$ ...
3
votes
1
answer
2k
views
Is the space of test functions separable? [closed]
Consider the space $\mathcal D(\mathbb{R}^n)$ of smooth functions (in the sense of having continuous derivatives of all orders) which are compactly supported. Endow it with its usual topology, i.e., ...
- 33
4
votes
1
answer
283
views
Absolutely continuity in variation of constant formula
We are talking here about the initial value problem on some Hilbert space $H$
$$y'(t)=Ay(t)+f(t), \\ y(0)=y_0 \in D(A).$$(Problem 1.13 in the reference)
Then $y(t)=e^{At}y_0 + \int_0^t e^{A(t-s)}f(s) ...
- 43
2
votes
0
answers
2k
views
Orthogonal complements of intersections of closed subspaces
Let $H$ be a Hilbert space and $H_1, \cdots, H_n$ be closed subspaces of $H$.
$\mathbf{Question}:$ Is it always true that the orthogonal complement $(H_1\cap\cdots\cap H_n)^\bot$ of the intersection ...
- 285
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
2
votes
1
answer
102
views
Evolution equation invariance of sets
Let $A: D(A) \subset X \rightarrow X$ be a generator of a $C_0-$semigroup and $Z$ be a bounded operator on $X$, then the evolution equation for $u \in C([0,T], \mathbb{R})$
$$\varphi'(t) = A \varphi(t)...
- 115
3
votes
1
answer
151
views
The weakest condition guarantees some Separation-type of convex sets in Banach spaces
Classical Hahn-Banach Separation theorem plays a vital role in many branches of Analysis, Like functional Analysis, Convex Analysis, Variational Analyis, Theory of ODEs, optimal control and ...
- 369
4
votes
0
answers
125
views
Properties of solution to Schrödinger equation
Given a Schrödinger equation with, let's say continuous, periodic potential
$$-y''(x)+V(x)y(x)=\lambda y(x)$$
where $V(x+1)=V(x)$ and $V$ is even, i.e. for $x \in (0,\frac{1}{2})$ we have $V(x+\frac{...
- 501
0
votes
1
answer
843
views
$C^{\infty}_{loc}$-convergence - right definition
Let $\Omega \subset \mathbb{R}^{n}$ be some open set. Let $f_{n},f\in C^{\infty}(\Omega)$. My question is: What does the following phrase mean? $f_{n}$ converges to $f$ in $C^{\infty}_{loc}(\Omega)$. ...
- 35
1
vote
1
answer
211
views
Representation of Hilbert transform by a singular integral
Hilbert transform defines as follow:
$$ H: L^2(\mathbb R) \to L^2(\mathbb R) $$
$$ H(f)= \mathcal{F}^{-1}[{F(\gamma) \mathrm{sign}(\gamma)]}$$
Where $F(\gamma)= \mathcal{F}(f) (\gamma)= \...
- 371
1
vote
1
answer
52
views
Infinitely many independent functions that are only frequency localized?
A function $f \in L^2(\mathbb R^d)$ will be called $K$-frequency localized if the following inequality holds
$$\int_{\mathbb R^d} \lvert \widehat{f}(x) \rvert^2 x^2 \ dx \le K \int_{\mathbb R^d} \...
- 11
0
votes
1
answer
151
views
A Bi-Lipschitzian application
We say that $\Omega$ is a star-shaped domain (with respect to the origin) of $\mathbb R ^n$ if :
$$\Omega = \{x\in \mathbb R ^n : \left \| x \right \| < g(\frac{x}{\left \| x \right \|})\}\; \...
- 291
0
votes
1
answer
110
views
Number theory for operator bound
Let $\gamma_i$ be such that for even $i$ $\gamma_i=1$ and for odd $i$ $\gamma_i$ shall have absolute value $1$ and the product of all of the odd ones is also on the complex unit circle but not 1 or -1....
- 501
5
votes
1
answer
481
views
A continuous path between two Sobolev functions
Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. Let $u_1$, $u_2\in H^{1}(\Omega)$ such that $T[u_1]=T[u_2]=T[\omega]$ where $T$ stands for the trace operator and $\omega\in H^1(\...
- 679
1
vote
0
answers
49
views
On different norms of the interpolating operator
Let $[a,b]$ be an interval in real line . Given any function $f:[a,b]\to \mathbb R$ and set $A \subseteq [a,b]$ of size $n+1$, there exists a unique polynomial $p_{f,A,n}(x)$ of degree $n$ such that $...
- 1,209
2
votes
0
answers
268
views
Implicit Function Theorem, parametrized - how can we get uniform domains? (from math.se)
(This question is a duplicate from here)
Consider a family of continously differentiable functions $F_r\colon\mathbb{R}\times\mathbb{R}\to\mathbb{R}$ (where $r\in[0,1]$). For every parameter $r$, we ...
- 141
2
votes
1
answer
250
views
Density in the Space of absolutely convergent Fourier series
It is possible to approximate a function $f$ on $[0,2\pi]$ by a continuous function whose derivative is zero almost everywhere (as can be seen here : https://math.stackexchange.com/questions/67334/...
- 125
0
votes
1
answer
113
views
Verifying that a map to $L^2_{\text{loc}}$ is continuous
Let $M$ be a smooth manifold on which a Lie group $G$ acts properly, such that the orbit space $M/G$ is compact. Suppose $c:M\rightarrow [0,\infty)$ is a compactly supported smooth function with the ...
- 1,903
3
votes
0
answers
235
views
Is this "differentiation map" uniquely determined by these properties?
Let $A$ be the set of all real-valued functions having their domain a subset of $\Bbb R$ which are at least differentiable on an open set, and for $f \in A$, let $U_f$ be the largest open set on which ...
user101261
1
vote
1
answer
350
views
Strong convergence in reflecxive Banach space
Let $(X, \|\cdot\|)$ be an Banach space. Assume that a sequence $f_n \rightarrow f$ weakly in $X$, and $\|f_n\| \rightarrow \|f\|$ as $n \rightarrow \infty$. It's known that if $X$ is a uniformly ...
- 425
2
votes
0
answers
192
views
Generalize upper semicontinuous regularization using Borel Hierachy
Let $X$ be a metric space. Suppose a real-valued function $f:X\rightarrow \mathbb{R}$ is upper semicontinuous class $2$ if for all $c \in \mathbb{R},$ its preimage $f^{-1}(-\infty,c)$ is $F_{\sigma}$.
...
- 623
2
votes
0
answers
226
views
degree theory argument in elliptic pde; apparent contradiction
i have a question regarding a degree theory argument and an apparent contradiction. Let me point out that I am a complete novice with degree theory and really i am just pushing some symbols with no ...
- 1,385
2
votes
1
answer
265
views
characterization of normality by selection theorem
The Urysohn's extension theorem states that a space $X$ is normal iff every continuous function $f:A \rightarrow \mathbb{R}$, with $A$ a closed subset of $X$, can be extended to a continuous function $...
- 121
1
vote
0
answers
101
views
Non standard Lipschitz extension
Consider a ball B and let $f(x) \in L^1(B)$ such that $\int_B f(x) dx = 0$. Furtheremore, there exists a closed set $E \subset B$ such that $f|_E$ is Lipschitz. The standard Lipschitz extension ...
- 455
2
votes
3
answers
3k
views
Extension of pointwise convergence of a sequence of uniformly continuous functions that converges on a dense set
It is known that a sequence of continuous functions on a metric space that converges pointwise on a dense subset need not converge pointwise on the full space. But what about if one assumes uniform ...
- 777
2
votes
0
answers
142
views
Self-adjointness on Banach spaces
Let $A \in L(X,Y)$ be a bounded operator between Banach spaces. Then its dual operator $A' \in L(Y',X')$ has the same spectrum as $A$ by the closed range theorem.
Now, if we have an unbounded ...
- 501
1
vote
3
answers
496
views
Decompose the Laplacian
Is there a way to write the negative Laplacian on the 2-sphere as a decomposition of an operator $A$ and its adjoint $A^*$? I am interested in finding such a decomposition, but I could not get one by ...
- 21
2
votes
1
answer
186
views
Equivalence of definitions of the space of test functions
Let $\Omega\subseteq\mathbb{R}^n$ be some nonempty open, and use the notation $U\Subset V$ to imply that $U$ is a compact subset of $V$. Then, for all $K\Subset\Omega$, we can define the space $$\...
- 1,247
5
votes
0
answers
122
views
How to solve this operator equation numerically?
I would like to know how one solves Sturm-Liouville problems on $(0,\infty)$ NUMERICALLY for the eigenvalues that are of the form
$$-f''(x)+\frac{1}{\sinh(x)^2}f(x)=\lambda f(x).$$
So even if there ...
- 501
4
votes
1
answer
393
views
How can I show that "almost all function" have property P?
The following is cross-posted from
https://math.stackexchange.com/questions/1391293/is-almost-all-function-a-well-defined-concept
since I didn't (yet) get an answer there.
(I hope that's okay?)
...
- 151
1
vote
1
answer
130
views
Resolvent difference of absolute values!
Let $T$ be a bounded operator. Then, the operators $\left\lvert T \right\rvert:=\sqrt{T^*T}$ and $\left\lvert T^* \right\rvert:=\sqrt{TT^*}$ are well-defined.
Is there a way to write
$$(\left\lvert ...
- 115
1
vote
0
answers
186
views
Using continuity + commutativity to define "limit"
Let $S$ be the set of real sequences, and $S_0\subset S$ be the set of convergent real sequences. For each $f:\mathbf R\to\mathbf R$, we define $\bar{f}:S\to S$ by $$\bar{f}(\{x_n\})=\{f(x_n)\}.$$
It ...
- 1,630
1
vote
1
answer
261
views
The existence of differential operator of the form $AB=0$
We define $\mathcal A$ is a differential operator of order $n$ with variable coefficients if
$$ \mathcal A:=\sum_{|\alpha|\leq n}A_\alpha (x) D^\alpha $$
where $\alpha$ is an muti-index and $A_\alpha(...
- 679
1
vote
0
answers
180
views
Implicit function theorem for operators
Let $P: (-a,a) \rightarrow \Psi_h^0(\mathbb{R}),$ be a pseudodifferential operator in Weyl quantization with $(-a,a) \ni z \mapsto P(z)$ depending smoothly on this parameter $z$. Note that this ...
- 115
3
votes
1
answer
684
views
Is the countably infinite product of locally convex topological vector spaces locally convex?
Let $(X,\tau)$ be a locally convex topological vector space and denote the product space
$$X^{\infty}=X\times X\times X\cdots:=\big\{x=(x_i)_{i\geq 1}:~ x_i\in X\big\}$$
If we endow $X^{\infty}$ ...
- 1,835
2
votes
1
answer
375
views
Simplify proof for rapidly decaying functions
I want to show the following theorem in a lecture:
Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$
Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto (f_1(x),..,f_k(...
- 181
3
votes
1
answer
144
views
Operator norm of almost mathieu operator
The almost Mathieu operator has become famous since it is the central object of the ten martini problem.
In this paper here a bound on the operator norm is given. Although the bound is of course ...
- 31
1
vote
1
answer
139
views
Compactly supported functions and projections
Let $\Omega$ be an open subset of $\mathbb{R}^n$ and take a family of continuous compactly supported functions $f_n$ on $\Omega$ normalized to one (in the $L^2$ sense).
Then, these functions span a ...
- 501
2
votes
1
answer
266
views
Monotonicity of the integral
Let $R(x)$ be the residual function associated to the normal probability density, i.e.
$$R(x)~=~\int_x^{+\infty}\frac{1}{\sqrt{2\pi}}e^{-\frac{y^2}{2}}dy, \mbox{ for all } x\in R.$$
Define
$$\phi(...
- 1,835
2
votes
0
answers
463
views
Conditions for continuity of non-simple eigenvectors
Here, https://math.stackexchange.com/a/1146455, it is noted that eigenprojections are continuous, but eigenvectors are not. Are there any conditions where the eigenvalues are not simple, but the ...
- 37
0
votes
0
answers
60
views
Solution of a functional equation with cosine transform
What are the functions verifying:
$$\int_0^{\infty} f(t) \cos(2\pi xt)=\lambda \frac{1}{x} f(\frac{1}{x})$$
With $\lambda$ a constant ?
(Functions $x^{-\alpha}$ with $0<\alpha<1$ are solutions ...
- 1,199
3
votes
1
answer
187
views
Free quantum evolution operator on Sobolev space
I am not a mathematician, but would like really like to get some confirmation on the things I am doing here.
Let $-\Delta: H^2(\mathbb{R}) \subset L^2(\mathbb{R}) \rightarrow L^2(\mathbb{R})$ then ...
- 95
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
0
votes
1
answer
150
views
Solutions to Schrödinger equation parameter dependence
This is somewhat unrelated to what I normally do in mathematics, which is why it may be obvious to some of you, but I was puzzled by this:
If we look for classical solutions on $[0,1]$ to
$$-y''(x) =...
- 305
3
votes
1
answer
640
views
Relationship between LlogL and Hardy spaces
I think that for positive, one-dimensional, periodic functions, the following statement is true:
$$
f\in L log L(\mathbb{T})\Leftrightarrow f\in H^1(\mathbb{T}),
$$
where
$$
LlogL=\{f\in L^1\,s.t.\,\...
- 843
2
votes
1
answer
301
views
Simplicity of eigenvalues
Consider the Sturm-Liouville operator$$Au = -(pu')' + qu \text{ on }I = (0, 1),$$where $p \in C([0, 1])$, $p \ge \alpha > 0$ on $I$, and $q \in C([0, 1])$. No further assumptions are made; in ...
- 369
0
votes
3
answers
320
views
Exists $C = C(\epsilon, q)$ such that $\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)}$ for all $W^{1, 1}(0, 1)$? [closed]
Let $1 \le p < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)} \text{ for all }u \in W^{1,...
user81900
2
votes
0
answers
194
views
A question regarding mollifiers on Sobolev spaces on closed manifolds
Let $M$ be a closed Riemannian manifold and denote by $H^s(M), \, s\in \mathbb{R} $ the standard Sobolev spaces on $M$ defined using powers of $1+\triangle$. Let $J_n: \mathcal{D}'(M)\rightarrow \...
- 505
3
votes
1
answer
657
views
Banach space of discontinuous functions(Killing continuous functions)
Edit: According to the comment of Prof. Majer, I revise the question:
For a metric space $X$, we put $A=\{f:X\to \mathbb{C}\mid \text{f is bounded}\}$. We define two semi norm on $A$
$$\...
- 356