       Re: Limit of an expression?

• To: mathgroup at smc.vnet.net
• Subject: [mg67518] Re: Limit of an expression?
• From: Jean-Marc Gulliet <jeanmarc.gulliet at gmail.com>
• Date: Thu, 29 Jun 2006 00:09:50 -0400 (EDT)
• Organization: The Open University, Milton Keynes, UK
• References: <e7td7i\$3lg\$1@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

```Virgil Stokes wrote:
> In the following expression, s is an integer (>= 1), Lambda, Mu, and t
> are real numbers and all > 0.
> What is the limit of the following as t goes to infinity?
>
> \!\(\(1 - \[ExponentialE]\^\(\(-\[Mu]\)\ t\ \((s - 1 - \
> \[Lambda]\/\[Mu])\)\)\)\/\(s - 1 - \[Lambda]\/\[Mu]\)\)
>
> --V. Stokes
>
Hi Virgil,

Contrary to some functions such as Integrate, Limit does not returned
conditional answers; that is, Limit will return a solution only if it
can establish the convergence or divergence of the expression without
taking in account the values of parameters. For instance, compare the
following answers to a simple limit

In:=
Limit[E^(-t), t -> Infinity]

Out=
0

In:=
Limit[E^((-a)*t), t -> Infinity]

Out=
-a t
Limit[E    , t -> Infinity]

Of course, in the latter case you can add an assumption on the parameter

In:=
Limit[E^((-a)*t), t -> Infinity, Assumptions -> a > 0]

Out=
0

Now, let's go back to your original question. In Mathematica form, we have

In:=
Limit[(1 - E^((-Î¼)*t*(s - 1 - Î»/Î¼)))/
(s - 1 - Î»/Î¼), t -> Infinity,
Assumptions -> {s â?? Integers, s > 0, Î» > 0,
Î¼ > 0, t > 0}]

Out=
-t (-1 + s - Î»/Î¼) Î¼
1 - E
Limit[------------------------, t -> Infinity,
Î»
-1 + s - -
Î¼

Assumptions ->

{s â?? Integers, s > 0, Î» > 0, Î¼ > 0, t > 0}]

As stated above, the expression is returned unevaluated since there is
indeed three possible answers depending on the respective value of s,
mu, and lambda. We can see by inspection that the limit of the
exponential function depends on the value of

In:=
Simplify[E^((-Î¼)*t*(s - 1 - Î»/Î¼)),
Assumptions -> {s â?? Integers, s > 0, Î» > 0,
Î¼ > 0, t > 0}]

Out=
t (Î» + Î¼ - s Î¼)
E

Therefore, we compute the different values in three steps

In:=
Limit[(1 - E^((-Î¼)*t*(s - 1 - Î»/Î¼)))/
(s - 1 - Î»/Î¼), t -> Infinity,
Assumptions -> {s â?? Integers, s > 0, Î» > 0,
Î¼ > 0, t > 0, Î» + Î¼ - s*Î¼ > 0}]

Out=
Infinity

In:=
Limit[(1 - E^((-Î¼)*t*(s - 1 - Î»/Î¼)))/
(s - 1 - Î»/Î¼), t -> Infinity,
Assumptions -> {s â?? Integers, s > 0, Î» > 0,
Î¼ > 0, t > 0, Î» + Î¼ - s*Î¼ == 0}]

Out=
0

In:=
Limit[(1 - E^((-Î¼)*t*(s - 1 - Î»/Î¼)))/
(s - 1 - Î»/Î¼), t -> Infinity,
Assumptions -> {s â?? Integers, s > 0, Î» > 0,
Î¼ > 0, t > 0, Î» + Î¼ - s*Î¼ < 0}]

Out=
Î¼
-(-----------)
Î» + Î¼ - s Î¼

Best regards,
Jean-Marc

```

• Prev by Date: RE: Viewing animations also on RealTime3D
• Next by Date: Packages--Problem in evaluating functions from my own package!!!
• Previous by thread: Re: Limit of an expression?
• Next by thread: Problem with LaplaceTransform and InverseLaplaceTransform