Förstå hyperboliska funktioner intuitivt (bortom trigonometri)

Första gången en miniräknare visar knappar märkta sinh, cosh och tanh ser de ut som alternativa versioner av sinus, cosinus och tangens. Namnen antyder att någon tog trigonometrin, lade till ett h och skapade tre nya formler att memorera.

Den bilden vänder på ordningen. Hyperboliska funktioner börjar med exponenter, inte med vinklar. De tar de två enklaste exponentiella rörelserna, tillväxt genom $e^{x}$ och avklingning genom $e^{-x}$, och adderar eller subtraherar dem i exakt balanserade par. Likheten med trigonometri kommer senare, när paren visar sig vara koordinater på en hyperbel i stället för på en cirkel.

När du ser de två exponentialfunktionerna dra åt motsatta håll slutar definitionerna att verka godtyckliga. Huvudidentiteten blir ekvationen för en kurva, derivatorna blir nästan oundvikliga och den hängande kabeln i varje lärobok i analys får äntligen en anledning att innehålla cosh.

Hyperbeln är cirkelns släkting

Trigonometri har en central bild: en punkt som går runt enhetscirkeln. Vid parametern t är dess koordinater

$$(\cos t, \sin t)$$

Koordinaterna uppfyller

$$\cos^{2} t + \sin^{2} t = 1$$

eftersom varje punkt ligger på cirkeln $x^{2} + y^{2} = 1$. Cosinus ger den horisontella koordinaten, sinus den lodräta, och den pythagoreiska identiteten är helt enkelt cirkelekvationen skriven med deras namn.

Hyperboliska funktioner använder samma koordinatidé på en annan kurva. Med parametriska ekvationer ligger paret

$$(\cosh t, \sinh t)$$

på den högra grenen av enhetshyperbeln

$$x^{2} - y^{2} = 1$$

så koordinaterna uppfyller

$$\cosh^{2} t - \sinh^{2} t = 1$$

Det ändrade tecknet bestämmer den nya kurvans karaktär. En cirkel håller $x^{2} + y^{2}$ konstant. En hyperbel håller $x^{2} - y^{2}$ konstant. Det enda bytet från plus till minus förklarar varför många hyperboliska identiteter liknar trigonometriska identiteter där ett tecken har vänts.

Här finns en viktig detalj. Grafen y = cosh x är en U-formad funktion. Den är inte enhetshyperbeln $x^{2} - y^{2} = 1$. Hyperbeln framträder när cosh och sinh arbetar tillsammans som koordinater: x = cosh t och y = sinh t. Den ena funktionen är den horisontella koordinaten och den andra den lodräta, precis som cosinus och sinus tillsammans ritar en cirkel.

Parametern t kallas ibland en hyperbolisk vinkel, men den är inte en vanlig vinkel som mäts genom rotation runt en cirkel. På enhetshyperbeln är t lika med två gånger den orienterade arean av den hyperboliska sektor som sveps från (1, 0) till den rörliga punkten. För de flesta beräkningar räcker det att se t som den gemensamma indata som flyttar punkten längs hyperbeln. Vid t = 0 ligger punkten i (1, 0). Positivt t flyttar den uppför den högra grenen, negativt t nedåt.

sinh och cosh balanserar tillväxt och avklingning

Geometrin förklarar namnen. Definitionerna förklarar hur funktionerna faktiskt fungerar:

$$\sinh x = \frac{e^{x} - e^{-x}}{2}$$ $$\cosh x = \frac{e^{x} + e^{-x}}{2}$$

Båda börjar med samma par exponentialfunktioner. Den ena växer när x ökar, den andra krymper. Cosh adderar dem och mäter deras symmetriska summa. Sinh subtraherar dem och mäter vilken riktning som dominerar.

Vid x = 0 är båda exponentialtermerna lika med 1. Summan är 2 och skillnaden är 0, alltså

$$\cosh 0 = 1, \quad \sinh 0 = 0$$

Det ger punkten (1, 0), midjan på hyperbelns högra gren.

Ersätt nu x med -x. De två exponentialtermerna byter plats. Summan förändras inte, så cosh(-x) = cosh x. Cosh är jämn och grafen är symmetrisk kring y-axeln. Skillnaden byter tecken, så sinh(-x) = -sinh x. Sinh är udda och grafen är punktsymmetrisk kring origo.

Ett litet exakt exempel visar mekaniken. Sätt x = ln 2. Då är $e^{x} = 2$ och $e^{-x} = \frac{1}{2}$, alltså

$$\cosh(\ln 2) = \frac{2 + \frac{1}{2}}{2} = \frac{5}{4}$$ $$\sinh(\ln 2) = \frac{2 - \frac{1}{2}}{2} = \frac{3}{4}$$

Punkten är (5/4, 3/4). Kontrollera hyperbeln:

$$(5/4)^{2} - (3/4)^{2} = 25/16 - 9/16 = 1$$

Identiteten är ingen slump som lagts till efter definitionerna. Den balanserade summan och skillnaden gör att den följer automatiskt.

För stora positiva x blir $e^{-x}$ mycket litet, så både sinh x och cosh x närmar sig hälften av $e^{x}$. För stora negativa x förblir cosh positiv medan sinh blir negativ. Därför ser graferna besläktade men inte likadana ut: cosh är den U-formade summan av två positiva exponentialfunktioner, medan sinh registrerar skillnaden med tecken mellan dem.

Identiteten med minustecknet

Den viktigaste hyperboliska formeln är

$$\cosh^{2} x - \sinh^{2} x = 1$$

Du kan minnas den som hyperbelns ekvation, men du kan också härleda den med en enda rad algebra. Sätt A = $e^{x}$ och B = $e^{-x}$. Då är AB = 1 och

$$\cosh x = \frac{A + B}{2}, \quad \sinh x = \frac{A - B}{2}$$

Subtrahera de två kvadraterna:

$$\left(\frac{A + B}{2}\right)^{2} - \left(\frac{A - B}{2}\right)^{2} = AB = 1$$

Mönstret för en kvadratskillnad gör hela jobbet. Termerna $A^{2}$ och $B^{2}$ tar ut varandra i subtraktionen, medan korstermerna kombineras och lämnar AB = $e^{x}$ gånger $e^{-x}$, vilket är 1.

Identiteten ger resten av familjen. Dividera med $\cosh^{2} x$ och du får

$$1 - \tanh^{2} x = \operatorname{sech}^{2} x$$

där tanh x = sinh x / cosh x och sech x = 1 / cosh x. Där sinh x inte är noll kan du i stället dividera med $\sinh^{2} x$ och få motsvarande identitet för coth och csch. Namnen kan se trånga ut, men strukturen är densamma som i trigonometri: tangens är en kvot, sekans och kosekans är reciproka, och den centrala kurvekvationen skapar identiteterna.

Den säkraste minnesregeln är inte "hyperbolisk trigonometri har konstiga tecken." Tänk på kurvan. Cirkel betyder plus. Hyperbel betyder minus. Om du ser vilken ekvation du befinner dig på behöver tecknet inte längre bli en gissning.

Vad tanh mäter

Hyperbolisk tangens är kvoten

$$\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^{x} - e^{-x}}{e^{x} + e^{-x}}$$

Kvoten jämför skillnaden mellan tillväxt och avklingning med deras summa. Vid x = 0 är sidorna balanserade, så tanh 0 = 0. När x växer dominerar $e^{x}$ både täljaren och nämnaren, så kvoten närmar sig 1. När x blir mycket negativt dominerar $e^{-x}$, och kvoten närmar sig -1.

Det gör tanh till en S-formad funktion som hålls mellan -1 och 1. Nära noll beter den sig nästan som x och planar sedan gradvis ut när den ena exponentialfunktionen överväldigar den andra. Till skillnad från vanlig tangens har den inga upprepade grenar och inga lodräta asymptoter. Det gemensamma namnet kommer av att båda är kvoter mellan sinusliknande och cosinusliknande koordinater, inte av att graferna är likadana.

Den begränsade formen är användbar när obegränsad indata ska ge en jämn, begränsad utdata. I en kurs i ren matematik är huvudpoängen enklare: tanh är vad du får när du normaliserar den teckenförsedda skillnaden sinh med den positiva summan cosh.

De återstående funktionerna följer samma bokföring:

• $\operatorname{sech} x = \frac{1}{\cosh x}$
• $\operatorname{csch} x = \frac{1}{\sinh x}$
• $\coth x = \frac{\cosh x}{\sinh x}$

Cosh blir aldrig noll för reella x, så sech är definierad överallt. Sinh är noll vid x = 0, så csch och coth är odefinierade där. Om du läser av dem från definitionerna är detta inte separata fakta att memorera.

Varför analysen gillar hyperboliska funktioner

Exponentialdefinitionerna gör derivatorna ovanligt rena. Derivera sinh:

$$\frac{d}{dx} \sinh x = \frac{d}{dx} \left[\frac{e^{x} - e^{-x}}{2}\right] = \frac{e^{x} + e^{-x}}{2} = \cosh x$$

Den andra termen ändras från minus till plus eftersom derivering av $e^{-x}$ ger ytterligare ett minustecken. Derivera cosh och tecknen går åt andra hållet:

$$\frac{d}{dx} \cosh x = \sinh x$$

Vanlig cosinus får ett minustecken när den deriveras. Hyperbolisk cosinus får det inte. Skillnaden skapar en användbar kontrast:

• sin x och cos x uppfyller y'' = -y, vilket ger svängningar
• sinh x och cosh x uppfyller y'' = y, vilket ger exponentiell tillväxt och avklingning

Det är därför hyperboliska funktioner uppstår naturligt i differentialekvationer, som beskriver samband mellan derivator. Den allmänna lösningen till y'' = y kan skrivas som A $e^{x}$ + B $e^{-x}$, men också som C cosh x + D sinh x. De två formerna innehåller samma information. Cosh och sinh paketerar bara de symmetriska och antisymmetriska kombinationerna på ett sätt som ofta passar begynnelsevillkor bättre.

Lösningen med y(0) = 1 och y'(0) = 0 är till exempel cosh x. Den börjar på höjden 1 med en horisontell tangent. Lösningen med y(0) = 0 och y'(0) = 1 är sinh x. Den börjar i origo med lutningen 1. Begynnelsevillkoren syns direkt i graferna.

Derivatan av tanh är lika ren:

$$\frac{d}{dx} \tanh x = \operatorname{sech}^{2} x$$

Eftersom $\operatorname{sech}^{2} x$ är positiv är tanh alltid växande. Eftersom sech närmar sig noll långt från origo närmar sig också lutningen för tanh noll, vilket förklarar grafens utplanade ändar.

Hyperboliska funktioner förekommer också i integration och substitution. Deras inversa funktioner kan uttrycka primitiva funktioner med kvadratrötter som sqrt($x^{2}$ + 1) eller sqrt($x^{2}$ - 1) kompakt. Du behöver inte formlerna för att förstå funktionerna, men sambandet förklarar varför en kurs i analys introducerar dem kort efter exponentialfunktioner och trigonometrisk substitution.

Varför hängande kablar använder cosh

Den tydligaste tillämpningen är en hängande kabel. En jämntjock flexibel kabel som hänger mellan två punkter och inte bär någon annan last än sin egen tyngd lägger sig som en kedjelinje. När den lägsta punkten ligger på y-axeln har ekvationen formen

$$y = a \cosh(x / a) + C$$

Konstanten C anger den lodräta positionen. Om koordinatsystemets origo väljs så att C är noll får vi den välkända formen y = a cosh(x / a). Konstanten a styr hur grund eller djup kurvan är. Ett stort a ger en flackare kabel, ett litet a ger ett stramare häng. Formen liknar en parabel nära botten, vilket är varför många gissar att hängande kedjor är paraboliska. Den exakta jämviktskurvan under kabelns egen tyngd är däremot en cosh-kurva.

Formeln är ingen dekorativ slump. Kabelspänningens horisontella komponent förblir konstant, medan den föränderliga lodräta komponenten balanserar den samlade tyngden. Kraftbalansen leder till en differentialekvation som cosh löser. Samma funktion som kom ur balansen mellan $e^{x}$ och $e^{-x}$ dyker upp igen när fysikaliska krafter balanseras längs en kurva.

Var misstagen uppstår

Fel med hyperboliska funktioner är oftast felaktiga analogier. Funktionerna liknar trigonometri tillräckligt mycket för att locka fram en gissning, men inte tillräckligt mycket för att varje trigonometriskt faktum ska överleva.

Det första misstaget är att läsa sinh x som sin(hx), som om h vore en variabel som multiplicerar vinkeln. Namnet uttalas "hyperbolisk sinus" och behandlas som en enda funktion. Bokstaven h är en etikett, inte indata.

Det andra är att kopiera cirkelidentiteten med ett plustecken. Den korrekta formeln är $\cosh^{2} x$ - $\sinh^{2} x$ = 1. Föreställ dig $x^{2} - y^{2} = 1$ så ger tecknet sig självt.

Det tredje är att ge cosh derivatan -sinh eftersom vanlig cosinus deriveras till -sinus. Gå tillbaka till exponentialfunktionerna: cosh är deras summa och derivatan är deras skillnad, alltså $\frac{d}{dx} \cosh x = \sinh x$.

Det fjärde är att blanda ihop inversa funktioner med reciproka funktioner. Beroende på lärobok kan inversen till sinh skrivas asinh, arcsinh eller sinh⁻¹. Den reciproka funktionen är csch, inte sinh⁻¹. På samma sätt är inversen till cosh acosh eller arcosh, medan den reciproka funktionen är sech.

De inversa funktionernas definitionsmängder spelar också roll. Sinh täcker alla reella utdata, så asinh accepterar alla reella indata. Cosh har minimivärdet 1 och upprepar värden på båda sidor om noll. Därför använder dess reella invers den begränsade grenen x större än eller lika med 0 och accepterar indata större än eller lika med 1. Tanh ger värden strikt mellan -1 och 1, så atanh accepterar bara indata i det intervallet.

Säg slutligen inte att y = cosh x "är en hyperbel." Grafen är den U-formade kedjelinjen. Paret (cosh t, sinh t) följer en hyperbel. Om du håller isär funktionsgrafen och den parametriserade kurvan undviker du en förvånansvärt vanlig begreppsknut.

Där Math Zen kommer in

Hyperboliska funktioner ligger i skärningspunkten mellan exponenter, identiteter och derivator. Om exponentialdefinitionerna sitter ordentligt kan det mesta av ämnet byggas upp på nytt i stället för att memoreras. Om de inte gör det blir sinh, cosh, tanh, sech, csch och coth sex nya knappar med sex fristående regelblad.

Math Zens övningar för hyperboliska funktioner följer det beroendet. Att beräkna sinh och cosh gör definitionerna välbekanta. Identitetsuppgifter förstärker hyperbelns minustecken. Derivatauppgifter synliggör det rena bytet mellan sinh och cosh, och senare uppgifter bygger säkerhet med inversa hyperboliska funktioner. Målet är inte att rabbla en tabell en gång. Det är att känna igen vilken bild som gör tabellen oundviklig.

En bra övningsföljd är kort och blandad: beräkna ett exakt värde, kontrollera en identitet, derivera en funktion och välj sedan rätt invers eller reciprok funktion. Återvänd till övningarna efter ett uppehåll, som vid utspridd repetition för matematik. Den upprepade kontrasten mot vanlig trigonometri får tecknen och namnen att fastna.

Sammanfattning

Hyperboliska funktioner är balanserade exponentialfunktioner. Cosh adderar tillväxt och avklingning, sinh subtraherar dem, och tanh jämför skillnaden med summan. Använd cosh och sinh tillsammans som koordinater så följer de $x^{2} - y^{2} = 1$. Därför liknar många motsvarande identiteter trigonometriska identiteter där cirkelns plustecken har ersatts med hyperbelns minustecken.

Tillsammans förklarar hyperbelbilden och exponentialdefinitionerna den centrala identiteten, graferna och derivatorna. De förklarar också varför funktionerna dyker upp där tillväxt och avklingning kombineras, från differentialekvationen y'' = y till kedjelinjen hos en hängande kabel. Bokstaven h skapar ingen ny vägg av formler. Den pekar på en annan kurva och en annan sorts rörelse som ligger bakom dem.