Funciones hiperbólicas inversas
En matemáticas, las funciones hiperbólicas inversas son las funciones inversas de las funciones hiperbólicas.
Para un valor dado de una función hiperbólica, la función hiperbólica inversa correspondiente proporciona el ángulo hiperbólico. El tamaño del ángulo hiperbólico es igual al área del sector hiperbólico correspondiente de la hipérbola xy = 1, o el doble del área del sector correspondiente de la hipérbola unitaria x2 − y2 = 1, al igual que un ángulo circular es el doble del área del sector circular de la circunferencia goniométrica. Algunos autores han llamado a las funciones hiperbólicas inversas "funciones de área", con el fin de dar un sentido más directo a los ángulos hiperbólicos.[1][2][3][4][5][6][7][8]
Las funciones hiperbólicas aparecen en los cálculos de ángulos y distancias en geometría hiperbólica. También forman parte de las soluciones de muchas ecuaciones diferenciales lineales (como la ecuación que define una catenaria), ecuaciones de tercer grado y en la ecuación de Laplace en coordenadas cartesianas. La ecuación de Laplace es importante en muchas áreas de la física, incluido el electromagnetismo, la transferencia de calor, la fluidodinámica y la teoría de la relatividad especial.
Notación
editarLas abreviaturas más comunes son las especificadas por el estándar ISO/IEC 80000. Consisten en ar- seguido de la abreviatura de la función hiperbólica correspondiente (por ejemplo, arsinh, arcosh).
Sin embargo, arc- seguido de la función hiperbólica correspondiente (por ejemplo, arcsinh, arccosh) también se ve comúnmente, por analogía con la nomenclatura de las funciones trigonométricas inversas.[9] Los primeros son nombres erróneos, ya que el prefijo arc es la abreviatura de arco, mientras que el prefijo ar significa área.[10][11][12]
Otros autores prefieren usar la notación arg sinh, argcosh, argtanh, etc., donde el prefijo arg es la abreviatura del latín argumentum.[13] En informática, a menudo se abrevia como "asinh".
También se usa la notación sinh−1(x), cosh−1(x), etc.,[14][15][16][17] a pesar del hecho de que se debe tener cuidado para evitar malas interpretaciones del superíndice -1 como una potencia, en lugar de una abreviatura para denotar la función inversa (por ejemplo, cosh−1(x) frente a cosh(x)−1).
Definiciones en términos de logaritmos
editarDado que las funciones hiperbólicas son funciones racionales de ex cuyo numerador y denominador son de grado como máximo dos, estas funciones pueden resolverse en términos de ex, utilizando la fórmula cuadrática; luego, tomando logaritmos naturales se obtienen las siguientes expresiones para las funciones hiperbólicas inversas.
Para los argumentos complejos, las funciones hiperbólicas inversas, raíz cuadrada y el logaritmo son funciones multivaluadas, y las igualdades de las siguientes subsecciones pueden verse como igualdades de funciones de varios valores.
Para todas las funciones hiperbólicas inversas (excepto la cotangente hiperbólica inversa y la cosecante hiperbólica inversa), el dominio de la función real es conexo.
Seno hiperbólico inverso
editarEl seno hiperbólico inverso (también conocido como área del seno hiperbólico) (Latín: Area sinus hyperbolicus):[14][15]
El dominio es la recta real completa.
Coseno hiperbólico inverso
editarEl coseno hiperbólico inverso (también conocido como área del coseno hiperbólico) (latín: Area cosinus hyperbolicus):[14][15]
El dominio es el intervalo [1, +∞ ).
Tangente hiperbólica inversa
editarLa tangente hiperbólica inversa (también conocida como área de la tangente hiperbólica) (en latín: Area tangens hyperbolicus):[15]
El dominio es el intervalo (−1, 1).
Cotangente hiperbólica inversa
editarLa cotangente hiperbólica inversa (también conocida como área de la cotangente hiperbólica) (en latín: Area cotangens hyperbolicus):
El dominio es la unión de los intervalos abiertos (−∞, −1) y (1, +∞).
Secante hiperbólica inversa
editarLa secante hiperbólica inversa (también conocida como área de la secante hiperbólica) (en latín: Area secans hyperbolicus):
El dominio es el intervalo semiabierto (0, 1].
Cosecante hiperbólica inversa
editarLa cosecante hiperbólica inversa (también conocida como área de la cosecante hiperbólica) (latín: Area cosecans hiperbolicus):
El dominio es toda la recta real, excepto el 0; y la última igualdad se tiene sólo si x>0.
Fórmulas de la suma
editarOtras identidades
editarComposición de funciones hiperbólicas e hiperbólicas inversas
editarComposición de funciones hiperbólicas y trigonométricas inversas
editar- [18]
Conversiones
editarDerivadas
editarEjemplo de una derivada: sea θ = arsinh x, entonces (donde sinh2 θ = (sinh θ) 2):
Desarrollos en serie
editarSe pueden obtener desarrollos en serie para las funciones anteriores:
La expansión asintótica para el arsinh x viene dada por
Valores principales en el plano complejo
editarEn el análisis complejo, las funciones hiperbólicas inversas son funciones multivaluadas, que son analíticas, excepto en un número finito de puntos. Para tales funciones, es común definir un valor principal, que es una función analítica de un solo valor que coincide con una rama específica de la función multivalor, sobre un dominio que consiste en un plano complejo en el que un número finito de arcos (generalmente rectas o segmentos) se han eliminado. Estos arcos se denominan ramas cortadas. Para especificar la rama, es decir, definir qué valor de la función multivalor se considera en cada punto, generalmente se define en un punto particular y se deduce el valor en todas las partes del dominio de definición del valor principal por extensión analítica. Cuando sea posible, es mejor definir el valor principal directamente, sin hacer referencia a la continuación analítica.
Por ejemplo, para la raíz cuadrada, el valor principal se define como la raíz cuadrada que tiene un número complejo positivo. Esto define una función analítica de valor único, que se define en todas partes, excepto para los valores reales no positivos de las variables (donde las dos raíces cuadradas tienen una parte real cero). Este valor principal de la función raíz cuadrada se denota como en lo que sigue. De manera similar, el valor principal del logaritmo, denotado a continuación, se define como el valor para el cual un número complejo tiene el valor absoluto más pequeño. Se define en todas partes excepto en los valores reales no positivos de la variable, para los cuales dos valores diferentes del logaritmo alcanzan el mínimo.
Para todas las funciones hiperbólicas inversas, el valor principal puede definirse en términos de los valores principales de la raíz cuadrada y la función logarítmica. Sin embargo, en algunos casos, las fórmulas de las definiciones en términos de logaritmos no dan un valor principal correcto, ya que dan un dominio de definición que es demasiado pequeño y, en un caso, no conexo.
Valor principal del seno hiperbólico inverso
editarEl valor principal del seno hiperbólico inverso está dado por
El argumento de la raíz cuadrada es un número real no positivo, si y solo si z pertenece a uno de los intervalos [i, +i∞) y (−i∞, −i] del eje imaginario. Si el argumento del logaritmo es real, entonces es positivo. Por tanto, esta fórmula define un valor principal para arsinh, con cortes de rama [i, +i∞) y (−i∞, −i]. Esto es óptimo, ya que los cortes de rama deben conectar los puntos singulares i y −i al infinito.
Valor principal del coseno hiperbólico inverso
editarLa fórmula para el coseno hiperbólico inverso dada en el coseno hiperbólico inverso no es conveniente, ya que similar a los valores principales del logaritmo y la raíz cuadrada, el valor principal del arcosh no estaría definido para z imaginario. Por lo tanto, la raíz cuadrada debe factorizarse, lo que lleva a
Los valores principales de las raíces cuadradas están definidos, excepto si z pertenece al intervalo real (−∞, 1]. Si el argumento del logaritmo es real, z es real y tiene el mismo signo. Por tanto, la fórmula anterior define un valor principal del arcosh fuera del intervalo real (−∞, 1], que es, por tanto, el único corte de rama.
Valores principales de la tangente y de la cotangente hiperbólicas inversas
editarLas fórmulas dadas en las definiciones en términos de logaritmos sugieren que
para la definición de los valores principales de la tangente y de la cotangente hiperbólicas inversas. En estas fórmulas, el argumento del logaritmo es real si y solo si z es real. Para artanh, este argumento está en el intervalo real (−∞, 0], si z pertenece a (−∞, −1] o [1, ∞). Para el arcoth, el argumento del logaritmo está en (−∞, 0], si y solo si z pertenece al intervalo real [−1, 1].
Por lo tanto, estas fórmulas definen valores principales convenientes, para los cuales los cortes de rama son (−∞, −1] y [1, ∞) para la tangente hiperbólica inversa y [−1, 1] para la cotangente hiperbólica inversa.
En vista de una mejor evaluación numérica cerca de los cortes de rama, algunos autores utilizan las siguientes definiciones de los valores principales, aunque el segundo introduce una singularidad evitable en z = 0. Las dos definiciones de difieren para los valores reales de con . Los de difieren para los valores reales de con .
Valor principal de la cosecante hiperbólica inversa
editarPara la cosecante hiperbólica inversa, el valor principal se define como
- .
Se define cuando los argumentos del logaritmo y la raíz cuadrada no son números reales no positivos. El valor principal de la raíz cuadrada se define así fuera del intervalo [−i, i] de la recta imaginaria. Si el argumento del logaritmo es real, entonces z es un número real distinto de cero, y esto implica que el argumento del logaritmo es positivo.
Así, el valor principal está definido por la fórmula anterior fuera del corte de rama, que consiste en el intervalo [−i, i] de la línea imaginaria.
Para z = 0, hay un punto singular que se incluye en el corte de rama.
Valor principal de la secante hiperbólica inversa
editarAquí, como en el caso del coseno hiperbólico inverso, se tiene que factorizar la raíz cuadrada. Esto da el valor principal
Si el argumento de una raíz cuadrada es real, entonces z es real, y se deduce que ambos valores principales de raíces cuadradas están definidos, excepto si z es real y pertenece a uno de los intervalos (−∞, 0] y [1, +∞). Si el argumento del logaritmo es real y negativo, z también es real y negativo. De ello se deduce que el valor principal de arsech está bien definido, por la fórmula anterior fuera de dos cortes de rama, los intervalos reales (−∞, 0] y [1, +∞).
Para z = 0, hay un punto singular que se incluye en uno de los cortes de rama.
Representación gráfica
editarEn la siguiente representación gráfica de los valores principales de las funciones hiperbólicas inversas, los cortes de las ramas aparecen como discontinuidades del color. El hecho de que todos los cortes de rama aparezcan como discontinuidades, muestra que estos valores principales pueden no extenderse a funciones analíticas definidas en dominios más amplios. En otras palabras, los cortes de rama definidos anteriormente son mínimos.
Véase también
editarReferencias
editar- ↑ Bronshtein, Ilja N.; Semendyayev, Konstantin A.; Musiol, Gerhard; Mühlig, Heiner (2007). «Chapter 2.10: Area Functions». Handbook of Mathematics (5 edición). Springer Science+Business Media. p. 91. ISBN 3-540-72121-5. doi:10.1007/978-3-540-72122-2.
- ↑ Ebner, Dieter (25 de julio de 2005). Preparatory Course in Mathematics (6 edición). Department of Physics, Universidad de Constanza. Archivado desde el original el 26 de julio de 2017. Consultado el 26 de julio de 2017.
- ↑ Mejlbro, Leif (2006). Real Functions in One Variable – Calculus. 1a (1 edición). Ventus Publishing ApS / Bookboon. ISBN 87-7681-117-4. Archivado desde el original el 26 de julio de 2017. Consultado el 26 de julio de 2017.
- ↑ Mejlbro, Leif (2008). The Argument Principle and Many-valued Functions - Complex Functions Examples. c-9 (1 edición). Ventus Publishing ApS / Bookboon. ISBN 978-87-7681-395-6. Archivado desde el original el 26 de julio de 2017. Consultado el 26 de julio de 2017.
- ↑ Mejlbro, Leif (11 de noviembre de 2010). Stability, Riemann Surfaces, Conformal Mappings - Complex Functions Theory. a-3 (1 edición). Ventus Publishing ApS / Bookboon. ISBN 978-87-7681-702-2. ISBN 87-7681-702-4. Archivado desde el original el 26 de julio de 2017. Consultado el 26 de julio de 2017.
- ↑ Durán, Mario (2012). Mathematical methods for wave propagation in science and engineering. 1: Fundamentals (1 edición). Ediciones UC. p. 89. ISBN 978-956141314-6. ISBN 956141314-0.
- ↑ Weltner, Klaus; John, Sebastian; Weber, Wolfgang J.; Schuster, Peter; Grosjean, Jean (2014-06-27 (1ª ed. 2009)). Mathematics for Physicists and Engineers: Fundamentals and Interactive Study Guide (2 edición). Springer Science+Business Media. ISBN 978-364254124-7. ISBN 3642541240.
- ↑ Detlef Reimers http://tug.ctan.org/macros/latex/contrib/lapdf/fplot.pdf
- ↑ «Comprehensive List of Algebra Symbols». Math Vault (en inglés estadounidense). 25 de marzo de 2020. Consultado el 30 de agosto de 2020.
- ↑ As stated by Jan Gullberg, Mathematics: From the Birth of Numbers (New York: W. W. Norton & Company, 1997), ISBN 0-393-04002-X, p. 539:
Otra forma de notación, arcsinh x, arccosh x, etc., es una práctica que debe ser rechazada, ya que estas funciones no tienen nada que ver conarc, pero sí con area, como lo demuestran sus nombres latinos completos,
arsinh area sinus hyperbolicus
arcosh area cosinus hyperbolicus, etc.
- ↑ As stated by de, Wolfgang Hackbusch and Hans Rudolf Schwarz, translated by Bruce Hunt, Oxford Users' Guide to Mathematics (Oxford: Oxford University Press, 2004), ISBN 0-19-850763-1, Section 0.2.13: "The inverse hyperbolic functions", p. 68: "The Latin names for the inverse hyperbolic functions are area sinus hyperbolicus, area cosinus hyperbolicus, area tangens hyperbolicus and area cotangens hyperbolicus (of x). ..." Esta referencia anterior utiliza las notaciones arsinh, arcosh, artanh y arcoth para las respectivas funciones hiperbólicas inversas.
- ↑ Según lo establecido por Ilja N. Bronshtein, Konstantin A. Semendyayev, Gerhard Musiol y Heiner Mühlig, en el Handbook of Mathematics (Berlin: Springer-Verlag, 5th ed., 2007), ISBN 3-540-72121-5, doi 10.1007/978-3-540-72122-2, Section 2.10: "Area Functions", p. 91:
Las funciones de área son las funciones inversas de las funciones hiperbólicas, es decir, las funciones hiperbólicas inversas. Las funciones sinh x, tanh x, y coth x son estrictamente monótonas, por lo que tienen inversos únicos sin ninguna restricción; la función cosh x tiene dos intervalos monótonos, por lo que se pueden considerar dos funciones inversas. El nombre área se refiere al hecho de que la definición geométrica de las funciones es el área de ciertos sectores hiperbólicos ...
- ↑ Bacon, Harold Maile (1942). Differential and Integral Calculus. McGraw-Hill. p. 203.
- ↑ a b c Weisstein, Eric W. «Inverse Hyperbolic Functions». mathworld.wolfram.com (en inglés). Consultado el 30 de agosto de 2020.
- ↑ a b c d «Inverse hyperbolic functions - Encyclopedia of Mathematics». encyclopediaofmath.org. Consultado el 30 de agosto de 2020.
- ↑ Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (1992). «Section 5.6. Quadratic and Cubic Equations». Numerical Recipes in FORTRAN: The Art of Scientific Computing (2nd edición). New York: Cambridge University Press. ISBN 0-521-43064-X.
- ↑ Woodhouse, N. M. J. (2003), Special Relativity, London: Springer, p. 71, ISBN 1-85233-426-6.
- ↑ «Identities with inverse hyperbolic and trigonometric functions». math stackexchange. stack Exchange. Consultado el 3 de noviembre de 2016.
Bibliografía
editar- Herbert Busemann y Paul J. Kelly (1953) Geometría proyectiva y métricas proyectivas , página 207, Academic Press.
Enlaces externos
editar- Hazewinkel, Michiel, ed. (2001), «Funciones hiperbólicas inversas», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104.