Intereting Posts

Total Time a ball bounces for from a height of 8 feet and rebounds to a height 5/8
Why is the trace of a matrix the sum along its diagonal?
What topological restrictions are there for a topological space to be a group?
Formula for solving for Cx and Cy…
Minimum number of edge-disjoint paths needed to cover a graph
Deny Lions Lemma
What are the “real math” connections between Euclidean Geometry and Complex Numbers?
Bessel function integral and Mellin transform
Boundary/interior of $0$-simplex
Do any books or articles develop basic Euclidean geometry from the perspective of “inner product affine spaces”?
How does linear algebra help with computer science
How to find the third coordinate of a right triangle given 2 coordinates and lengths of each side
find maximum area
Calculate the following infinite sum in a closed form $\sum_{n=1}^\infty(n\ \text{arccot}\ n-1)$?
Prove that $\int_0^1|f''(x)|dx\ge4.$

Here is Prob. 2, Chap. 6, in the book *Principles of Mathematical Analysis* by Walter Rudin, 3rd edition:

Suppose $f \geq 0$, $f$ is continuous on $[a, b]$, and $\int_a^b f(x) \ \mathrm{d} x = 0$. Prove that $f(x) = 0$ for all $x \in [a, b]$.

My Attempt:

- sum of series using mean value theorem
- How many roots have a complex number with irrational exponent?
- Computing $\zeta(6)=\sum\limits_{k=1}^\infty \frac1{k^6}$ with Fourier series.
- Stuck on proving uniform convergence
- How to prove convexity?
- Looking for help with a proof that n-th derivative of $e^\frac{-1}{x^2} = 0$ for $x=0$.

Let $c$ and $d$ be any points in $[a, b]$ such that $c \leq d$. As $f(x) \geq 0$ for all $x \in [a, b]$ and as $f$ is continuous on $[a, b]$, so $f(x) \geq 0$ for all $x \in [c, d]$ and $f$ is continuous on $[c, d]$; therefore $f \in \mathscr{R}$ on $[c, d]$ and

$$ \int_c^d f(x) \ \mathrm{d} x \geq \int_c^d \hat{0}(x) \ \mathrm{d} x = 0$$

by Theorem 6.12 (b) in Baby Rudin, where $\hat{0}$ denotes thezero functionon $[c, d]$. That is,

$$ \int_c^d f(x) \ \mathrm{d} x \geq 0 \tag{0}$$

for any points $c$ and $d$ such that $a \leq c \leq d \leq b$.Suppose that there is a point $p \in [a, b]$ such that $f(p) > 0$. Then, as $f$ is continuous at $p$, so, for any real number $\varepsilon$ such that

$$ 0 < \varepsilon < \frac{ f(p) }{2}, $$

we can find a real number $\delta > 0$ such that

$$ \lvert f(x) – f(p) \rvert < \varepsilon < \frac{ f(p) }{2} $$

for all $x \in [a, b]$ for which

$ \lvert x-p \rvert < \delta$.Therefore, we can conclude that

$$ \frac{ f(p) }{2} < f(x) < \frac{3 f(p) }{2} \tag{1} $$

for all $x \in I$, where

$$I \colon= [a, b] \cap \left[ p- \frac{\delta}{2}, p+ \frac{\delta}{2} \right]. $$

Let’s put $I \colon= [u, v]$. Then we see that

$$

\begin{align}

\int_a^b f(x) \ \mathrm{d} x &= \int_a^u f(x) \ \mathrm{d} x + \int_u^v f(x) \ \mathrm{d} x + \int_v^b f(x) \ \mathrm{d} x \\

& \qquad \qquad \mbox{ [ by an extension of Theorem 6.12 (c) in Baby Rudin ] } \\

&\geq \int_u^v f(x) \ \mathrm{d} x \qquad \mbox{ [ by (0) above ] } \\

&\geq \int_u^v \frac{f(p)}{2} \ \mathrm{d} x \qquad \mbox{ [ using (1) and Theorem 6.12 (b) in Baby Rudin ] } \\

&= \frac{f(p)}{2} (v-u) \\

&> 0, \qquad \mbox{ [ by (2) and our choice of $u$ and $v$ above ] }

\end{align}

$$

which contradicts our hypothesis that $\int_a^b f(x) \ \mathrm{d} x = 0$.

Is this proof sound enough in terms of its logic and rigor? If so, then is it also lucid enough in its presentation?

- Asymptotics of sum of binomials
- Evaluating $\lim_{n\rightarrow\infty}x_{n+1}-x_n$
- Compute this integral
- Negation of uniform convergence
- Evaluating $ \int_{-\pi /2014}^{\pi /2014}\frac{1}{2014^{x}+1}\left( \frac{\sin ^{2014}x}{\sin ^{2014}x+\cos ^{2014}x}\right) dx $
- Essential Supremum vs. Uniform norm
- Series and integrals for inequalities and approximations to $\pi$
- Is the unit sphere in $\Bbb R^4$ is path connected?
- Sum of the alternating harmonic series $\sum_{k=1}^{\infty}\frac{(-1)^{k+1}}{k} = \frac{1}{1} - \frac{1}{2} + \cdots $
- A fractional part integral giving $\frac{F_{n-1}}{F_n}-\frac{(-1)^n}{F_n^2}\ln\left(\!\frac{F_{n+2}-F_n\gamma}{F_{n+1}-F_n\gamma}\right)$

Your proof is fine. A little wordy and perhaps using more notation than you need, but it’s correct.

I would have phrased it thusly:

*Proof.* Suppose $c\in [a,b]$ is such that $f(c)>0$. By continuity of $f$, there is a closed interval $[r,s]$ of $c$ where $f>f(c)/2>0$. By monotonicity of the integral,

$$

\int_a^bf \ge \int_r^sf\ge \int_r^sf(c)/2>0,

$$

which is a contradiction by what we assumed about $\int_a^b f$. $\qquad\square$

- Given $\lim_{x \rightarrow a}\left(f(x)+\dfrac{1}{\left|f(x)\right|}\right)=0$, what is $\lim_{x \rightarrow a}f(x)$?
- Sum of positive definite matrices still positive definite?
- Kernel of ring homomorphism $k \rightarrow k$
- Prove by Combinatorial Argument that $\binom{n}{k}= \frac{n}{k} \binom{n-1}{k-1}$
- Is $\sqrt{\left(\operatorname{Si}(x)-\frac\pi2\right)^2+\operatorname{Ci}(x)^2}$ monotonic?
- First book on algebraic graph theory?
- Is there a simple proof for ${\small 2}\frac{n}{3}$ is not an integer when $\frac{n}{3}$ is not an integer?
- Studying the hyperboloid model, what is represented by the conic sections?
- An example of topological space in which each singleton is not in $G_\delta$
- Weighted Poincare Inequality
- Calculating $\int_{-\infty}^{\infty}\frac{\sin(ax)}{x}\, dx$ using complex analysis
- Compute $1^2 + 3^2+ 5^2 + \cdots + (2n-1)^2$ by mathematical induction
- Probability of two integers' square sum divisible by $10$
- Compact operators, injectivity and closed range
- How can I Prove $\frac{2xy}{x+y}\leq \sqrt{xy}\leq \frac{x+y}{2}$