Group Abstract Group Abstract

Message Boards Message Boards

1
|
1.2K Views
|
7 Replies
|
3 Total Likes
View groups...
Share
Share this post:

Determining series convergence

Posted 6 months ago

enter image description here

POSTED BY: Ata Vafi
7 Replies
Posted 6 months ago

I was unable to resolve the issue despite trying various ways.

POSTED BY: Ata Vafi
Posted 6 months ago

I double-checked the equation, and it was correct. The only issue I realized was that the asymptotic forms for Bessel functions from the link you provided are valid for positive real values, which is not the case in my situation.

POSTED BY: Ata Vafi

Maybe there's an error in the formulas....

POSTED BY: Michael Rogers
Posted 6 months ago

enter image description here

POSTED BY: Ata Vafi
POSTED BY: Michael Rogers
Posted 6 months ago

Thanks a lot, Michael! It worked. However, when it comes to the equation for Subscript[Ar[Theta], 3] in the previously attached notebook—which involves the multiplication of a Bessel function and a Legendre function—Mathematica gets stuck and becomes unresponsive. I am attaching the updated notepook with this reply. Could you also help me with this?

POSTED BY: Ata Vafi

If you replace Legendre $P_n$ by its asymptotic expansion, convert the cosines into terms of $e^{in\theta}$, and split the series into a series of each term, it gets the desired result:

pn = Series[ (* get asymptotic expansion of LegendreP[] *)
   LegendreP[n, Cos[\[Theta]]],
   {n, Infinity, 0},
   Assumptions -> (0 < \[Theta] < \[Pi] && n \[Element] Integers && 
      n > 0)];

Assuming[0 < \[Theta] < \[Pi] && n \[Element] Integers && n > 0,
   Normal[pn] // Simplify //
         ReplaceAll[Sin[\[Theta]] -> s] // (* get around TrigToExp *)
        TrigToExp //(* SumConvergence knows more about Exp[I n \[Theta]] *)
       Expand // (* expand into sum of terms *)
      Apply@List // (* split terms *)
     ReplaceAll[s -> Sin[\[Theta]]] // (* put back Sin[] *)
    (*Echo//*) (* place Echo[] to show any intermediate result *)
    SumConvergence[(* test convergence of series of each term *)
      t^n #, n,
      Assumptions -> (0 < \[Theta] < \[Pi] && 0 < s <= 1 && 
         n \[Element] Integers && n > 0)] & //
  Apply@And // (* require all series to converge *)
 Simplify] (* simplify And[...] *)

(*  t == -1 || t == 1 || Abs[t] < 1  *)
POSTED BY: Michael Rogers
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard