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)

4
votes
0answers
60 views

Differentiation operator on smooth function with compact support

Suppose $f$ is $C^\infty$ with compact support. Let $T_n$ be the operator which sends $f$ to its $n$-th derivative. Is $||T_nf||_\infty$ bounded? It seems like I should use Stone-Weierstrass, but ...
4
votes
0answers
51 views

Probability measure on the set of probability measures

Let $X$ be a metric space, $\mathcal{P}(X)$ be the the set of all Borel probability measures on $X$. I endow $\mathcal{P}(X)$ with the weak* topology. Question 1: Do I need to impose some further ...
4
votes
0answers
57 views

Compactness of a set of bounded functions in the uniform norm

Let $T$ be a non-degenerate compact interval in $\mathbb R$ and $f:\mathbb R^2\to\mathbb R$ a strictly concave function such that (a) $f(0,0)=0$, (b) $f$ strictly increases in the first argument, and ...
4
votes
0answers
27 views

Distributions and primitives

I was wondering: if distributions are seen as a generalization of functions that "removes obstructions" to the operation of derivation, is there a generalization of functions that would remove any ...
4
votes
0answers
61 views

Jordan decomposition of linear functionals

Let $X$ be a locally compact Hausdorff space. Also, let $C_0(X,\mathbb R)$ denote the vector space of such continuous functions $f:X\to\mathbb R$ that the set $\{x\in X\,|\,|f(x)|\geq\varepsilon\}$ is ...
4
votes
0answers
48 views

On maximal ideal spaces of a banach algebra

I am reading this article on maximal ideal spaces and there is this part that I don't quite understand very well, hope you guys can help me out. "Let $M(A)$ denote the maximal ideal space of a ...
4
votes
0answers
67 views

Limit of distribution

Let $T\in\mathcal{D}'(\mathbb{R})$ be a distribution on the set of smooth functions of compact support $\mathcal{D}(\mathbb{R})$ such that $$ \forall_{g\in\mathcal{D}(\mathbb{R})}~|\langle T, g ...
4
votes
0answers
109 views

Operators such that $\langle Ax,x \rangle=-\langle x,Ax \rangle$

Let $X$ be a Banach space. We consider the differential equation: $$x'(t)=Ax(t), \ \ \ t\in\mathbb{R}$$ where $A$ is a bounded operator on $X$. If $X$ is a Hilbert space, and $x(t)$ is a solution of ...
4
votes
0answers
71 views

Proof of a theorem about Baire categories

Problem: prove that the set of $C([0, 1])$ functions whose derivative is defined at every point (and it is either finite or infinite) is of the first Baire category. I have no idea how to approach ...
4
votes
0answers
35 views

Weak topology on $L^p,~p> 1$

How looks like the weak topology in the particular case $X=L^p$, I mean, is possible to detail this topology beyond standar form: Arbitrary union of finite intersections open pre-images of opens ...
4
votes
0answers
60 views

Does this characterize the operator norm of the inverse?

Let $A$ be an invertible operator (bounded with bounded inverse). Then $$\frac{1}{\|A^{-1}\|} = \inf\left\{\frac{\|Av\|}{\|v\|} : v \neq 0\right\}$$ I believe I have a proof as follows, but I just ...
4
votes
0answers
51 views

Strongly convergence in L^2

Let the sequence $(f_n(x,u))$ such as, for all $n,$ $f_n$ is Caratheodory, and $|f_n|\leq g$ where $g \in L^1(\Omega)$ Let $u_n \in H^1_0$ such as it is strongly convergent to $u$ in $L^2$ and a.e ...
4
votes
0answers
136 views

Rising Sun Inequality (Dunford-Schwartz maximal inequality)

Let $f:\mathbb{R} \rightarrow \mathbb{R}$ be an absolutely integrable function, and let $f^*:\mathbb{R} \rightarrow \mathbb{R}$ be the one-sided signed Hardy-Littlewood maximal function $$f^*(x) := ...
4
votes
0answers
110 views

How to get a grip on codimensions

I am trying to find a proof for the following problem: Let $X,Y$ be Banach spaces $A,B:X \rightarrow Y$ are bounded linear operators $Ran(A)$ is closed, and $\dim(\mathrm{Ker}(A))$ or ...
4
votes
0answers
294 views

Properties of the square norm in Banach spaces

Let $X$ be a Banach space with its dual $X^*$. Consider the mapping $f: X\rightarrow \mathbb{R}$ given by $$ f(x)=\frac{1}{2}\|x\|^2. $$ We have know that when $X$ is a real Hilbert space ($X=X^*$) ...
4
votes
0answers
65 views

Equivalence of definitions of $C^k(\overline U)$

let $U$ be an open set of $\mathbb{R}^n$, that contains at least some open set. In Evans book we find the definition $$C^k(\overline U)=\{f \in C^k(U): D^\alpha f \text{ is uniformly continuous on ...
4
votes
0answers
60 views

Compatible maps and Sub- compatible maps

Definition Let $M$ be a subset of a metric space $X$. The set $M$ is called $q$- starshaped if $ kx+(1-k)q \in M$ for all $x\in M$ and $k\in[0,1]$, where $q$ is an element of $M$. Definition Let $M$ ...
4
votes
0answers
81 views

$f_n \rightharpoonup f$ in $L^q(Q)$ $\forall q < \infty$ and $f_n' \rightharpoonup f'$ in $L^2(0,T;H^{-1})$ implies $f_n \to f$

(... in $C^0([0,T]; H^{-1})$. ) Let $f_n$ be a sequence of functions defined on $Q:=(0,T)\times \Omega$, where $\Omega$ is a bounded domain. I have read this: Since $f_n \rightharpoonup f$ in ...
4
votes
0answers
111 views

Spectral decomposition of $TT^*$

On $l_{2}$ let $T$ be given by $Te_{n}=\frac{e_{n+1}}{n+1}$ where $(e_{n})_{n\ge1}$ is the canonical orthonormal basis. Find the spectral decomposition of $TT^*$. I find that ...
4
votes
0answers
45 views

In which cases the spectrum of an operator contains only eigenvalues?

Let $X\neq \{0\}$ be a complex normed spaces (not necessarily finite-dimensional) and $T:D(T)\subset X\to X$ a linear operator (not necessarily bounded). I would like to know under what conditions can ...
4
votes
0answers
41 views

How do they call the topological tensor product that classifies operators from Hilbert space?

Let $V$ and $W$ be topological vector spaces. There are different ways to complete the tensor product $V \otimes W$, and the only ones that are usually discussed in introductory literature are the ...
4
votes
0answers
88 views

Ultraweak topology on Banach spaces

If $X$ and $Y$ are Banach spaces with $Y$ reflexive, then the space $\mathcal{B}(X,Y)$ of bounded operators from $X$ to $Y$ is the dual of the projective tensor product of $X$ and $Y^{*}$. As in the ...
4
votes
0answers
130 views

norm of differential operator on $P^n[0,1]$

Consider the space $P^n[0,1]$ of polynomials of degree $\leq n$ on $[0,1]$, equipped with the sup norm. Now, this is a finite dimensional space, so all linear operators have to be continuous, hence ...
4
votes
0answers
81 views

Shift and ergodic measures

Let $X = \{0,1\}^{\mathbb{N}}$ endowed with the product topology and $\sigma : \left\{ \begin{array}{ccc} X & \to & X \\ (\epsilon_n) & \mapsto & (\epsilon_{n+1}) \end{array} \right.$. ...
4
votes
0answers
80 views

Linear dimension of banach spaces

Let $X$ be some vector space (over $\mathbb{C}$). Note that if $X$ is of finite dimension we can identify $X$ with $\mathbb{C}^n$ for some natural $n$ and endow it with a norm $||x||=|x_1|+...+|x_n|$. ...
4
votes
0answers
112 views

If $u$ has a weak derivative and $f$ is $C^1$ does $fu$ have a weak derivative (fractional Sobolev space and weak time derivatives)

Let $\Omega$ be an open bounded set. Let $s \in (0,1)$ and $H^s(\Omega) := W^{s,2}(\Omega).$ Let $f \in C^1([0,T]\times \Omega)$ and $u \in L^2(0,T;H^s(\Omega))$ with weak derivative $u' \in ...
4
votes
0answers
89 views

Regularity theorem for Laplacian

Let $\Omega \subset \mathbb R^d$ be a bounded domain, $d>2$. Let $f \in C^\infty(\Omega)$. If $u \in L^2$ is a distributional solution of $\Delta u = f$ in $\Omega$ then $u \in C^\infty(\Omega)$ ...
4
votes
0answers
49 views

How can I show that given a norm one linear functional on $c_0$ that there is a unique extension to a norm one functional on $\ell_\infty$?

We are given that our Banach space is $c_0 \subset \ell_\infty(\mathbb{N})$ and there is a functional $y^* \in c_0^*$ such that $||y^*|| = 1$. We are guaranteed that this extends, via Hahn-Banach to a ...
4
votes
0answers
113 views

Can the “inducing” vector norm be deduced or “recovered” from an induced norm?

Can the "inducing" vector norm be deduced or "recovered" from an induced (operator) norm? This question occurred to me after seeing this question. I'm hoping that perhaps there exists something like ...
4
votes
0answers
127 views

Non linear compact map

Suppose to have two Banach spaces $E$ and $F$, with $E$ reflexive. Suppose to have a continuous map $T:E \to F$ which maps bounded subsets into precompact subsets. $T$ is not assumed to be linear. ...
4
votes
0answers
117 views

Showing a sequence $x_{n+1} = Tx_n$ forms a contraction mapping

I want to show that the sequence given by $$x_{n+1} = Tx_n = x_n-\frac{(x_n^2-2)}{x_n+x_{n-1}}$$ forms a contraction mapping. That is $$|Tx_1-Tx_2|\leq c|x_1-x_2|.$$ Where $c$ is to be determined. I ...
4
votes
0answers
105 views

For $A$ self-adjoint, $\sup_{|x|=1}\langle Ax,x\rangle = \max \sigma(A)$

For a self-adjoint operator $A$ on a Hilbert space $H$, one has $\sup_{|x|=1}\langle Ax,x \rangle = \max\sigma(A)$. I want to prove this using the spectral theorem. My idea is: Let $a = ...
4
votes
0answers
131 views

Show that the following $u\in L^{\infty}\cap H^1(B)$ is a weak solution to the given system.

Let $B=B_{\exp(-2)}\subset\mathbb{R}^2$. I would like to show that a weak solution to the following system (in $B$): \begin{align*} \triangle u_1&=-2|Du|^2(u_1+u_2)/(1+|u|^2)\\ \triangle ...
4
votes
0answers
53 views

Representations of a C*-algebra of bounded Borel functions

Let $X$ be a compact Hausdorff space. Let $B(X)$ be the C*-algebra of bounded Borel measureable functions on $X$ (under the supremum norm). I am curious whether the (say unital) $*$-representations of ...
4
votes
0answers
155 views

Non strictly singular operators

Let $X$ be a separable Banach space and let $T:X\to X$ be a bounded operator that is not strictly singular. Can we always find an infinite dimensional, closed, and complemented subspace $Y$ of $X$ ...
4
votes
0answers
169 views

Application of Schwartz Kernel Theorem to Quantum Mechanics

I am currently reading Quantum Mechanics for Mathematicians and have a question about a statement made in the book: Remark. By the Schwartz kernel theorem, the operator B can be represented by an ...
4
votes
0answers
78 views

Polynomials dense in $C^\infty(U, V)$?

Let $V$ be a Banach space and $U$ an open subset of $\mathbb{R}^n$. Let $C^\infty(U, V)$ denote the Fréchet space of $V$-valued smooth functions on $U$ with seminorms $$ \| u\|_{\alpha,K} = \sup_{y ...
4
votes
0answers
78 views

Restriction on exponent; Weak Harnack inequality for strong solutions

The weak Harnack inequality for strong solutions goes as follows (Taking $Lu = a^{ij}(x)D_{ij}u + b^i(x)D_iu+c(x)u$ to be elliptic) Let $u\in W^{2,n}(\Omega)$ satisfy $Lu\leq f$ in $\Omega$ for ...
4
votes
0answers
90 views

An element of $\ell^2$ wanted

I am looking for an element $x=(x_0,x_1,x_2,\cdots)$ in $\ell^2$ such that the sequence $z_n, n=0,1,2,\cdots$ defined by $$z_n=2^n(x_n, x_{n+1},\cdots)$$ is dense in $\ell^2$. It seems that this is ...
4
votes
0answers
617 views

Strict Inequality in Rudin's Proof of the Riesz Representation Theorem

In Rudin's proof of the Riesz Representation Theorem (step ten), he proves that $$\Lambda h_i \leq \mu(V_i) < \mu(E_i) + \epsilon/n , \quad \mu(K) \leq \sum\limits_{1 \leq i \leq n} \Lambda h_i.$$ ...
4
votes
0answers
129 views

Is this projection operator onto a subspace of a Hilbert space bounded?

(I copy and paste and edit from Is this operator bounded? Hilbert space projection, my question is almost the same) Let $V \subset H$ be Hilbert spaces (different inner products) with $V$ dense and ...
4
votes
0answers
84 views

There exists unique $g$ s.t. $g(x) = f(x) + A\int_0^1\sin(x-y)g(y)dy$

I'm doing past papers for a first course on functional analysis. We are not allowed to assume any results from real analysis or topology, so I was surprised to find an exam question, where I couldn't ...
4
votes
0answers
61 views

Differentiating an infinite series in Hilbert space

Suppose $H$ is separable Hilbert space and $w_j$ is a basis. Suppose we have $h=\sum a_j(t)w_j$ an infinite sum where the coefficients are functions of $t$. The sum makes sense in the sense that the ...
4
votes
0answers
99 views

Concerning unbounded linear operators on a Hilbert space

Let $H$ be some Hilbert space and let $B:H\rightarrow H$ be a bounded linear operator and $T:H\rightarrow H$ an unbounded linear operator. Furthermore we assume that $T$ is closed ,i.e. it's graph in ...
4
votes
0answers
85 views

$f(a+b,\lambda) = f (a,\lambda) \cdot f(b,\lambda)$

Consider the equation: $f(a+b,\lambda) = f (a,\lambda) \cdot f(b,\lambda)$, for $a \geq 0$ and $b \geq 0$. Is my understanding that this simple functional equation is important in analysis. Can ...
4
votes
0answers
34 views

what to do if it's not direct sum?

Suppose $X=Y+Z$ is Banach, $Y$ and $Z$ are closed subspaces. I want to show there exists $\alpha>0$ such that $\forall x \in X, \exists$ $y \in Y$ and $z \in Z$ such that $x=y+z$ and $\|y\|+\|z\| ...
4
votes
0answers
58 views

A space $X$ that contains a copy of $\ell_1$, does not contain a complemented copy of $\ell_1$, and whose dual is not weakly sequentially complete

I want to find an example of a Banach space $X$ which contains a copy of $\ell_1$, does not contain a complemented copy of $\ell_1$, and so that $X^*$ is not weakly sequentially complete.
4
votes
0answers
53 views

A normed space is not separable if and only if it contains an uncountable set of disjoint balls of the same radius

I want to show normed space $E$ is not separable iff $E$ contains uncountable set of pairwise non-intersecting balls of radius $r > 0$. Use contraposive: first prove $E$ is separable then ...
4
votes
0answers
202 views

Inverse of Identity plus Volterra operator

consider the following operator or $L_2(0,1)$, $(Pw)(x)=w(x)+\int_0^x K(x,y)w(y)dy+\int_x^1 K(y,x)w(y)dy$, where the integral kernel is a polynomial. I am trying to construct the inverse of this ...
4
votes
0answers
78 views

Find Lipshitz constant

Let $x, y$ be two vectors in $R^n$. Let $\pi$ be permutation on $\{1, \ldots, n\}$ with uniform distribution. Find Lipshitz constaants of the following functions: $$ f(\pi)=\sum_{i=1}^nx_{\pi(i)}y_i ...