How can the limit of a derivative fraction be proven for non-zero values?

Click For Summary

Homework Help Overview

The discussion revolves around proving the limit of a derivative fraction, specifically the expression \(\lim_{z\rightarrow z_0}\frac{f(z)}{g(z)}=\frac{A}{B}\) under the condition that \(B \neq 0\). The problem involves limits and continuity in the context of calculus.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore the use of epsilon-delta definitions to establish the limit. There is a discussion on the necessity of demonstrating the existence of a delta for a given epsilon. Some participants suggest rewriting functions in terms of epsilon-functions that approach zero as \(z\) approaches \(z_0\).

Discussion Status

The conversation is ongoing, with participants providing different perspectives on the approach to take. Some express confidence in the method presented, while others raise concerns about completeness and the need for further justification regarding the epsilon-delta argument.

Contextual Notes

There is an emphasis on ensuring that \(B\) is non-zero and the implications of this condition on the limit being discussed. Participants are also considering the behavior of derivatives in their reasoning.

daudaudaudau
Messages
297
Reaction score
0

Homework Statement


If [tex]\lim_{z\rightarrow z_0}f(z)=A[/tex] and [tex]\lim_{z\rightarrow z_0}g(z)=B[/tex] then prove that [tex]\lim_{z\rightarrow z_0}\frac{f(z)}{g(z)}=\frac{A}{B}[/tex] for [tex]B\neq0[/tex]

The Attempt at a Solution



I write [tex]f(z)=A+\epsilon_1(z)[/tex] and [tex]g(z)=B+\epsilon_2(z)[/tex], where the epsilon-functions tend to zero as z tends to z_0. I now write

[tex] \left|\frac{f(z)}{g(z)}-\frac{A}{B}\right|=\left|\frac{A+\epsilon_1(z)}{B+\epsilon_2(z)}-\frac{A}{B}\right|=\left|\frac{AB+B\epsilon_1(z)-AB-A\epsilon_2(z)}{B^2+B\epsilon_2(z)}\right|\le\frac{|B\epsilon_1(z)|+|A\epsilon_2(z)|}{|B^2+B\epsilon_2(z)|}[/tex]
And since the above can be made arbitrarily small by letting z tend to z_0, I am done, or what do you think?
 
Physics news on Phys.org
I think you are not done. Given a positive number [itex]\epsilon[/itex], you have to demonstrate the existence of a positive number [itex]\delta[/itex] such that |x - x0| < [itex]\delta[/itex] implies that |f(x)/g(x) - A/B| < [itex]\epsilon[/itex].
 
Looks good to me. Check that [tex]\lim_{z\rightarrow z_0} f(z) = A[/tex] is equivalent to [tex]f(z) = A+\epsilon_1 (z)[/tex] where the epsilon-function goes to zero as [tex]z\rightarrow z_0[/tex], then you are in fact done.
 
Mark44:

I have [tex]\epsilon_1(z)=f'(\xi)(z-z_0)[/tex] and [tex]\epsilon_2(z)=g'(\zeta)(z-z_0)[/tex] so

[tex] \frac {|B\epsilon_1(z)|+|A\epsilon_2(z)|}{|B^2+B\epsilon _2(z)|}=\frac{(|Bf'(\xi)|+|Ag'(\zeta)|)|z-z_0|}{|B^2+Bg'(\zeta)(z-z_0)|}.[/tex]

Now if [tex]\delta=\frac{1}{k|g'(\zeta)|}[/tex] and [tex]|z-z_0|<\delta[/tex] and k>1 I get

[tex] \frac{(|Bf'(\xi)|+|Ag'(\zeta)|)|z-z_0|}{|B^2+Bg'(\zeta)(z-z_0)|}\le \frac{1}{k}\frac{(|Bf'(\xi)|+|Ag'(\zeta)|)|g'(\zeta)|}{|B|^2-\frac{|B|}{k}}\le\frac{1}{k}C[/tex]

where
[tex] C=\frac{(|Bf'(\xi)|+|Ag'(\zeta)|)|g'(\zeta)|}{|B|^2-|B|}[/tex]
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
17
Views
3K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K