Intereting Posts

$g(x) = 1/(1+x^2)$ is continuous everywhere epsilon delta approach
The last digit of $2^{2006}$
Deriving master equation for discrete process
Question on computing direct limits
Let $f:\mathbb{R} \to \mathbb{R}$ be a function, so that $f(x)=\lfloor{2\lceil{\frac x2}\rceil}+\frac 12 \rfloor$ for every $x \in \mathbb{R}$.
Do these arithmetic rules work? They extend the number system by a zero not based on the empty set that is a divisor with unique quotients.
Find the volume of the set $S=\{x=(x_1,x_2,\cdots,x_n)\in \Bbb{R}^n:0\le x_1\le x_2\le \cdots \le x_n \le 1\}$
$A = B^2$ for which matrix $A$?
Strictly associative coproducts
Does UFD imply noetherian?
Connectedness of the boundary
How to determine the difference Onto vs One-to-one?
Is it ever really Pi Time?
Proving that there are infinitely many primes with remainder of 2 when divided by 3
Least upper bound property implies Cauchy completeness

I have to prove that the Heaviside function

$$ H(x):=\begin{cases} 1 &\mbox{if } x \in [0,+\infty) \\

0 &\mbox{otherwise}\end{cases} $$

doesn’t admit weak derivative in $L^1_{loc}(\mathbb{R})$.

Is it correct the following solution?

Let’s suppose by contradiction that $\exists w\in L^1_{loc}(\mathbb{R})$ such that $$\int_{\mathbb{R}}H(x)v'(x)dx=\int_{\mathbb{R}}w(x)v(x)dx\qquad\forall v\in C^{\infty}_c(\mathbb{R}) $$

By the Fundamental Theorem of Calculus we have that $$\int_0^{+\infty}w(x)v(x)dx=v(0)\qquad\forall v\in C^{\infty}_c(\mathbb{R}) $$

By the Lebesgue Dominated Convergence Theorem we have that

$$\lim_{r\to 0}\int_{-r}^{r}|w(x)|dx=0 $$

Then there exists $\delta>0$ such that $\int_{-\delta}^{\delta}|w(x)|dx\le 1/2$.

- If $\sum a_n b_n <\infty$ for all $(b_n)\in \ell^2$ then $(a_n) \in \ell^2$
- Weak closure of $\{\sqrt n e_n|n\in \mathbb N\}$ and metrizability of weak topology
- Spectrum of a Self-Adjoint Operator is Real
- Lemma 2.4-1 in Erwin Kreyszig's “Introductory Functional Analysis with Applications”: Is there an easier proof?
- limits problem-ordinary sencond order equation
- Proof of Riesz Lemma

Let $v\in C^{\infty}_c(\mathbb{R})$ such that $\operatorname{supp}(v)\subset [-\delta,\delta]$ and $\max (v)=v(0)=1$.

Then

$$1=v(0)=\int_0^{+\infty}w(x)v(x)dx=\int_{-\delta}^{\delta}w(x)v(x)dx \le \max(v)\int_{-\delta}^{\delta}|w(x)|dx\le 1/2$$

Contradiction!!!

- Dual space of $H^1$
- Topological vector spaces vs. locally convex spaces
- Continuous functions with values in separable Banach space dense in $L^{2}$?
- inequality between norms of vector
- On Fredholm operator
- Proving $\,f$ is constant.
- construction of a linear functional in $\mathcal{C}()$
- Determine whether this map is an isomorphism
- Not every metric is induced from a norm
- Polar decomposition normal operator

The proof is essentially correct, except for a missing minus sign. If you want $w$ to be the putative weak derivative, then

$$\int_{\mathbb{R}}H(x)v'(x)dx= -\int_{\mathbb{R}}w(x)v(x)dx\qquad\forall v\in C^{\infty}_c(\mathbb{R})$$

*Then* the formula $\int_0^{+\infty}w(x)v(x)dx=v(0) $ becomes correct:

$$\int_0^{+\infty}w(x)v(x)dx=-\int_{\mathbb{R}}H(x)v'(x)dx = v(0)$$

This addresses your concern about justifying DCT:

$$ \int_{-r}^{r}|w(x)|\,dx=\int_{\mathbb R} |w(x)| \chi_{[-r,r]}(x)\,dx$$

For $r<1$, the integrand is dominated by $|w| \chi_{[-1,1]}$, which is in $L^1(\mathbb R)$.

- Prove that if $\mathcal P(A) \cup \mathcal P(B)= \mathcal P(A\cup B)$ then either $A \subseteq B$ or $B \subseteq A$.
- What is the definition of a local property for a function?
- Eigenvector of matrix of equal numbers
- Exponential Diophantine equation $7^y + 2 = 3^x$
- Probability using bayes' theorem and without using bayes' theorem – part 2
- Sum of consecutive square roots inside a square root
- Is $\mathbb{Q}^2$ homeomorphic to $\mathbb{Q}^2\setminus \{0\}$?
- Prove that the augmentation ideal in the group ring $\mathbb{Z}/p\mathbb{Z}G$ is a nilpotent ideal ($p$ is a prime, $G$ is a $p$-group)
- Finding the number of solutions to an equation?
- Rationalize $\left(\sqrt{3x+5}-\sqrt{5x+11} -\sqrt{x+9}\right)^{-1}$
- Evaluating $ \int_{|z|=1} \frac{e^z}{(z+3)\sin(2z)} \ dz$
- Quotient of polynomials, PID but not Euclidean domain?
- american put option
- Riemann zeta function Euler product for primes equivalent to $3$ mod $4$
- A binomial inequality with factorial fractions: $\left(1+\frac{1}{n}\right)^n<\frac{1}{0!}+\frac{1}{1!}+\frac{1}{2!}+…+\frac{1}{n!}$