Comment exprimer complètement le résultat de cette limite?

Aug 17 2020

Je veux trouver l'expression de la limite suivante:

Limit[Power[1 + RealAbs[x]^(3 n), (n)^-1], n -> Infinity]
(* ConditionalExpression[1, (x >= 0\[And]log(x)<0)\[Or](x<0\[And]log(-x)<0)] *)

Mais le résultat n'est pas complet. La réponse de référence est$f(x)=\lim _{n \rightarrow \infty} \sqrt[n]{1+|x|^{3 n}}=\left\{\begin{array}{c} 1,|x| \leq 1 \\ |x|^{3},|x|>1 \end{array}\right.$.

Que puis-je faire pour obtenir l'expression complète?

Réponses

5 user64494 Aug 17 2020 at 11:43

Considérons le cas contraire par

Limit[Power[1 + RealAbs[x]^(3 n), (n)^-1], n -> Infinity, 
 Assumptions -> (x >= 0 && Log[x] >= 0) || (x < 0 && Log[-x] >= 0)]

$$\text{ConditionalExpression}\left[ \begin{array}{cc} \{ & \begin{array}{cc} -x^3 & x<0 \\ x^3 & \text{True} \\ \end{array} \\ \end{array} ,x<0\lor \log (x)>0\right] $$Il reste à considérer le cas RealAbs[x]==1:

Limit[Power[1 + RealAbs[x]^(3 n), (n)^-1] /. RealAbs[x] -> 1, n -> Infinity]

$1$