<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
   "http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head> 
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<title>Assignment 5: 620-295 Real Analysis with Applications</title>
<style type="text/css">
body {
    counter-reset: section 0;  
    text-align: justify
}

h2.title {
    text-align:center
}
p.author {
    text-align:center
}
li {
    text-indent: 0em;
}
p.indent {
    text-indent: 2em; 
}

h2.section {
    counter-reset: eqn 0 result 0 subsection 0;  
}
h2.section:before {
    content: counter(section) ". ";
    counter-increment: section 1;  /* Add 1 to section */
}
h3.subsection:before {
    content: counter(section) "." counter(subsection);
    counter-increment: subsection;  /* Add 1 to subsection */
}

div.theorem:before { 
    content: "Theorem " counter(section) "." counter(result) " "; 
    counter-increment: result 1;
    font-style: normal; 
    font-weight: bold; 
}
div.theorem{ font-style:italic }
div.proposition:before { 
    content: "Proposition " counter(section) "." counter(result) " "; 
	counter-increment: result 1;
    font-style: normal; 
    font-weight: bold; 
}
div.proposition{ font-style:italic }
div.lemma:before { 
    content: "Lemma " counter(section) "." counter(result) " "; 
    counter-increment: result;
    font-style: normal; 
    font-weight: bold; 
}
div.lemma{ font-style:italic }

table.dispeq {
   width:100%;
   }
td.eq {
   text-align:center;
     }
td.eqno {
    width: 10px;
    text-align:right;
    }
td.eqno:after { 
     content: "("counter(section)"."counter(eqn)")";
     counter-increment: eqn;
     font-style: normal; 
  }
</style>
</head>

<body>
<h2 class="title">
620-295 Real Analysis with Applications<br /><br />
Assignment 5:
Due 5pm on 16 October</h2>

<p class="author">
Lecturer: Arun Ram <br />
Department of Mathematics and Statistics <br />
University of Melbourne <br />
Parkville VIC 3010 Australia <br />
aram@unimelb.edu.au <br />
<br />
</p>


<p> Due 5pm on 16 October in the appropriate assignment box on the ground floor of Richard Berry. </p>



<ol>


<li>
<dl>
<dt> (a) &nbsp;
What is the <em>Fundamental Theorem of Calculus</em>?
<br /><br />
</dt>
<dt> (b) &nbsp;
Let
<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow>
	<mi>f</mi>
	<mfenced open="(" close=")" separators=",">
	<mi>x</mi>
	</mfenced>
</mrow></math>
be a function which is continuous and let
<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow>
	<mi>A</mi>
	<mfenced open="(" close=")" separators=",">
	<mi>x</mi>
</mfenced>
</mrow></math>
be the area under
<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow>
	<mi>f</mi>
	<mfenced open="(" close=")" separators=",">
	<mi>x</mi>
 </mfenced>
</mrow></math>
from
<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow>
	<mi>a</mi>
</mrow></math>
to
<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow>
	<mi>x</mi>
</mrow></math>.
Compute the derivative of
<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow>
<mi>A</mi>
	<mfenced open="(" close=")" separators=",">
	<mi>x</mi>
	</mfenced>
</mrow></math>
by using limits.
<br /><br />
</dt>
<dt>  (c) &nbsp; 
Why is the Fundamental Theorem of Calculus true?  Explain carefully and thoroughly.
<br /><br />
</dt>
<dt> (d) &nbsp;
Give an example which illustrates the Fundamental Theorem of Calculus.  In order to do this, compute an area by summing up the areas of tiny boxes and then show that applying the Fundamental Theorem of Calculus gives the same result.
<br /><br />
</dt>
</dl>
</li>
<li>  Using appropriate tests decided whether the following series converge absolutely,
converge conditionally or diverge, giving a brief explanation: <br /><br />
<dl>
<dt> (i) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true">
<munderover><mo>&sum;</mo><mrow><mi>n</mi><mo>=</mo><mn>1</mn></mrow>
<mo>&infin;</mo></munderover>
<mfrac><mrow><msup><mn>3</mn><mi>n</mi></msup></mrow>
<mrow><mi>n</mi><mtext>!</mtext><msup><mn>2</mn><mi>n</mi></msup></mrow>
</mfrac>
</mstyle>
</math>
</dt>
<dt> (ii) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true">
<munderover><mo>&sum;</mo><mrow><mi>n</mi><mo>=</mo><mn>1</mn></mrow>
<mo>&infin;</mo></munderover>
<msup><mrow><mo>(</mo><mn>-1</mn><mo>)</mo></mrow><mi>n</mi></msup>
<mfrac><mrow><mi>log</mi><mi>n</mi></mrow>
<mrow><msqrt><mi>n</mi></msqrt></mrow>
</mfrac>
</mstyle>
</math>
</dt>
<dt> (iii) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true">
<munderover><mo>&sum;</mo><mrow><mi>n</mi><mo>=</mo><mn>1</mn></mrow>
<mo>&infin;</mo></munderover>
<mfrac><mrow><mi>n</mi><mo>+</mo><mn>4</mn></mrow>
<mrow><mn>2</mn><mo>-</mo><mn>3</mn><mi>n</mi><msqrt><mi>n</mi></msqrt></mrow>
</mfrac>
</mstyle>
</math>
</dt>
</dl>
</li>
<li>  Find the radius of convergence and the interval of convergence of the following power series:
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true">
<munderover><mo>&sum;</mo><mrow><mi>n</mi><mo>=</mo><mn>1</mn></mrow>
<mo>&infin;</mo></munderover>
<mfrac><mrow><msup><mrow><mo>(</mo><mn>-2</mn><mo>)</mo></mrow><mi>n</mi></msup>
<msup><mrow><mo>(</mo><mi>x</mi><mo>-</mo><mn>2</mn><mo>)</mo></mrow><mi>n</mi></msup>
</mrow>
<mrow><mi>n</mi><msup><mn>3</mn><mi>n</mi></msup></mrow>
</mfrac>
</mstyle>
</math>.
<br /><br />
</li>
<li>  You are given that
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true">
<mfrac><mn>1</mn>
<mrow><msqrt><mrow><mn>1</mn><mo>+</mo><mi>x</mi></mrow></msqrt></mrow>
</mfrac>
<mo>=</mo>
<mn>1</mn><mo>+</mo>
<munderover><mo>&sum;</mo><mrow><mi>n</mi><mo>=</mo><mn>1</mn></mrow>
<mo>&infin;</mo></munderover>
<msup><mrow><mo>(</mo><mn>-1</mn><mo>)</mo></mrow><mi>n</mi></msup>
<mfrac><mrow>
<mfrac><mn>1</mn><mn>2</mn></mfrac>
<mfrac><mn>3</mn><mn>2</mn></mfrac>
<mfrac><mn>5</mn><mn>2</mn></mfrac>
<mi>&ctdot;</mi>
<mrow><mo>(</mo>
<mfrac><mn>1</mn><mn>2</mn></mfrac>
<mo>+</mo><mi>n</mi><mo>-</mo><mn>1</mn><mo>)</mo></mrow>
</mrow>
<mrow><mi>n</mi><mtext>!</mtext></mrow>
</mfrac>
<msup><mi>x</mi><mi>n</mi></msup>
</mstyle>
</math>.
<dl>
<dt> (i) &nbsp;
Find a Maclaurin expansion for 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true">
<mfrac><mn>1</mn>
<mrow><msqrt><mn>1</mn><mo>+</mo><msup><mi>x</mi><mn>2</mn></msup></msqrt></mrow>
</mfrac>
</mstyle>
</math>.
</dt>
<dt> (ii) &nbsp;
Using your answer to (i) find a Maclaurin expansion for 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>arcsinh</mi><mi>x</mi>
</math>.  For what values of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>x</mi>
</math> does your series converge?
<br /><br />
</dt>
<dt> (iii)  Find a degree 3 Taylor polynomial for 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>cos</mi><mi>x</mi>
</math> around the point 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>x</mi><mo>=</mo><mfrac><mn>1</mn><mn>2</mn></mfrac>
</math> and give Lagrange's form of the remainder.
</dt>
</dl>
<br />
</li>
<li>  Decide whether the given sequence converges, and if so, find its limit using standard limits, limit 
theorems, or by referring to a continuous function.
<dl>
<dt> (i) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>a</mi><mi>n</mi></msub><mo>=</mo>
<mi>exp</mi>
<mrow><mo>(</mo> 
<mstyle displaystyle="true">
<mfrac><mrow><msup><mn>3</mn><mi>n</mi></msup>
<mo>-</mo><msup><mi>n</mi><mn>2</mn></msup></mrow>
<mrow><msup><mn>5</mn><mi>n</mi></msup><mo>+</mo><mn>7</mn><mi>n</mi></mrow>
</mfrac>
</mstyle>
<mo>)</mo></mrow>
</math>
</dt>
<dt> (ii) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>b</mi><mi>n</mi></msub><mo>=</mo>
<mstyle displaystyle="true">
<mfrac><mrow><mn>4</mn><mo>-</mo><msup><mi>n</mi><mn>4</mn></msup></mrow>
<mrow><msup><mi>n</mi><mn>3</mn></msup><mo>-</mo><mn>7</mn>
<msup><mi>n</mi><mfrac><mn>1</mn><mi>n</mi></mfrac></msup></mrow>
</mfrac>
</mstyle>
</math>
</dt>
<dt> (iii) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>c</mi><mi>n</mi></msub><mo>=</mo>
<mstyle displaystyle="true">
<mfrac>
<mrow><mi>log</mi><mo>(</mo><mi>n</mi><mo>+</mo><mn>2</mn><mo>)</mo></mrow>
<mrow><mi>log</mi><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow>
</mfrac>
</mstyle>
</math>
</dt>
</dl>
</li>
<li>  
<dl>
<dt> (i) &nbsp;
Show that 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>a</mi><mi>n</mi></msub><mo>=</mo>
<mstyle displaystyle="true">
<msup>
<mrow><mo>(</mo> 
<mfrac><mrow><mi>n</mi><mo>+</mo><mn>3</mn></mrow>
<mi>n</mi>
</mfrac>
<mo>)</mo></mrow>
<mi>n</mi>
</msup>
</mstyle>
</math>
is a bounded sequence.
</dt>
<dt> (ii) &nbsp;
Is every bounded sequence convergent?  If so, give a proof; if not give a counterexample.
</dt>
</dl>
<br /><br />
</li>
<li> A sequence
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>(</mo>
<msub><mi>a</mi><mi>n</mi></msub><mo>)</mo>
</math>
is defined by
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>a</mi><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msub>
<mo>=</mo>
<msqrt><mrow><mn>2</mn><mo>+</mo><msub><mi>a</mi><mi>n</mi></msub></mrow></msqrt>
</math>
and
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>a</mi><mn>1</mn></msub>
<mo>=</mo><mn>3</mn>
</math>. <br /><br />
<dl>
<dt> (a) &nbsp;
Show that 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mn>2</mn><mo>&le;</mo><msub><mi>a</mi><mi>n</mi></msub><mo>&le;</mo><mn>3</mn>
</math>. <br /><br />
</dt>
<dt> (b) &nbsp;
Show that 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>(</mo><msub><mi>a</mi><mi>n</mi></msub><mo>)</mo>
</math>
is monotonically decreasing. <br /><br />
</dt>
<dt> (c) &nbsp;
Stating appropriate results prove that 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>(</mo><msub><mi>a</mi><mi>n</mi></msub><mo>)</mo>
</math>
converges and find its limit.<br /><br />
</dt>
</dl>
</li>
<li> Evaluate the following limits, if they exist: <br /><br />
<dl>
<dt> (i) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<munder><mi>lim</mi><mrow><mi>x</mi><mo>&rarr;</mo><mn>0</mn></mrow></munder>
<mstyle displaystyle="true">
<mfrac><mrow><msup><mi>cos</mi><mn>2</mn></msup><mi>x</mi><mo>-</mo><mn>1</mn></mrow>
<msup><mi>x</mi><mn>2</mn></msup>
</mfrac>
</mstyle>
</math> <br /><br />
</dt>
<dt> (ii) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<munder><mi>lim</mi><mrow><mi>x</mi><mo>&rarr;</mo><mo>&infin;</mo></mrow></munder>
<msqrt><mrow><msup><mi>x</mi><mn>2</mn></msup><mo>+</mo><mn>3</mn><mi>x</mi></mrow></msqrt><mo>-</mo><mi>x</mi>
</math> <br /><br />
</dt>
<dt> (c) &nbsp;
Using the definition of the limit show that 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<munder><mi>lim</mi><mrow><mi>x</mi><mo>&rarr;</mo><mn>3</mn></mrow></munder>
<mstyle displaystyle="true">
<mfrac>
<mrow><msup><mi>x</mi><mn>2</mn></msup><mo>-</mo><mn>2</mn><mi>x</mi><mo>-</mo><mn>4</mn></mrow>
<mrow><mn>3</mn><mo>-</mo><msup><mi>x</mi><mn>2</mn></msup></mrow>
</mfrac>
<mo>=</mo>
<mfrac><mn>1</mn><mn>6</mn></mfrac>
</mstyle>
</math>. <br /><br />
</dt>
</dl>
</li>
<li>  Classify the following improper integrals and evaluate them if they converge: <br /><br />
<dl>
<dt> (i) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle = "true">
<msubsup><mo>&int;</mo><mn>1</mn><mn>5</mn></msubsup>
<mfrac><mrow><mn>4</mn><mi>x</mi></mrow>
<mrow><msqrt><mrow><msup><mi>x</mi><mn>2</mn></msup><mo>-</mo><mn>1</mn></mrow></msqrt></mrow>
</mfrac>
</mstyle>
</math>. <br /><br />
</dt>
<dt> (ii) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle = "true">
<msubsup><mo>&int;</mo><mn>1</mn><mo>&infin;</mo></msubsup>
<mfrac><mrow><mn>1</mn></mrow>
<mrow><mn>1</mn><mo>+</mo><msup><mi>x</mi><mn>2</mn></msup></mrow>
</mfrac>
</mstyle>
</math>. <br /><br />
</dt>
<dt> (iii) &nbsp;
Does the following integral diverge or converge?  Explain why, but do not evaluate the integral.
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle = "true">
<msubsup><mo>&int;</mo><mn>1</mn><mo>&infin;</mo></msubsup>
<mfrac><mrow><msup><mi>x</mi><mn>2</mn></msup></mrow>
<mrow><mo>(</mo><mi>x</mi><mo>-</mo><mn>2</mn><mo>)</mo>
<msup><mrow><mo>(</mo><msup><mi>x</mi><mn>11</mn></msup><mo>+</mo><mn>2</mn>
<mo>)</mo></mrow>
<mrow><mn>1/4</mn></mrow>
</msup>
</mrow>
</mfrac>
</mstyle>
</math>. <br /><br />
</dt>
</dl>
</li>
<li> 
<dl>
<dt> (a) &nbsp;
Use mathematical induction to prove that for any positive integer 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>n</mi>
</math>,
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle = "true">
<munderover>
<mo>&sum;</mo>
<mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow>
<mrow><mi>n</mi></mrow>
</munderover>
</mstyle>
<mi>j</mi><mo>(</mo><mn>3</mn><mi>j</mi><mo>+</mo><mn>1</mn><mo>)</mo>
<mo>=</mo>
<mi>n</mi><msup><mrow><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mn>2</mn></msup>
</math>.
</dt>
<dt> (b) &nbsp;
Give the definition of a Cauchy sequence. <br /><br />
</dt>
<dt> (c) &nbsp;
Prove that every convergent sequence is Cauchy.
</dt>
</dl>
</li>

</ol>



</body>
</html>
