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)

1
vote
1answer
24 views

A question on Holder spaces

A function $f$ is said to belong to the Holder space if Holder condition is satisfied, i.e. $\exists \beta,L\geq0$ such that $$|f(x)-f(x')|\leq L|x-x'|^\beta$$ for all $x,x'$ in the domain of $f$. ...
0
votes
0answers
19 views

Confusion with proving that some subspace of a Banach-Space is closed

So here is my problem, I am trying to show that, Let $X,Y$ be Banach-Spaces and $T:X\rightarrow Y$ a linear and bounded map. Then $T(X)$ is closed if $Y/T(X)$ is of finite dimension. While ...
2
votes
1answer
39 views

Scalar products and partitions of Hypercubes

My questions relate to scalar products defined in $\mathbb{R}^{n}$ and partitions of hypercubes. Take $s \in \mathbb{R}$, $\xi, \eta \in \mathbb{R}^{n}$. My first question is why is it possible to ...
0
votes
1answer
16 views

Question about subadditive functionals

Def: Let $X$ be a vector space. $f$ is called a subadditive funcional in $X$ is $f$ is a functional(real - valued) and it satisfies : $$f(x + y ) \leq f(x) + f(y) \; \; \; \forall x,y$$ Question: ...
0
votes
0answers
80 views

Strongly convex and Frechet differentiable function in reflexive Banach space

We first recall two definitions about strong convexity and Frechet differentiability in normed space. Let $(X, \|.\|)$ be a normed space and $f:X\rightarrow\mathbb{R}$ be a function. (a) $f$ is said ...
2
votes
2answers
54 views

dual of $H^1_0$: $H^{-1}$ or $H_0^1$?

I have a problem related to dual of Sobolev space $H^1_0$. By definition, the dual of $H^1_0$ is $H^{-1}$, which contains $L^2$ as a subspace. However, from Riesz representation theorem, dual of a ...
11
votes
2answers
148 views

Integration in Banach spaces - interesting, nice and non-trivial examples needed

I am interested in $\textbf{Integration in Banach spaces}$. Here is a little motivation for my question: Let $\left(X,\|\cdot\| \right)$ be a Banach space, $a,b \in \mathbb{R}$ with $a<b$ and $f ...
2
votes
0answers
62 views

Is the space of $C^r$ vector fields inducing locally uniformly bounded trajectories Baire? [migrated]

Let $\mathcal{V}$ be the space $C^r$ vector fields on a non-compact (smooth) manifold $M$. Being a subspace of $C^r(M, T M)$, it inherits the natural $C^r$ topology (i.e. the strong topology) of that ...
0
votes
0answers
56 views

convergence sequence in L^1

Let an sequence $u_n$ such as $u_n$ converge to $u$ in $H^1_0(\Omega)$ weak, and $u_n$ converge to $u$ in $L^2(\Omega)$ strong and a.e $x \in \Omega$. Let $g_n(x,u_n)$ an Caratheodory function such ...
2
votes
1answer
46 views

I have to decide if $ \ell^1\subset c_0$ is closed or not.

I was asked to decide if $ \ell^1\subset c_0$ is closed or not, where $$\ell^1=\{(x_n)_{n\in\mathbb N}\subset\mathbb R:\sum_{n=0}^{\infty}|x_n|<\infty\}$$ $$c_0=\{ (x_n)_{n\in\mathbb ...
1
vote
1answer
42 views

Weak*-convergence of probability measures

Let $(\Omega,\mathcal F)$ be a measurable space and $X:\Omega\rightarrow\mathbb R^d$ a $\mathcal F$-measurable, bounded map. Let $(\mathbb Q_n)_{n\in\mathbb N}$ be a sequence of probability measures ...
0
votes
1answer
55 views

Linear functional and a bounded norm

I'm trying to work through some example questions for my class but there is no mention of "Piecewise affine functions" anywhere and I'm completely stumped on how to do this. Any help would be ...
1
vote
0answers
37 views

Existence of a Minimizer $h(\rho) = c \|\rho\|_{3} - \int_{\mathbb R^3} \, dx \frac{\rho(x)}{|x|} $

given the following functional $h(\rho) = c \|\rho\|_{3} - \int_{\mathbb R^3} \, dx \frac{\rho(x)}{|x|} $ with $\rho>0$ , $\|\rho\|_1 = 1$ and obviously $\rho\in L^1(\mathbb R^3)$. Can I see ...
1
vote
1answer
42 views

Basic sequence- what is so special about it?

Let $(x_n)$ be a Schauder basis of a vector space $X$. This means that the $span(x_n)$ is dense in $X$, right? Then wikipedia introduces the notion of a $\textbf{basic sequence} $ when $(x_n)$ is a ...
0
votes
1answer
45 views

Spectrum and characters: could anyone please check my proof

I tried to prove the following: Let $A$ be a commutative non-unital complex Banach algebra and $\chi : A \to \mathbb C$ a character. Then $$ \sigma (a) = \{\chi (a) : \chi \in \Omega (A) \} ...
1
vote
0answers
42 views

Don't understand a PDE argument involving $L^p$ norms and inequalities

I'm reading this paper. I do not understand how the author proves Corollary 5.12 for the case $p=2$. He addresses everything except $p=2$ but claims it holds for all $p$. Can someone help me to see ...
1
vote
0answers
24 views

The uniqueness of a solution of a system of differential equations

Suppose I have a system of delay differential equations $\frac{d G_1(\phi_1(s))}{ds}= F_1(\phi_1(s),\phi_2(1-s),1-s)$ $\frac{d G_2(\phi_2(1-s))}{ds}= F_2(\phi_1(s),\phi_2(1-s),s)$ where $G_1, G_2, ...
5
votes
2answers
186 views

Borel Sigma Algebra

The question is asking to prove that the family: $\{(−a, a) : a \in \mathbb{R}\}$ does not generate the Borel $\sigma$-algebra. It is known that the family $\{(a,b) : a < b\}$ generates the Borel ...
1
vote
1answer
40 views

subspace of Hilbert space is closed if and only if it is weakly closed

Any hints for this question, thank you! Prove that a subspace of Hilbert space is closed if and only if it is weakly closed.
0
votes
1answer
24 views

$\min \{||x-x_0|| : x \in V \} = \max \{|<x_0,y> : y \in V^{\bot} \}$

I need some help, please Let $V$ be a closed subspace of Hilbert space $H$, and let $x_0 \in H$. Show that $\min \{||x-x_0|| : x \in V \} = \max \{<x_0,y> : y \in V^{\bot} \}$ thanx in ...
2
votes
3answers
48 views

Gel'fand representation of a non-unital Banach space: what's wrong with this argument

My argument below is hacked together from pages 5-6 of Davidson's "$C^*$ algebras by example". Theorem: The multiplicative linear functionals on a unital abelian Banach algebra are continuous of ...
1
vote
2answers
34 views

Bounded linear operator and self adjoint operator

these questions are in my workbook but there is no worked solutions whatsoever. I dont know where to begin with this at all. Any help would be much appreciated. Thankyou
1
vote
1answer
54 views

convergence in L^{1} strong

I search an proof of this lemma: First,we have this definition: we tell that an sequence $f^{\epsilon}$ is equi integrable if $$\forall \eta, \exists \delta > 0, |E|\leq \delta \implies ...
0
votes
1answer
39 views

Why is the topology of convergence in measure equivalent to this metric here?

I am currently struggeling with the topic of convergence in measure topologies. Now I read that on the space of measurable function $L^0$ on $[0,1]$ with the Borel sigma algebra and the lebesgue ...
1
vote
1answer
33 views

Which of the following sets are open (or closed)?

a.) $A:= \{(x_n)_{n\in \mathbb{N}} : x_n \in [0,1] \hspace{2mm}\text{for all}\hspace{2mm} n\in\mathbb{N}\}$ in $(l^\infty, \|\cdot\|_{\infty})$ and b.) $B:= \{f\in C([0,1]) : |f(t)-t|<1 ...
0
votes
0answers
34 views

Notation in Lp spaces

I have a question about notation. If we have the space $L_p([a,b])$ with $1\leq p<\infty$ and $f\in L_p$ is it true that $\int_a^b \! |f(x)|^p \, \mathrm{d}x < \infty, \forall x\in[a,b]$. I ...
-1
votes
0answers
24 views

the dual space of the direct sum space [duplicate]

Let $\{X_i; i\in I\}$ be a collection of normed spaces. If $1\leq p<\infty$ , show that the dual space of $\oplus_p X_i$ is isometrically isomorphic to $\oplus_q X_i^*$, where ...
0
votes
1answer
21 views

An identity on direct sum of Hilbert spaces

Let $M_i$ are the set of smooth complex valued functions ($i=0,1,2,...$) $L^2(M_i)$ are Hilbert spaces on $M_i$ then can we say $$L^2(\bigoplus_{i=0}^\infty M_i)\cong \bigoplus_{i=0}^\infty ...
5
votes
1answer
42 views

Is this condition sufficient to determine the linear space is of finite dimension?

From the Banach theory we knew that: 1) A linear space(a vector space endowed with its vector topology) $X$ of finite dimesion $dimX=n$ has the following property: If ${\left\| \bullet \right\|_1}$ ...
0
votes
1answer
17 views

Density transformation, distribution function

Suppose $X$ is a real-valued random variable with density $p_X$, so $$P(X\leq x) = \int_{-\infty}^x \, p_X(y) \, dy.$$ What conditions on a function $f$ are needed (typically?) to find the density ...
2
votes
0answers
53 views

Gilbarg Trudinger: Hölder continuity in chapter 8

I'm trying to track the behaviour of the coefficients in Theorems 8.22 and Theorem 8.24. Particularly, I'm considering the behaviour w.r.t. to the distance from $\Omega'$ to $\partial \Omega$ I'll ...
0
votes
1answer
46 views

What can be said about this family of functions?

$$\sqrt{a^2+x^2+\left(y-\frac{b}{2}\right)^2}-\sqrt{a^2+x^2+\left(y+\frac{b}{2}\right)^2} = \frac{(2n+1)\pi}{k} \space\space\space\space n \in \mathbb{Z}, \space\space a,b,k > 0$$ This has popped ...
0
votes
1answer
20 views

Lebesgue integral for unbounded domain.

Suppose that $\Omega$ is unbounded domain. So i want to know the Lebesgue integral on $\Omega$. Detail: $$\int\limits_\Omega d\mu=?$$ I think the result is $|\Omega|$. Is it true?
0
votes
1answer
31 views

Question about special $C^*$-algebra

i have a question about a $C^*$ algebra $A$ namely $M_2(\mathbb{C})$. I want to prove that every state $\alpha$ of $M_2(\mathbb{C})$ (thus a positive linear functional with norm $1$) is of the form ...
0
votes
1answer
15 views

Can a separable Banach space have a total subset?

I will like to know whether a separable Banach space can have a total subset? A separable Banach space has a countable dense subset V, but can we do something to make V total? Thank you for your ...
0
votes
0answers
16 views

A parabolic maximum principle (if initial value is bounded, so is solution)?

Let $u \in L^2(0,T;H^1)$ with $u_t \in L^2(0,T;L^2)$ solve the PDE $$u_t - \Delta u = f$$ $$u(0)= u_0$$ on $\Omega \times (0,T)$ where $\Omega$ is a bounded domain. We do NOT have the Poincare ...
0
votes
0answers
29 views

Application of Schauder fixed point theorem

Let $\Omega$ an open bounded in $\mathbb{R}^n$, and let $A(x,u)$ an Caratheodory function, bounded and coercive, i.e., $$|A(x,u)|\leq \beta$$ $$A(x,u) \geq \alpha I,\quad \alpha > 0$$ and let ...
0
votes
1answer
18 views

Proving differentiability of simple polynomial map

I'm trying to show the differentiability of the following simple polynomial map $\phi$ $$\phi : P \mapsto P^3, P \in \mathbb{R}_q[X]$$. I go by the definition of differentiability, i.e. I search for a ...
2
votes
1answer
32 views

Equivalent conditions for composition to be compact operator

I did some exercises in Conway's functional analysis book and found the following problem: Let $\tau:[0,1]\to [0,1]$ be continuous and define $A:C[0,1]\to C[0,1]$ by $Af:= f\circ \tau$. Give ...
1
vote
0answers
9 views

invariant measures for the independently coupled Feller process

If I take countably many Markov processes and couple them independently, how does the collection of invariant measures for the coupled process relate to those of the marginals? I conjecture that it ...
0
votes
1answer
18 views

Norm of a bounded and linear functional

Let $X$ be a normed space and $x\in X ~,~f\in X^*$. I do not know why is There a sequence $\{x_i\}\subset X_{||.||\leq 1}$ such that $||f||=\lim|f(x_i)|$. Please help me
0
votes
1answer
35 views

what are closed sets in $L^{1}(\mathbb R)$?

Consider, $L^{1}(\mathbb R)$= The space of Lebesgue integrable functions on $\mathbb R$; for $f\in L^{1}(\mathbb R),$ we define its norm, by $\|f\|_{L^{1}}=\int_{\mathbb R}|f(x)| dx$; It is well-known ...
1
vote
1answer
38 views

Bounded continuous functions from a topological space to $\mathbb R$ is complete

Let $X$ be a topological space and let $BC( X \to \mathbb R)$ be the space of bounded continuous functions from $X$ to $ \mathbb R$ equipped with the supnorm $||*||_{\infty}$. How to prove $BC( X \to ...
3
votes
1answer
41 views

Linear functional in Banach space

Let $X$ be a Banach space, $(f_n)\in X^{*}$ a sequence with $f_n\neq 0 $ $ \forall n\in \Bbb N$. Show that there is a $x\in X$ such that $f_n(x)\neq 0 $ $\forall n$. Need some help. Thank you!
1
vote
2answers
110 views
+200

Biorthogonal functions in $L^p$

I asked one question that is already answered: 1.) I have a question about Lemma 9.5 on page 93/94 reference. It's about the part of the proof where the sequence of $(g_n^*)$ are introduced. I don't ...
0
votes
0answers
23 views

proof of existence theorem

Let the equation $$-\mathrm{div}(A(x,u)\nabla u) + a_0(x)u=f(x,u,\nabla u)$$ Let $\Omega$ an open bounded of $\mathbb{R}^n$, and $A(x,)$ an patrix defined by $$\forall u \quad \mbox{fixed} \quad, ...
1
vote
1answer
32 views

$(\ell_p,\|.\|_{\infty})$ Banach or separable

Is $(\ell_p,\|.\|_{\infty})$ for $1\leq p<\infty$ a Banach or separable space? is there any fast way of proving it without checking separability or completeness with the usual way?
1
vote
3answers
98 views

Prove there is no strictly increasing function $f$ from irrationals to reals.

Prove there does not exist a strictly increasing function $f\colon \mathbb{R} - \mathbb{Q} \rightarrow \mathbb{R}$ such that $f(\mathbb{R} - \mathbb{Q}) = \mathbb{R}$. I imagine the best way to go ...
1
vote
0answers
37 views

Expectation of $p$-norm under a Gaussian on the Hilbert space $L^2(S^1)$

Let $\mu$ be a centered Gaussian measure with (nondegenerate) covariance $Q$ on the Hilbert space $L^2(S^1;\mathbb R)$ where $S^1$ is the circle. We can take for example the covariance ...
0
votes
0answers
26 views

Is this functional analysis proof correct?

Let $W$ be the linear subspace of $\ell^\infty$ consisting of sequences having only finitely many non-zero terms. If $x = (1, 1/2, 1/3,...)$ then $x\in \ell^\infty$. However, $x \in W^{-}$ and $W$ is ...