Funcións hiperbólicas inversas

En matemáticas, as funcións hiperbólicas inversas son as funcións inversas das funcións hiperbólicas, análogas ás funcións trigonométricas inversas. Hai seis de uso común: seno hiperbólico inverso, coseno hiperbólico inverso, tanxente hiperbólica inversa, cosecante hiperbólica inversa, secante hiperbólica inversa e cotanxente hiperbólica inversa. Denomínanse habitualmente polos símbolos das funcións hiperbólicas, con prefixo arc ou ar, ou cun superíndice  (como en ).

Para un valor dado dunha función hiperbólica, a función hiperbólica inversa proporciona o correspondente ángulo hiperbólico, por exemplo,  e  A medida do ángulo hiperbólico é a lonxitude do arco dunha hipérbole unitaria  medida no plano de Lorentz (non a lonxitude dun arco hiperbólico no plano euclidiano) e dúas veces a área do sector hiperbólico correspondente. Tamén, o ángulo hiperbólico é a área dun sector da hipérbole  Algúns autores chaman ás funcións hiperbólicas inversas funcións de área hiperbólica.Por exemplo:   

As funcións hiperbólicas ocorren no cálculo de ángulos e distancias en xeometría hiperbólica. Tamén ocorren nas solucións de moitas ecuacións diferenciais lineares (como a ecuación que define unha catenaria), ecuacións cúbicas e ecuación de Laplace en Coordenadas cartesianas. 

Notación

Os símbolos máis antigos e máis adoptados usan o prefixo arc (é dicir: , , , , , ), por analoxía coas funcións trigonométricas inversas (, etc.).

Tamén é común a notación   etc.,     aínda que hai que ter coidado de evitar interpretacións erróneas do superíndice −1 como expoñente. A convención estándar é que  ou  significa a función inversa mentres que  ou  significa o inverso multiplicativo . 

 significa convencionalmente  e non 

As abreviaturas estándar ISO 80000-2 usan o prefixo ar (é dicir: , , , , , ).

Nas linguaxes de programación informática, as funcións circulares inversas e hiperbólicas adoitan nomearse co prefixo máis curto a (, etc.).

Este artigo adoptará coherentemente o prefixo ar por comodidade.

Definicións en termos de logaritmos
Dado que as funcións hiperbólicas son funcións racionais cadráticas da función exponencial , pódense resolver mediante a fórmula cadrática e despois escribirse en termos do logaritmo natural.

Para os argumentos complexos, as funcións circulares inversas e hiperbólicas inversas, a raíz cadrada e o logaritmo natural son todas funcións multivaloradas.

Fórmulas de suma





Outras identidades





Composición de funcións hiperbólicas e hiperbólicas inversas



Composición de funcións hiperbólicas inversas e circulares non inversas


Conversións

Derivadas

Estas fórmulas pódense obter en función das derivadas das funcións hiperbólicas. Por exemplo, se , entón 

Expansións en serie

Pódense obter expansións en series de potencia para as funcións anteriores:



Unha expansión asintótica para  é dada por

Valores principais no plano complexo
Como funcións de variábel complexa, as funcións hiperbólicas inversas son funcións multivaloradas que son funcións analíticas excepto nun número finito de puntos. 

Para tal tipo de funcións, é común definir un valor principal, que é unha función analítica de valor único que coincide cunha rama específica da función multivalorada, sobre un dominio que consiste no plano complexo no que un número finito de arcos elimináronse. Estes arcos chámanse corte de rama. O valor principal da multifunción escóllese nun punto particular e os valores noutros lugares do dominio de definición defínense para coincidir cos atopados por continuación analítica.

Por exemplo, para a raíz cadrada, o valor principal defínese como a raíz cadrada que ten unha parte real positiva. Isto define unha función analítica con valor único, que se define en todas partes, excepto para os valores reais non positivos das variábeis  (onde as dúas raíces cadradas teñen unha parte real cero). Este valor principal da función raíz cadrada denotase  no que segue. 

Do mesmo xeito, o valor principal do logaritmo, denotado como  no que segue, defínese como o valor para o cal a parte imaxinaria ten o menor valor absoluto. Defínese en todas as partes agás para os valores reais non positivos da variábel, para os que dous valores diferentes do logaritmo alcanzan o mínimo.

Para todas as funcións hiperbólicas inversas, o valor principal pódese definir en termos dos valores principais da raíz cadrada e da función logarítmica. Porén, nalgúns casos, as fórmulas de  non dan un valor principal correcto, xa que dan un dominio de definición que é demasiado pequeno e, nun caso, non conexo.

Valor principal do seno hiperbólico inverso

O valor principal do seno hiperbólico inverso vén dado por

O argumento da raíz cadrada é un número real non positivo, se e só se  pertence a un dos intervalos  e  do eixo imaxinario. Se o argumento do logaritmo é real, entón é positivo. Así, esta fórmula define un valor principal para arsinh, con cortes de rama  e . Isto é óptimo, xa que os cortes de rama deben conectar os puntos singulares  e  ao infinito.

Valor principal do coseno hiperbólico inverso
A fórmula para o coseno hiperbólico inverso dada en  non é conveniente, xa que de xeito similar aos valores principais do logaritmo e da raíz cadrada, o valor principal de arcosh non se definiría para o  imaxinario. Así, a raíz cadrada ten que ser factorizada, dando lugar a

Os valores principais das raíces cadradas están definidos, excepto se  pertence ao intervalo real . Se o argumento do logaritmo é real, entón  é real e ten o mesmo signo. Así, a fórmula anterior define un valor principal de arcosh fóra do intervalo real , que é polo tanto o único corte de rama.

Valores principais da tanxente e da cotanxente hiperbólica inversa

As fórmulas dadas en  suxire

para a definición dos valores principais da tanxente hiperbólica inversa e da cotanxente. Nestas fórmulas, o argumento do logaritmo é real se e só se  é real. Para artanh, este argumento está no intervalo real , se  pertence a  ou a . Para arcoth, o argumento do logaritmo está en , se e só se  pertence ao intervalo real .

Polo tanto, estas fórmulas definen valores principais convenientes, para os que os cortes de rama son  e  para a tanxente hiperbólica inversa, e  para a cotanxente hiperbólica inversa.

Valor principal da cosecante hiperbólica inversa
Para a cosecante hiperbólica inversa, o valor principal defínese como
.

Defínese excepto cando os argumentos do logaritmo e da raíz cadrada son números reais non positivos. O valor principal da raíz cadrada defínese así fóra do intervalo  da liña imaxinaria. Se o argumento do logaritmo é real, entón  é un número real distinto de cero, e isto implica que o argumento do logaritmo é positivo.

Así, o valor principal defínese pola fórmula anterior fóra do corte de rama que consiste no intervalo  da liña imaxinaria.

(En ,  hai un punto singular que se inclúe no corte de rama).

Valor principal da secante hiperbólica inversa

Aquí, como no caso do coseno hiperbólico inverso, temos que factorizar a raíz cadrada. Isto dá o valor principal

Se o argumento dunha raíz cadrada é real, entón  é real, e dedúcese que os dous valores principais das raíces cadradas están definidos, agás se  é real e pertence a un dos intervalos  e . Se o argumento do logaritmo é real e negativo, entón  tamén é real e negativo. Dedúcese que o valor principal de arsech está ben definido, pola fórmula anterior fóra de dous cortes de rama, os intervalos reais  e .

Para , hai un punto singular que se inclúe nun dos cortes de rama.

Representación gráfica

Na seguinte representación gráfica dos valores principais das funcións hiperbólicas inversas, os cortes de rama aparecen como descontinuidades da cor. O feito de que os cortes de rama completos aparezan como descontinuidades, mostra que estes valores principais poden non estenderse a funcións analíticas definidas en dominios máis grandes. Noutras palabras, os corte de rama definidos anteriormente son mínimos.

 Notas 


 Véxase tamén 

 Bibliografía 
 Herbert Busemann and Paul J. Kelly (1953) Projective Geometry and Projective Metrics, page 207, Academic Press.

 Outros artigos 
Logaritmo complexo
Función hiperbólica

 Ligazóns externas 


Categoría:Trigonometría
Categoría:Funcións