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
10 views

Finding zeros of a function involving Gamma function.

I am looking for the zeros of following function ($a$ and $b$ are real): $$ F(a,b) = 4^{a+ib} \Gamma(a+ib) \Gamma(-a) \Gamma(-ib) + \Gamma(-a-ib) \Gamma(ib)\Gamma(a) $$ and I have no idea on ...
0
votes
0answers
8 views

Application of Polish Space and Lebesgue measurable.

I understand Polish space is useful for non-Lebesgue measurable set but is it also applicable for Lebesgue measurable set?
1
vote
1answer
20 views

Every nontrivial linear functional is open

Let $X$ be a normed linear space and let $f:X\to \mathbb K$ be a nontrivial linear functional. I want to prove that $f$ is open. I tried as follows: Let $E$ be an open set in $X$ and let $y\in f(E)$. ...
0
votes
0answers
24 views

Derivation of perturbation series

I'm a little bit confused about the derivation of the perturbation series. I know from my quantum mechanics course that for a perturbed operator, eigenvalue is a series that is depend on the ...
3
votes
1answer
25 views

Reducing a double ultrapower to a single ultrapower

I hate having to ask this question, as I know for a fact I have seen the answer before but cannot seem to find it. So I'm breaking down and asking for a reference. Given a structure, let's say a ...
0
votes
0answers
12 views

Relation between Ill-posed problem and eigenvectors?

This question is related to the question below: Is there a relation between Ill-posed problems and Eigenvectors. In the answer of the above question, it was shown that the ill-posed problem can be ...
0
votes
0answers
16 views

solution uniqueness of non-linear Fredholm equations

the equation is $F(x)=G(\int k(x,y)f(y)dy)$ $(*)$ where $f(x)=dF(x)/dx$ is the unknown and it's required to be non-negative. With integral by parts we'll have the form of a non-linear Fredholm ...
4
votes
1answer
23 views

Unit ball separable $\Longrightarrow$ Space separable

Given a normed space $X$ and assume it is also a locally convex space in some other topology (e.g. weak or weak* if it's a dual). Assume that the unit ball $B_X$ is separable in this topology. Is it ...
0
votes
1answer
11 views

Is there any relation ill-posed problem and not Normal matrix?

I am trying to understand different aspect associated with ill-posed problem. Can we claim that an ill-posed problem $Ax=b$ means that the matrix $A$ is not normal? Further, can we claim that if $A$ ...
0
votes
0answers
20 views

Seminar concearning Spectral Theory of Differential Operators?

I must prepare a seminar about spectral theory of linear partial differential operators. However, I'm at a loss as to a nice reference. I'm looking for something that fits in a graduate spectral ...
1
vote
1answer
18 views

Is it necessary to use the Hahn-Banach theorem to show that $(X/M)^*\simeq M^\perp$?

Let $X$ be a Banach space with dual space $X^*$, and let $M$ be a closed subspace of $X$. Then $M^\perp=\{x^*\in X^*: x*(m)=0 \text{ for all } m\in M\}$ is a closed subspace in $X^*$. I read the ...
1
vote
1answer
27 views

The multiplication of a smooth function and a distribution

Let $f$ be a smooth function on $\mathbb{R}$ and let $g$ be a distribution. Then $f\cdot g$ is a well defined distribution. Suppose $$ f\cdot g=\delta_0, $$ where $\delta_0$ is a dirac function. ...
0
votes
1answer
16 views

Injective linear endomorphism of hilbert space is bijective?

Is it true that an injective continuous endomorphism of a hilbert space is bijective? If not, are there conditions that imply this? I know this would follow from the rank nullity theorem in finite ...
0
votes
0answers
26 views

limit problem-equation

H, I have this problem $$c^2 U''(x)=F(x),\quad U(0)=A,\quad U(\ell)=B$$ $F$ is done, and $0 < x < \ell$ I read that we must found that $$U(x) = A + (B-A)\frac{x}{\ell} + \dfrac{x}{\ell} ...
1
vote
1answer
27 views

A Banach space in between $L^{1}$ and $L^{2}$, does it make sense?

Let $L^{p} (A, B)$ be a collection of functions $f:A \mapsto B$ satisfying $$(\|f\|_{p})^{p} := \int_{A} |f(x)|^{p} dx <\infty.$$ Now we consider functions $f:[0,1]^{2} \mapsto [0,1]$. We say ...
1
vote
0answers
28 views

$L^2$-Sobolev space

I am looking at the proof of the following lemma and I don't understand the conclusion. Lemma: For $k\geq 0$ integer, let $f=\sum_{n\in \mathbb{Z^d}}{c_n\chi_n}\in L^2(\mathbb{T}^d)$. Then $$f\in ...
4
votes
2answers
55 views

Non-compactness of the resolvent

Consider a complete non-compact Riemannian manifold $M$ and the resolvent of the Laplacian $(-\Delta + \lambda I)^{-1}$. It is known that the resolvent is in general not a compact operator. I am ...
2
votes
1answer
35 views

Borel regular measure: Approximate any measureable set by compact sets

Let $(K,\mathcal{F},\mu)$ be a measure space. Let $K$ be a compact Hausdorff space and $\mu$ be a regular finite measure. We said that it is regular if $\mu(A) = \inf\{\mu(B): B \text{ open }, ...
2
votes
2answers
19 views

Convex cone of nonnegative functions in L2 has empty interior

Convex cone $S:=\{f\in L^2(\mathbb{R},\mu):f\geq 0\}$ has empty interior in $L^2(\mathbb{R},\mu)$ when $\mu$ is Lebesgue measure. I wanted to prove it but i have major holes in my knowledge of ...
4
votes
1answer
31 views

When can we exchange the trace and an integral/limit/derivative?

For a trace class operator $A$ (acting on a Hilbert space), that is parameterised by a real variable $x$, what are the conditions for the following to hold? $$ \mathrm{tr} \int_a^b A(x) \, dx = ...
0
votes
4answers
82 views

Is an non-invertable matrix an linear operator?

I am under the impression that any matrix can be called a linear operator, even if the matrix does not have an inverse. Is it true? There are many properties a linear operator enjoys; do all matrices ...
0
votes
0answers
15 views

Two-dimensional subespace suplementary of another one

Let E be a real normed space. All subespace S of codimension 1 (hyperplane) in E is either, closed or dense. What do say about a similar property when S is of codimension 2?
-1
votes
1answer
14 views

symetric closed operator and extension [on hold]

i have this question let A a symetric closed operator let pose that A have a self adjoint extension is possible that A has an extension such that closure A can't have a self adjoint extension
1
vote
1answer
19 views

Completely positive maps

Let $B$ be a commutative C$^*$-algebra and let $M_n$ denote the algebra of $n\times n$ complex matrices. Let $f$ be a state on the tensor product of $B$ and $M_n$, $B\otimes M_n$. How can I show that ...
3
votes
2answers
44 views

An infinite dimensional normed linear space is the union of two disjoint convex sets

Let $X$ be an infinite dimensional normed linear space. I want to show that there exist two disjoint convex sets $C_1$ and $C_2$ such that $X=C_1\cup C_2$ and both $C_1$ and $C_2$ are dense in $X$. I ...
1
vote
1answer
49 views

Lemma 3.5-3 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS: Is the set of non-zere Fourier co-efficients uncountable too?

Let $X$ be an inner product space, let $x \in X$ be non-zero, and let $M$ be an uncountable orthonormal subset of $X$. Then what can we say about the cardinality of the following set? $$ \{ \ v \in M ...
0
votes
0answers
30 views

a question on Frechet derivative

Suppose the derivative of a functional is given by $\int_{\Omega}(\vec{v}.\nabla u)|\nabla u|^{p-2} \phi$ for $\phi\in W_0^{1,p}(\Omega)$, then what is the functional?.
0
votes
1answer
33 views

If $u \in H^1(0,\infty)$, does $u_x(\infty) = 0$?

Let $u \in H^1(0,\infty)$. Then is it true that $u'(x) \to 0$ as $x \to \infty$? I am wondering by Green's formula/IBP in this setting; do I get something like $$\int_0^\infty u_{xx}v = ...
0
votes
0answers
13 views

Sobolev space for Mixed Dirichlet - Neumann boundary condition

Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...
0
votes
1answer
27 views

Is $B_{\ell_1}$ weak-metrizable?

I know that for a Banach space $X$, the unit ball $B_{X}$ is weak metrizable if and only if $X^*$ is separable. My question is that Is $B_{\ell_1}$ weak-metrizable?
4
votes
1answer
43 views

Isolated Eigenvalue

What does it mean that an eigenvalue is "isolated"? My intuitive understanding says it is when one can find an open ball around it such that there is no other eigenvalue in that open ball. However, I ...
4
votes
1answer
36 views

Intuition of weak star convergence.

Given $\Omega=(0,1)$, consider the following sequence $$ v_j(x)\colon=\begin{cases} \;a &\text{if }jx-\lfloor jx \rfloor\le\theta\\ \;b &\text{otherwise} \end{cases} $$ where ...
2
votes
1answer
56 views

Functional Maximization

So how do we solve a problem like this: Find the function $s(x)$ such that $s(x)$ maximizes $$\int_0^{s^{-1}(k)} s(x) dx $$ where $x\in[0,10]$, $s(x)\in[0,1]$, and $k\in[0,1]$ ($k$ is a constant). ...
1
vote
1answer
31 views

Eigenfunctions of $-\Delta_{S^n}$

I read somewhere that the eigenvalues of the Laplacian $-\Delta_{S^n}$ on the sphere $S^n$ consist of $k^2 + (n - 1)k$, with the corresponding eigenspace $V_k$ consisting of homogeneous harmonic ...
2
votes
1answer
22 views

Existence of Certain Locally Integrable Function Defining a Tempered Distribution

We say that a distribution $T$ is tempered if for every sequence $\left\{\phi_{n}\right\}$ in $C_{c}^{\infty}(\mathbb{R}^{n})$ tending to $0$ in the topology of the Schwartz space ...
1
vote
2answers
28 views

Show that properties of norm are satisfied

Show that \begin{align} & \|y\|_M= \max_{a \leq x \leq b} |y(x)| \tag 1 \\[8pt] & \|y\|_1=\int_a^b |y(x)|\, dx \tag 2 \end{align} satify the properties of a norm in $C[a,b]$. That's what I ...
0
votes
0answers
21 views

How do I compute this metric projection?

I saw a result that says: Given a nonzero vector $a$ and the convex set $K:=\{y\in H: \langle a,y\rangle =\alpha, \alpha \in \mathbb{R}\}$ a hyperplane, then $$P_Kx=x-\frac{\langle ...
0
votes
1answer
38 views

Is there a relation between Ill-posed problems and Eigenvectors.

One can easily explain an ill-posed problem with an equation AX=b. The following link is an good example: http://www.encyclopediaofmath.org/index.php/Ill-posed_problems 1) Can there be a class of ...
0
votes
2answers
60 views

Is $[-1,1]$ complete under the Euclidean metric? [on hold]

Is it true that the interval $[-1,1]$ is complete under the Euclidean metric?
2
votes
1answer
29 views

Normed space where unit ball's weak and norm topology coincide?

Let $X$ be a normed space. Are there any infinite-dimensional examples such that the $(B_X, w\restriction_B) = (B_X, \|\cdot \|\restriction_B)$. In finite dimensions this obviously holds always true. ...
-2
votes
0answers
9 views

under what conditions, a function on $CB(X)$, space of closed and bounded sets, [on hold]

under what conditions, a function on $CB(X)$, space of closed and bounded sets, will be continuous. where function $F$ defined on $CB(X)$ as F(A)={\bigcup F(x):x∈A}
0
votes
0answers
7 views

Deriving information about asymptotics from finitness of a limit

Let $f_1,f_2:\mathbb{R}\setminus\{0\}\to \mathbb{R^+}$ be two $C^1$ functions and $\alpha:\mathbb{R}\setminus \{0\}\to \mathbb{R}$ be a function from a Zygmund class (in particular it is Holder for ...
0
votes
1answer
33 views

Exponential decay estimate involving $C_{0}$-semigroup and the principle eigenvalue

Consider the heat equation defined as $$\begin{cases} \partial_{t}u(x,t)=\Delta_{x}u(x,t) &\mbox{ } t>0\mbox{, } u\in U \\ u(x,t)=0 &\mbox{ } t\ge 0\mbox{, } x\in\partial U \\ u(x,0)=g(x) ...
3
votes
3answers
40 views

Show $\langle u,v \rangle = -\frac{1}{2}$ when $u+v+w=0$ and $\|u\|=\|v\|=\|w\|=1$?

Show $\langle u,v \rangle = -\frac{1}{2}$ when $u+v+w=0$ and $\|u\|=\|v\|=\|w\|=1$? My thinking is: $\langle u+v+w,v \rangle =0 \iff \langle u,v \rangle + \langle w,v \rangle = -1$ How do i ...
2
votes
0answers
25 views

Multiplication operators are sectorial

Consider the multiplication operator $M_a$ on $L^p(M)$, where $M$ is a Riemannian manifold, and $a$ is a non-negative function. An operator $A$ is said to be sectorial if there exists $\theta \in (0, ...
0
votes
0answers
16 views

function defined as integral of borel function

I know that $f \in B_b(E)$, where $B_b(E)$ is the set of Borel bounded function on an euclidean space E. I have to show that: \begin{equation} x \to \int_{0}^{+\infty} e^{-at} P_tf(x) dt ...
0
votes
0answers
21 views

For $z=(c_n)\in l^3$ and $N(z)=\left(\sum_{n=1}^{\infty} \left|\frac{c_n}{n}\right|^3\right)^{\frac{1}{3}}$. Show $N(z_1+z_2)\leq N(z_1)+N(z_2)$?

For $z=(c_n)\in l^3$ and $N(z)=\left(\sum_{n=1}^{\infty} \left|\frac{c_n}{n}\right|^3\right)^{\frac{1}{3}}$. Show $N(z_1+z_2)\leq N(z_1)+N(z_2)$? Obviously $$N(z_1+z_2)=\left(\sum_{n=1}^{\infty} ...
0
votes
0answers
22 views

Let $H$ be a Hilbert Space with$\langle \cdot,\cdot \rangle$ and $E_1=\{w\in H : Pw=w\}$, show $E_1$ is closed.

Let $H$ be a Hilbert Space with $\langle \cdot,\cdot \rangle$ and $E_1=\{w\in H : Pw=w\}$ with $P:H\rightarrow H$ is linear, $P^2=P$ and $\langle Px,y \rangle=\langle x,Py \rangle \forall x,y\in H$. ...
-6
votes
0answers
23 views

Is there any apps for downloading study materials of our mathematics papers for exam preparation [on hold]

I need apps details for downloading study materials for exam preparation
0
votes
1answer
12 views

Why does a Hermitian operator with singleton spectrum have to be scalar?

One proof of Schur's lemma proceeds by showing that a Hermitian intertwining operator of an irreducible representation (of a topological group on a Hilbert space) has a spectrum that contains only one ...