A few Calculus Problems to get more ideas from
by SomeonecoolLovesMaths, Nov 29, 2024, 6:24 AM
Q1
is a continuous function on
, differentiable on
, and
. For any
, show that
such that
S1
"for all
"




Apply Rolle's Theorem on
.
S1 by tobiSALT
S1 by Levieee
Q2
S2
Q3
S3
Q4
S4
Q5
S5
Q6
S6
Q7
S7
Q8
S8
Q9 (IMC 2016)
S9

![$[a,b]$](http://latex.artofproblemsolving.com/8/e/c/8ecbd1ba3da8f2adef66a63f2ab32c47e63fa734.png)





S1







Apply Rolle's Theorem on

S1 by tobiSALT
Let
. Since
is continuous on
and
is continuous for all
, their product
is continuous on
.
Since
is differentiable on
and
is differentiable for all
, their product
is differentiable on
.
Moreover,
and
.
Since
is continuous on
, differentiable on
, and
, we can apply Rolle's Theorem.
Therefore, there exists some
such that
.
Now we compute
. Using the product rule, we have
Since
, we have
Since
for any
, we must have
This is equivalent to
Thus, there exists
such that
.
Well, the expression
looks like it could come from the derivative of a product. To make this explicit, we search for an "integrating factor." We want a function whose derivative is a multiple of itself. This gives the idea of using an exponential function.
Let
. Then
and
since
.
We have
.
Since
, by Rolle's theorem, there exists
such that
.
Thus
. Since
, we must have
.


![$[a,b]$](http://latex.artofproblemsolving.com/8/e/c/8ecbd1ba3da8f2adef66a63f2ab32c47e63fa734.png)



![$[a,b]$](http://latex.artofproblemsolving.com/8/e/c/8ecbd1ba3da8f2adef66a63f2ab32c47e63fa734.png)
Since






Moreover,


Since

![$[a,b]$](http://latex.artofproblemsolving.com/8/e/c/8ecbd1ba3da8f2adef66a63f2ab32c47e63fa734.png)


Therefore, there exists some


Now we compute










Well, the expression

Let




We have

Since



Thus



S1 by Levieee
Assume the equation
holds for all
. The intuition is that we want to apply Rolle's theorem on a function
in such a way that it gives us the required equation. To do this, a better approach is to backtrack and find
based on the given equation.
Now assume the general form
. Great! We can integrate this equation to solve for
, but directly integrating will give a new function, i.e., the antiderivative of
. Instead, we reformulate it into something familiar.
We know that the derivative of
is
. Hence, rewriting:
Now integrate both sides (recalling that integration is the reverse of differentiation):
This gives:
where
is the constant of integration.
To solve for
, exponentiate both sides:
Thus:
Using the properties of exponents, this simplifies to:
Now, observe that
itself is not the function we need to apply Rolle's theorem because its derivative does not necessarily vanish. To find the desired function, note that multiplying
by
eliminates the exponential decay term:
This gives us a constant function, which satisfies the condition for Rolle's theorem. Therefore, the function:
is the one we are looking for.
https://www.youtube.com/watch?v=DJsjZ5aYK_g
watch this , this might be helpful

![\[
f'(c) + \alpha f(c) = 0
\]](http://latex.artofproblemsolving.com/9/f/e/9feda5081b926cfa78cc6be8a8f0866b29356e9a.png)
![\(c \in [a, b]\)](http://latex.artofproblemsolving.com/4/9/c/49c584c550559d5a59825d85ee465acf60939be5.png)


Now assume the general form



We know that the derivative of


![\[
\frac{f'(x)}{f(x)} = -\alpha.
\]](http://latex.artofproblemsolving.com/2/1/0/2103bd16d044a995326091e056824eaf5a92e170.png)
![\[
\int \frac{f'(x)}{f(x)} \, dx = \int -\alpha \, dx.
\]](http://latex.artofproblemsolving.com/1/0/8/108251d31444b0bade441ce65cf5033411e13a55.png)
![\[
\ln(f(x)) = -\alpha x + C,
\]](http://latex.artofproblemsolving.com/c/c/4/cc4dd130e2c8bd5d0332b8cd55b51ae2f6ddbd1a.png)

To solve for

![\[
e^{\ln(f(x))} = e^{-\alpha x + C}.
\]](http://latex.artofproblemsolving.com/4/1/5/415dd1165f2970af5a9075ac60e091b7ca5757f7.png)
![\[
f(x) = e^{-\alpha x + C}.
\]](http://latex.artofproblemsolving.com/b/f/0/bf0d5c484bb54738564058effe74dc4c97a2c712.png)
![\[
f(x) = e^C e^{-\alpha x}.
\]](http://latex.artofproblemsolving.com/1/7/a/17a20c6d1094c3f172516a4c3f4e4afe8c96a36c.png)



![\[
f(x) \cdot e^{\alpha x} = e^C.
\]](http://latex.artofproblemsolving.com/6/4/1/6414e98a68c6031120eed47cf1dbc4c33d3ce80b.png)
![\[
h(x) = f(x) \cdot e^{\alpha x} = e^C
\]](http://latex.artofproblemsolving.com/9/e/d/9ed225923219a4f72719092fe0e2eb3acf4d3cf0.png)
https://www.youtube.com/watch?v=DJsjZ5aYK_g
watch this , this might be helpful





Q2
Prove that the equation
has atleast one solution in
.


S2
Consider
. Observe
and
. Thus by IVT we are done.



Q3
If
is a continuous function, then show that there exists
such that
.
![$f: [0,1] \longrightarrow [0,1]$](http://latex.artofproblemsolving.com/a/1/e/a1e5ac39013a051b1da4d5497a336c4983e46462.png)
![$c \in [0,1]$](http://latex.artofproblemsolving.com/a/a/3/aa3b0859f5defde0301ab50e57298463df53c1b6.png)

S3
Let
.
.
. If any equality occurs then we are already done. If not then apply IVT on
to get the result.




Q4
Suppose that
are continuous and such that
and
. Show that there exists
such that
.





S4
Consider
.
and
is continuous. Hence by IVT we are done.



Q5
Let
be a continuous function with the property that for every
, there exists
such that
. Show that there exists
such that
.
![$f:[a,b] \longrightarrow \mathbb{R}$](http://latex.artofproblemsolving.com/3/7/0/3703476eeb37f3701dd1419c5b9051ee5587ff5d.png)
![$x \in [a,b]$](http://latex.artofproblemsolving.com/a/c/d/acdbeb41cc3a81e8123335b9f1bcae7997913eac.png)
![$y \in [a,b]$](http://latex.artofproblemsolving.com/7/b/a/7ba0f4213f0c7f59bedd30333e569f905ca08b07.png)

![$c \in [a,b]$](http://latex.artofproblemsolving.com/3/b/e/3beda52ea848ca8f5eb603ce4c67ac4fddeb3894.png)

S5
Let
have the same sign all over the range or we will be done by IVT. Say
(or else consider
). Thus
. Now as
goes from a closed interval to reals and is continuous so
must be bounded, thus having a global minima by EVT. Say
is the global minima, then there exists
such that
(equality iff
). Now such a
cannot exist since
is the global minima, hence
and
.














Q6
Suppose that
is a continuous function with
and
. Show that there exists
such that
.
![$f: [0,1] \longrightarrow [0,1]$](http://latex.artofproblemsolving.com/a/1/e/a1e5ac39013a051b1da4d5497a336c4983e46462.png)




S6
Let
. Note that this is possible as
. Now
and
. Thus by IVT we are done.




Q7
Let
be a continuous function. Let
be any
points in
. Show that there exists
such that
![$f:[a,b] \longrightarrow \mathbb{R}$](http://latex.artofproblemsolving.com/3/7/0/3703476eeb37f3701dd1419c5b9051ee5587ff5d.png)




S7
WOLOG assume
, then
. Thus by IVT we are done.


Q8
Suppose that
and
are continuous functions on
and that
and
exist. Show that 






S8
Consider
and
. Then
. Hence
.




Q9 (IMC 2016)
Let
be continuous on
and differentiable on
. Suppose that
has infinitely many zeros, but there is no
with
.
(a) Prove that
.
(b) Give an example of such a function on
.
![$f : \left[ a, b\right]\rightarrow\mathbb{R}$](http://latex.artofproblemsolving.com/3/1/e/31ee5c9f8af55e6cb44fdb4a921f5932842abb4d.png)
![$\left[ a, b\right]$](http://latex.artofproblemsolving.com/a/9/2/a92753105b191ff5caf0d5d1c9a46b2d286dd363.png)




(a) Prove that

(b) Give an example of such a function on
![$\left[ 0, 1\right]$](http://latex.artofproblemsolving.com/7/c/2/7c29a883867c5940052eb003799f140422cd843d.png)
S9
Let the sequence of the roots be
.
Lemma: Every sequence of real numbers has a monotone subsequence.
Proof: Let
. If
is infinite
, then the sequence
is a monotone subsequence.
If
is finite, then
such that
. Since
, then
a
such that
. As
,
such that
and so on.
Lemma: A monotone bounded sequence of real numbers converges.
Proof: WOLOG, assume that
and
is the supremum of
. Our claim is that
.
For any
, by the definition of
there exists
such that
. Set
. Then, by monotonicity
. But as
, this implies that
, so
.
Consider a monotonic subsequence of
say
. Thus it converges to some point
.
Say
.
As
is continuous of
thus
. Now using the definition of differentiability,
Notice the fact that for all sequences
in
converging to
we must have
. Setting
, we get
, impossible as per the given condition. Thus
and hence either
or
.
Consider the following function
It is ofcourse continuous at
.
Sandwich Theorem: Suppose
is between
and
for all
in a neighborhood of the point
. If
and
approach some common limit
as
approaches
, then
.
Proof: If
is between
and
for all
in the neighborhood of
, then either
or
for all
in this neighborhood. The two cases are the same up to renaming our functions, so assume without loss of generality that
.
We must show that for all
there is some
for which
implies
.
Now since
, there must exist
such that
![\[|x-S|<\delta_1 \Rightarrow |g(x)-L|<\varepsilon \textrm{ and } |x-S|<\delta_2 \Rightarrow |h(x)-L|<\varepsilon.\]](//latex.artofproblemsolving.com/9/c/0/9c0b9eee7b3368e1fef612e618fbe1fc05954332.png)
Now let
. If
then

So
. Now by the definition of a limit we get
as desired.
Observe
. Thus
. As
approaches
,
and
tend to
. Thus using the Sandwich Theorem,
will also approach
.
Observe LHD of
is
while RHD of
is
which means it is not differentiable at
.

Lemma: Every sequence of real numbers has a monotone subsequence.
Proof: Let




If













Lemma: A monotone bounded sequence of real numbers converges.
Proof: WOLOG, assume that




For any














Consider a monotonic subsequence of


![$c \in [a,b]$](http://latex.artofproblemsolving.com/3/b/e/3beda52ea848ca8f5eb603ce4c67ac4fddeb3894.png)
Say

As

![$[a,b]$](http://latex.artofproblemsolving.com/8/e/c/8ecbd1ba3da8f2adef66a63f2ab32c47e63fa734.png)



![$[a,b]$](http://latex.artofproblemsolving.com/8/e/c/8ecbd1ba3da8f2adef66a63f2ab32c47e63fa734.png)







Consider the following function

![$(0,1]$](http://latex.artofproblemsolving.com/1/0/1/101678300d1aa11009468da8419aaf2c57b795bd.png)
Sandwich Theorem: Suppose











Proof: If









We must show that for all




Now since


![\[|x-S|<\delta_1 \Rightarrow |g(x)-L|<\varepsilon \textrm{ and } |x-S|<\delta_2 \Rightarrow |h(x)-L|<\varepsilon.\]](http://latex.artofproblemsolving.com/9/c/0/9c0b9eee7b3368e1fef612e618fbe1fc05954332.png)
Now let



So


Observe









Observe LHD of





This post has been edited 2 times. Last edited by SomeonecoolLovesMaths, Dec 5, 2024, 10:38 AM