Functional analysis is the study of infinite-dimensional vector spaces, often with additional structures (inner product, norm, topology), with typical examples given by function spaces. The subject also includes the study of linear and non-linear operators on these spaces, as well as measure, ...

learn more… | top users | synonyms (1)

0
votes
0answers
5 views

Separating the integral of a product of functions apart

Show that $$\left(\frac{1}{\pi}\int_{-\pi}^{\pi}(f(x+t))^2(K_n(t))^2\mathop{dt}\right)^{1/2}\leq \left(\frac{1}{\pi}\int_{-\pi}^{\pi}(f(x+t))^2\mathop{dt}\right)^{1/2}$$ where $K_n(t)$ is Fejer's ...
0
votes
2answers
14 views

Is distributional Derivative of $\delta^{(2)}(-x)=-\delta^{(2)}(x)$

Is distributional Derivative of $\delta^{(2)}(-x)=-\delta^{(2)}(x)$ ?? or $\delta^{(2)}(-x)=\delta^{(2)}(x)$ ?? I know that $\delta(-x)= \delta(x)$ and $\delta^{(1)}(-x)=-\delta^{(1)}(x)$. How ...
0
votes
0answers
18 views

Mountain pass theorem

Let $I$ be a real functional over a Hilbert space $H$, satisfying all the conditions in the Mountain pass (M-P) theorem. My question is, can the assumption in the M-P theorem that $I[v]\leq 0$ for a ...
0
votes
0answers
15 views

Question about computing a Complicated integral

where $\beta$ is defined like this: I'm trying to prove (2.12) but i don't know how to do, i calculated the integral but i don't find anything please help me Thank you.
2
votes
1answer
32 views

How to find the norm of $ \Lambda x = \sum_{n=1}^{\infty} \frac{x_n}{n\sqrt{6}}$ in $\ell^2$

Suppose that $(x_n)$ is a sequence in $\ell^2$, i.e. $\displaystyle \sum_{i=1}^{\infty} x_n^2 < \infty$. Define: $$\Lambda x = \sum_{n=1}^{\infty} \frac{x_n}{n\sqrt{6}}$$ Find $\| \Lambda \|_2$ ...
1
vote
1answer
15 views

What is the completed projective tensor product of compactly supported smooth functions on two manifolds?

Let $M$ and $N$ be smooth manifolds (not necessarily closed). It is a lovely fact that $$C^\infty(M \times N) \cong C^\infty(M) \hat{\otimes}_\pi C^\infty(N).$$ See, for the instance, the book ...
0
votes
0answers
14 views

About Lusternik-Schnirelmann category

I' studying this paper: http://www.sciencedirect.com/science/article/pii/S0022039608003744 In page 1303-1304 they defined two functions $\phi_{\varepsilon}$ and $\beta$ But i don't understand ...
0
votes
0answers
9 views

variational analysis

Let $I$ be a functional over a Hilbert space, as in the Mountain pass theorem. Can the condition that there exists $v$such that $I(v)\leq 0$ for $||v||>r$ be replaced by $I(v)=0$?.
3
votes
1answer
27 views

Dense subset in sequence space

I'm trying to prove that $F=\{x=\{x_n\}_{n\in \mathbb{N}}\in l^2(\mathbb{N}):\sum_{n=1}^{\infty} x_n=0\}$ is dense in the sequence space $l^2(\mathbb{N})$. I think it should be an easy exercise, but ...
-1
votes
0answers
22 views

Mackey Topology

Let $C$ be a convex subset of the unit ball of $L^{\infty}$. Show that if $C$ is closed in the topology induced by the standard $\|\cdot\|_p$ norm for some $p>1$, then $C$ is closed in the Mackey ...
0
votes
1answer
13 views

Borderline case of interpolation of Banach spaces

Let $B \subset A$ be Banach spaces with a continuous embedding. Is the inequality $$ \|b\|_B \leq C \sup_{t > 0} \inf_{\tilde{b} \in B} \{ \|b - \tilde{b}\|_B + t \|\tilde{b}\|_A \} \quad \forall b ...
-4
votes
0answers
13 views

Automotive accident question [on hold]

A car traveling 14 mpg that weighs 2,405lbs strikes another car that has it's brakes applied the weighs of the second car is 4,170lbs. How far will the second travel after impact?
1
vote
1answer
15 views

Is complemented subspace of complemented subspace is complemented? [on hold]

Let $X\subset Y\subset Z$ be Banach spaces such that $X$ is complemented in $Y$ and $Y$ is complemented in $Z$. Is it true that $X$ is complemented in $Z$?
1
vote
0answers
37 views

Derivations: Characterization

Given a smooth manifold. (In fact, it seems irrelevant to regard manifolds.) Regard germs of functions: $$\mathcal{C}_p^\infty(M):\quad f\sim g:\iff f\restriction\equiv g\restriction$$ and the ...
0
votes
1answer
14 views

Is $H^1(0,\infty) \subset C^0([0,\infty))$?

Is it true that $H^1(0,\infty) \subset C^0([0,\infty))$ is a continuous embedding? How would I prove it? I do know this holds for bounded domains in one dimension but here we have the half line. ...
1
vote
0answers
17 views

Functional dual question

Is it true that $L^1$ is the dual of $(L^{\infty}(\Omega),||\cdot||_p)$ for any $p > 0$, where the p-norm symbol denotes quasinorm for $p <1$, where $\Omega$ has finite measure?
1
vote
0answers
17 views

Prove that $\left\{e^{i n t}\right\}_{n\in\mathbb Z}$ is a Riesz basis on $L^2[-\pi,\pi]$.

Prove that $$\left\{e^{i n t}\right\}_{n\in\mathbb Z}$$ is a Riesz basis on $L^2[-\pi,\pi]$. Can I have any reference or any suggepstion please? Thanks.
0
votes
0answers
30 views

Why is this integral involving the mean value function zero?

Let $u$ and $v$ belong to $H^1(\Omega \times (0,\infty))$ on a bounded domain $\Omega$. Define $$(Au)(y) := \frac{1}{|\Omega|}\int_\Omega u(x,y)\;\mathrm{d}x.$$ We have that $Au \in H^1(0,\infty)$. ...
1
vote
0answers
16 views

$\ell_q$ is not finitely representable in $\ell_p$ if $2<q<p$.

This seems to be a well known result in Banach space theory. It is referenced, for example, in Pietsch's book "History of Banach spaces and Linear Operator". Where can I find a proof? Who was the ...
0
votes
0answers
16 views

Compact Operators: Decomposition

This is a real question of me. Given a Banach space. Consider a basis on finite dimensional range: $$\dim\mathcal{R}F<\infty:\quad y_1,\ldots, y_N$$ Hahn-Banach lifts the dual basis up: $$ y_n\in ...
4
votes
2answers
50 views

Why are functional analysts interested in not only the point spectrum of $f$, but also, its spectrum?

Suppose $\mathbb{K}\in \{\mathbb{R},\mathbb{C}\},$ that $X$ is a Banach space over $\mathbb{K}$, and that $f : X \leftarrow X$ is a bounded linear transform. Then the spectrum of $f$ is defined as the ...
0
votes
2answers
28 views

Understanding part of a theorem of Calculus of Variations

I have trouble understanding the following statement (From Gelfland's Calculus of Variations book): If $\phi[h]$ is a linear functional and if ...
2
votes
1answer
54 views

Proof Involving Generalized Mean

Let $x=(x_1,...,x_n) \in \mathbb R^n$ and $$g(p)=\sqrt[p]{\frac{1}{n}\sum_{k=1}^{n} |x_k|^p)}$$ Using Hölder's inequality, show that $g(p)$ is increasing on $(0,\infty)$. For a sequence with ...
3
votes
1answer
38 views

Proving a metric on X.

Let $X$ be the collection of all sequences of positive integers. If $x=(n_j)_{j=1}^\infty$ and $y=(m_j)_{j=1}^\infty$ are two elements of $X$, set $$k(x,y)=\inf\{j:n_j\neq m_j\}$$ and $$d(x,y)= ...
1
vote
0answers
22 views

For a Banach algebra $\mathcal{A}$ and an idempotent $e$, show that $\mathcal{A}e$ is a Banach algebra

I am studying the spectral theory of operators on Banach and Hilbert spaces, reading through Conway's A Course in Functional Analysis. In section VII.4, Conway states Proposition 4.11 as a consequence ...
2
votes
0answers
17 views

Is the system $\left\{\frac{e^{i n t}}{2\pi}\right\}_{n\in\mathbb Z}$ a Riesz basis on $L^2(-\pi,\pi)$?

Is the system $$\left\{\frac{e^{i n t}}{2\pi}\right\}_{n\in\mathbb Z}$$ a Riesz basis on $L^2(-\pi,\pi)$? I think not because $$\frac{1}{2\pi}\int_{-\pi}^\pi \frac{e^{i (n-m) t}}{4\pi^2}dt\neq 1$$ if ...
0
votes
1answer
21 views

Why isn't the completion of $C^0$ wrt. the $L^2$ norm a space of sequences instead of a space of functions?

We know that $L^2(\Omega)$ can be defined as the completion of $C^0(\Omega)$ with respect to the norm $$\left(\int_\Omega |u|^2\right)^{\frac 12}.$$ But strictly speaking, $L^2(\Omega)$ is a space of ...
2
votes
0answers
45 views

Fourier transform of $e^{-\frac{x^2}{2}}\frac{1}{\mathsf{sinc}( x )} $

I have to find inverse Fourier transform of \begin{align*} F(\omega)=e^{-\frac{\omega^2}{2}}\frac{1}{\mathsf{sinc}( \omega )} \end{align*} I was wondering whether it exists maybe in a sense of ...
3
votes
1answer
38 views

Verifying a Vector Space Via Given Axioms

Let $X$ be the collection of all sequences $\{\alpha_n\}_{n=1}^{\infty}$ of scalars from $\mathbb{K}$ such that $\alpha_n=0$ for all but a finite number of values of $n$. Define addition and scalar ...
0
votes
1answer
15 views

Question about a proof of Riemann localization theorem

The Riemann Localization Theorem states that Let $f \in L_{2 \pi}^2$ and $x_0 \in \mathbb R$. Then $$ \lim_{n \to \infty} (S_nf)(x_0) = f(x_0)$$ if and only if there is a $\delta \in (0, \pi)$ ...
1
vote
1answer
24 views

Why is $J(u) := \int_\Omega |\nabla u|^2$ convex?

Define $J(u) := \int_\Omega |\nabla u|^2$ over $\{ u \in H^1(\Omega) : tr(u) = g\}$. Why is $J$ convex? I keep getting $J(tu + (1-t)v) \leq 2t^2J(u) + 2(1-t)^2J(v)$ by using the triangle inequality ...
1
vote
1answer
33 views

Understanding a proof from Conway: showing existence of idempotents using functional calculus

I am studying the spectral theory of operators on Banach and Hilbert spaces, making use of Conway's A Course in Functional Analysis. In section VII.4, Conway states Proposition 4.11 as a consequence ...
2
votes
1answer
26 views

$T$ is bijective and homeomorphism.

Suppose $X$ be the set of all polynomial with real coefficients in one variable with norm $$\|p(x)\|=|a_0|+|a_1|+\dots+|a_n|$$ where $p(x)=a_0+a_1x+\dots+a_nx^n$ which induces a metric ...
1
vote
1answer
16 views

which of the following sequences $\{f_n\}\in C[0,1]$ must contain a uniformly convergent subsequence?

Could anyone tell me which of the following sequences $\{f_n\}\in C[0,1]$ must contain a uniformly convergent subsequence? $|f_n(t)|\le 3\forall t\in [0,1],\forall n$ $f_n\in C^1[0,1],|f_n(t)|\le ...
0
votes
0answers
21 views

Is this a Cauchy sequence?

Let $Y$ and $Z$ be Banach spaces. Define $|u|_X := |Au|_Y + |Bu|_Z$ where $A$ and $B$ are linear maps. Suppose I have a sequence $(u_n)$ such that $|Au_n|_Y \to 0$ and $|Bu_n - Bu_m|_Z \to 0$. Does ...
0
votes
0answers
14 views

How to prove this sequence is in $l^2$? [duplicate]

I ran into such a problem in some exercise book on hilbert space. Suppose we have a sequence $ \{a_n \}_1^\infty$. Now, for any sequence $\{ b_n \}_1^\infty $ in $l^2$, we have $$ ...
0
votes
1answer
12 views

Short proof of sequential Banach Alaoglu for Hilbert spaces

Do you know of a short proof of the fact that bounded sequences in Hilbert spaces admit weakly converging subsequences? If the space is separable, then the common sequential-version proof is what I ...
1
vote
1answer
24 views

On the greatest norm element of weakly compact set

Let $X$ be a Banach space and $K\subset X$ be a nonempty weakly compact set. I would like to know if there exists a point $u_0\in K$ such that $\|u_0\|\geq \|u\|$ for all $u\in K$. Thank you for all ...
0
votes
2answers
75 views

Proving a subset of $l_2$ is closed

Let $l_2$ be the set of all real sequences $x=(x_n)$ such that $\sum|{x_n}|^2 <\infty$ and define the norm $||x_n||_2=(\sum\limits_{n=1}^{\infty}|x_n|)^{\frac{1}{2}}$. I want to show that $A=\{ ...
0
votes
0answers
14 views

problem about equivalent norms. [duplicate]

Let $\|\cdot\|_1$ and $\|\cdot\|_2$ be equivalent norms on a normed field. Then (i) $\|x\|_1<1$ iff $\|x\|_2<1$; $\|x\|_1>1$ iff $\|x\|_2>1;$ (ii) $\|x\|=1$ iff $\|x\|_2=1$. I want to ...
1
vote
1answer
24 views

Embedding $L^2[0,1]$ into any Hilbert space?

Is it true that every Hilbert space has a closed subspace isometrically isomorphic to $L^2[0,1]$? Can someone sketch a proof of this, or at least point me in the right direction to understanding it? ...
3
votes
3answers
99 views

book recommendation on functional analysis

I recently started studying functional analysis. I have many ebooks loaded on my laptop, but can't figure out which one to start with. I've asked my instructor, and he says there aren't any specific ...
0
votes
1answer
57 views

Approximation Property: Hilbert Spaces [on hold]

Note: This thread is not to gain reputation!! Given a Hilbert space. How to prove: It has the approximation property!
2
votes
0answers
25 views

Approximation Property: Characterization

Problem Given a Banach space. Suppose it has the approximation property: $$C\in\mathcal{C}:\quad\|T_\varepsilon-1\|_C<\varepsilon\quad(T_\varepsilon\in\mathcal{F}(E))$$ Then every compact ...
0
votes
1answer
28 views

about a sequence of isometries' convergency.

Let $M$ be a compact metric space, let $(i_n)$ be a sequence of isometries: $M \rightarrow M$. I've already showed that there exists a subsequence $(i_{n_k})$ that converges to $i$ which is also a ...
0
votes
0answers
14 views

When is the completion of a topological vector space a Frechet space?

Suppose $X$ is a topological vector space with the metric topology. If we take the completion of $X$ with respect to the metric, will we get a Frechet space? Are there any extra conditions needed to ...
1
vote
0answers
33 views

Prove that any function f in $L^p$ is the limit, in the metric of $L^p$, of a sequence of simple functions.

I know that I'll need to use dominated convergence here. In the problem, they ask to consider, when f is bounded and nonnegative, the sequence: $s_n(x) = \begin{cases} \frac{i-1}{2^n} \text{ for } ...
0
votes
1answer
23 views

If $f_n \rightarrow f$ in $L^p$ and $g_n \rightarrow g$ in $L^q$, where $\frac{1}{p} + \frac{1}{q} = 1$, show that $f_n g_n \rightarrow fg$ in $L^1$ [duplicate]

I know that this will have something to do with Holder's inequality but I am at a loss as to how the $L^p$ and $L^q$ convergence in $f$ and $g$ dictate the convergence in $L^1$. Any help is ...
1
vote
1answer
33 views

Inverse operator of $I-A$

Let $H$ be an Hilbert space, $A:H\to H$ be a bounded linear operator such that $$ \|A^{n_0}\|< 1\qquad\text{for some}\quad\; n_0\in\mathbb{N}. $$ I have to show that $I-A$ is invertible. My idea ...
0
votes
0answers
22 views

Check Functional Analysis Proof

I seem to have proved something with elementary techniques even though the paper I found it in suggests it requires heavy tools. There could be a mistake but I can't find it if there is one. Theorem: ...