Let $T$ be a closed operator from $X\to X$ with domain is dense in $X$. I want to show that $$ T \int_a^b f(x)dx = \int_a^b Tf(x)dx $$ if $\|f\|_X (x) , \|Tf\|_X(x)$ is continuos functions for $x \in [a,b]$.
Closed operators integral property
-
1[Related result](http://math.stackexchange.com/a/1812820/70305) – 2017-01-15
1 Answers
I think this is not true. Consider $C[0,1]$ the space of all real-valued continuous functions defined on $[0,1]$ with supremum norm. Take domain of $T$, denote by $D(T)$, as the subspace of functions $f\in C[0,1]$ which have a continuous derivatives. Then $P[0,1]$ (space of polynomials) is contained in $D(T)$, and by Weierstrass Approximation Theorem, $D(T)$ is dense in $C[0,1]$. Define $T : D(T)\longrightarrow C[0,1]$ as
$$T(f) = f',$$
where $f'$ is the derivative of the function $f$. Observe that, for $f(x) = x^n$, we have
\begin{align*}
T\left(\int_{0}^{1} x^n dx\right) = T\left(\frac{1}{n+1}\right) = 0, \text{ and }\\
\left(\int_{0}^{1} T(x^n) dx\right) = \left(\int_{0}^{1} nx^{n-1}\right) = 1.
\end{align*}
To complete the proof, we show that $T$ is a closed operator. Let $
-
0Thanks but I think $T$ is not closed operator in this case. – 2017-01-14
-
0Please check .... – 2017-01-15
-
0$\int_0^1 x^ndx$ is a real number, what is $T\left(\int_0^1 x^ndx\right)$? You need to have a vector measure so that this expression makes sense. – 2017-01-21
-
0@treedetective thanks for pointing out.... – 2017-02-06