Violation of L'Hopital's Rule in Simplifying Rational Functions

  • Thread starter Thread starter thomas49th
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around the application of L'Hôpital's Rule in the context of simplifying rational functions, particularly in calculating residues at poles. Participants explore the validity of using L'Hôpital's Rule when certain conditions regarding the functions involved are met.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants question the appropriateness of applying L'Hôpital's Rule when the derivative of the denominator equals zero at a specific point. Others suggest alternative methods for calculating residues without using L'Hôpital's Rule, such as utilizing Laurent series or direct limit definitions.

Discussion Status

The discussion is active, with participants providing insights into the conditions under which L'Hôpital's Rule is applicable. Some express understanding of the concepts discussed, while others seek clarification on the methods for finding residues and limits.

Contextual Notes

There are references to specific functions and limits, as well as the use of Laurent series and residue calculations. Participants also mention the potential confusion surrounding mathematical notation and formatting.

Physics news on Phys.org
No, the L'Hopital applies only if both g(z) and f(z) go to zero or infinity. In this case downstairs does not.
 
so your saying I shouldn't of used L'Hopital. How else should I of solved it?
 
Simple poles in this form have a very easy way to calculate the residue. Consider f(z)/z. Suppose f(z) is holomorphic at z=0 (note f(z) might be, for example/ 1/(1+z), so you CAN write your problem in this form).

Then the Laurent series for f(z)/z is
[tex]f(0)/z+ f'(0) + f''(0) z /2 +...[/tex]

just taking the Taylor series for f(z) and dividing it by z. Is it clear now what the residue is?
 
thomas49th said:

Homework Statement


http://gyazo.com/f3161ad1a64909e84c2e033b442d7be1

I take it LHoptial is used to get

(2z+i/3)/(18z)

plugging -i/3 gives 1/18

But isn't this a violation of L'Hopital as
g'(z) does equal 0 is z is 0?
http://en.wikipedia.org/wiki/L'Hôpital's_rule
L'Hôpital's rule is perfectly valid here. The function f(z) has two poles, one at i/3 and the other at -i/3. Looking at the latter (your example), we need to calculate
[tex]\lim_{z\rightarrow -i/3} (z+i/3)f(z)<br /> = \lim_{z\rightarrow -i/3}\frac{(z+i/3)z}{9z^2+1}<br /> = \lim_{z\rightarrow -i/3}\frac{z^2+i/3\,z}{9z^2+1}[/tex]
At the limit we have something of the form 0/0, so L'Hopital's rule applies. Taking the derivatives of the numerator and denominator yields
[tex]\lim_{z\rightarrow -i/3} (z+i/3)f(z)<br /> = \lim_{z\rightarrow -i/3}\frac{2z+i/3}{18z} = \frac 1 {18}[/tex]
At the limit, the numerator and denominator are -i/3 and -18i/3, respectively, so the residue is 1/18.

The same analysis works for the other pole as well.
 
thomas49th said:

Homework Statement


http://gyazo.com/f3161ad1a64909e84c2e033b442d7be1

I take it LHoptial is used to get

(2z+i/3)/(18z)

plugging -i/3 gives 1/18

But isn't this a violation of L'Hopital as
g'(z) does equal 0 is z is 0?
http://en.wikipedia.org/wiki/L'Hôpital's_rule

If we have a function of the form [tex]F(z) = \frac{f(z)}{(z-a) g(z)}[/tex] with [itex]g(a) \neq 0,[/itex] the residue of F at a is just [tex]\text{Res}(F)(a) = \frac{f(a)}{g(a)}.[/tex] There is no need to use L'Hospital's rule here, because the work performed by the rule has already been done. Here is what I mean: you could define [itex]\text{Res}(F)(a) = \lim_{z \rightarrow a} (z-a) F(z).[/itex] If you do that, notice that we have
[tex](z-a) F(z) = (z-a) \frac{f(z)}{(z-a)g(z)} = \frac{f(z)}{g(z)},[/tex] which has a perfectly nice limit equal to [itex]f(a)/g(a),[/itex] with no need to use L'Hospital.

In fact, you are looking at the problem backwards: the whole point of L'Hospital is to "discover" the powers m and n (if any) in the expression [tex]\frac{N(z)}{D(z)} = <br /> \frac{(z-a)^n u(z)}{(z-a)^m v(z)}, \text{ where } v(a) \neq 0.[/tex] In the current problem you don't need to do that, because it has already been done for you.

RGV
 
Ok, thanks. I understand, haven't looked at the Laurent series in detail but looks it looks ok.
While we are on the subject of limits I have got

[tex]Lim_{z \rightarrow ia} \frac{(z-ia)}{(z^2 + a^2)(z^2+b^2)}e^{imz}[/tex]

Is there a quick way to find it's residue without multiplying out then taking the derivative of upstairs and downstairs until something happens?

edit: what is with this new itex. Itallic tex?
 
Last edited:
thomas49th said:
Ok, thanks. I understand, haven't looked at the Laurent series in detail but looks it looks ok.
While we are on the subject of limits I have got

[tex]Lim_{z \rightarrow ia} \frac{(z-ia)}{(z^2 + a^2)(z^2+b^2)}e^{imz}[/tex]

Is there a quick way to find it's residue without multiplying out then taking the derivative of upstairs and downstairs until something happens?

edit: what is with this new itex. Itallic tex?

Your expression looks OK to me, but maybe you don't like [itex]Lim,[/itex] and would rather have [itex]\lim[/itex] instead? If so, write "\lim" to override the math italics (same as saying "\exp" instead of "exp", "\sin" instead of "sin", etc.)

Anyway, you can write [itex]z^2 + a^2 = (z - ia)(z + ia),[/itex] then cancel out the [itex](z - ia)[/itex] factor in both the numerator and denominator. You can just put z = ia in what is left. So, basically, you can just write down the answer with hardly any work at all.

RGV
 
Thanks, I didn't spot that :)
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 15 ·
Replies
15
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K