Exponential and Logarithmic Functions

Exponential Functions

  • Exponential functions model growth and decay phenomena across mathematics, physics, biology, and finance.

  • An exponential function is defined as any function of the form:   f(x)=bxf(x) = b^x   where b>0b > 0, b≠1b \neq 1, bb is a constant base, and xx is a variable exponent.

  • Distinction Between Exponential Functi5ons and Power Functions:

    • A power function has the form f(x)=xbf(x) = x^b, where the base is variable and the exponent is constant.

    • An exponential function has the form f(x)=bxf(x) = b^x, where the base is constant and the exponent is variable.

  • Comparing y=x2y = x^2 and y=2xy = 2^x:

    • Both functions approach infinity as x→∞x \rightarrow \infty, but y=2xy = 2^x eventually grows much more rapidly than y=x2y = x^2.

    • As x→−∞x \rightarrow -\infty, x2→∞x^2 \rightarrow \infty, whereas 2x→02^x \rightarrow 0. The horizontal line y=0y = 0 is a horizontal asymptote for y=2xy = 2^x.

  • Table of Numerical Comparison:

    • x=−3x = -3: x2=9x^2 = 9, 2x=1/82^x = 1/8

    • x=−2x = -2: x2=4x^2 = 4, 2x=1/42^x = 1/4

    • x=−1x = -1: x2=1x^2 = 1, 2x=1/22^x = 1/2

    • x=0x = 0: x2=0x^2 = 0, 2x=12^x = 1

    • x=1x = 1: x2=1x^2 = 1, 2x=22^x = 2

    • x=2x = 2: x2=4x^2 = 4, 2x=42^x = 4

    • x=3x = 3: x2=9x^2 = 9, 2x=82^x = 8

    • x=4x = 4: x2=16x^2 = 16, 2x=162^x = 16

    • x=5x = 5: x2=25x^2 = 25, 2x=322^x = 32

    • x=6x = 6: x2=36x^2 = 36, 2x=642^x = 64

Graph comparing y = x^2 and y = 2^x

Definitions of Exponents Across Number Systems

  • Positive Integer Exponents:

    • For a positive integer xx, bx=b⋅b⋯bb^x = b \cdot b \cdots b (xx factors of bb).

  • Negative Integer Exponents:

    • For a negative integer −y-y (where yy is a positive integer), b−y=1byb^{-y} = \frac{1}{b^y}.

  • Zero Exponent:

    • For any base b>0b > 0, b0=1b^0 = 1

  • Rational Exponents:

    • For rational numbers x=pqx = \frac{p}{q}, where pp and qq are integers and q>0q > 0:     bp/q=bpqb^{p/q} = \sqrt[q]{b^p}

    • Example: 93/2=93=729=279^{3/2} = \sqrt{9^3} = \sqrt{729} = 27

  • Irrational Exponents:

    • An expression with an irrational exponent, such as 2^{\text{\sqrt{2}}}, is defined as the limit of values obtained using rational approximations of the exponent.

    • Rational approximations of 2≈1.41421356...\sqrt{2} \approx 1.41421356... yield:

    • x=1.4  ⟹  21.4≈2.639x = 1.4 \implies 2^{1.4} \approx 2.639

    • x=1.41  ⟹  21.41≈2.65737x = 1.41 \implies 2^{1.41} \approx 2.65737

    • x=1.414  ⟹  21.414≈2.66475x = 1.414 \implies 2^{1.414} \approx 2.66475

    • x=1.4142  ⟹  21.4142≈2.665119x = 1.4142 \implies 2^{1.4142} \approx 2.665119

    • x=1.41421  ⟹  21.41421≈2.665138x = 1.41421 \implies 2^{1.41421} \approx 2.665138

    • x=1.414213  ⟹  21.414213≈2.665143x = 1.414213 \implies 2^{1.414213} \approx 2.665143

    • As rational values of xx approach 2\sqrt{2}, 2x2^x converges to 22≈2.6651442^{\sqrt{2}} \approx 2.665144

Applications and Properties of Exponential Functions

  • Bacterial Population Growth Example:

    • A population doubling every 4 hours4\text{\,hours} starting with 10001000 bacteria is described by:     n(t)=1000⋅2t/4n(t) = 1000 \cdot 2^{t/4}

    • Bacteria after 6 hours6\text{\,hours}:     n(6)=1000⋅26/4=1000⋅23/2≈2828 bacterian(6) = 1000 \cdot 2^{6/4} = 1000 \cdot 2^{3/2} \approx 2828\text{\,bacteria}

    • Bacteria after 10 hours10\text{\,hours}:     n(10)=1000⋅210/4=1000⋅25/2≈5657 bacterian(10) = 1000 \cdot 2^{10/4} = 1000 \cdot 2^{5/2} \approx 5657\text{\,bacteria}

    • Bacteria after 24 hours24\text{\,hours}:     n(24)=1000⋅224/4=1000⋅26=64,000 bacterian(24) = 1000 \cdot 2^{24/4} = 1000 \cdot 2^6 = 64,000\text{\,bacteria}

  • Evaluating Exponential Values:

    • For f(x)=3xf(x) = 3^x:

    • f(4)=34=81f(4) = 3^4 = 81

    • f(−2)=3−2=19f(-2) = 3^{-2} = \frac{1}{9}

  • Domain, Range, and Behavior of f(x)=bxf(x) = b^x:

    • Domain: (−∞,∞)(-\infty, \infty)

    • Range: (0,∞)(0, \infty)

    • When b>1b > 1: Function is increasing on (−∞,∞)(-\infty, \infty); bx→∞b^x \rightarrow \infty as x→∞x \rightarrow \infty, and bx→0b^x \rightarrow 0 as x→−∞x \rightarrow -\infty

    • When 0<b<10 < b < 1: Function is decreasing on (−∞,∞)(-\infty, \infty); bx→0b^x \rightarrow 0 as x→∞x \rightarrow \infty, and bx→∞b^x \rightarrow \infty as x→−∞x \rightarrow -\infty


Graphs of exponential functions for b > 1 and 0 < b < 1

Laws of Exponents

  • For constants a>0a > 0, b>0b > 0, and all real numbers xx and yy:

    1. bx⋅by=bx+yb^x \cdot b^y = b^{x+y}

    2. bxby=bx−y\frac{b^x}{b^y} = b^{x-y}

    3. (bx)y=bxy(b^x)^y = b^{xy}

    4. (ab)x=axbx(ab)^x = a^x b^x

    5. axbx=(ab)x\frac{a^x}{b^x} = \left(\frac{a}{b}\right)^x

  • Simplification Examples:

    • Example A:     (2x2/3)3(4x−1/3)2=23(x2/3)342(x−1/3)2=8x216x−2/3=x2x2/32=x8/32\frac{(2x^{2/3})^3}{(4x^{-1/3})^2} = \frac{2^3 (x^{2/3})^3}{4^2 (x^{-1/3})^2} = \frac{8x^2}{16x^{-2/3}} = \frac{x^2 x^{2/3}}{2} = \frac{x^{8/3}}{2}

    • Example B:     (x3y−1)2(xy2)−2=(x3)2(y−1)2x−2(y2)−2=x6y−2x−2y−4=x6x2y−2y4=x8y2\frac{(x^3 y^{-1})^2}{(xy^2)^{-2}} = \frac{(x^3)^2 (y^{-1})^2}{x^{-2} (y^2)^{-2}} = \frac{x^6 y^{-2}}{x^{-2} y^{-4}} = x^6 x^2 y^{-2} y^4 = x^8 y^2

    • Example C:     6x−3y212x−4y5=612x−3−(−4)y2−5=12x1y−3=x2y3\frac{6x^{-3}y^2}{12x^{-4}y^5} = \frac{6}{12} x^{-3 - (-4)} y^{2 - 5} = \frac{1}{2} x^1 y^{-3} = \frac{x}{2y^3}

The Number e and the Natural Exponential Function

  • Compound Interest and Derivation of ee:

    • Initial principal PP invested at annual interest rate rr compounded nn times per year for tt years:     A(t)=P(1+rn)ntA(t) = P\left(1 + \frac{r}{n}\right)^{nt}

    • Substituting m=nrm = \frac{n}{r} gives:     A(t)=P(1+1m)mrtA(t) = P\left(1 + \frac{1}{m}\right)^{mrt}

    • As compounding frequency approaches infinity (n→∞  ⟹  m→∞n \rightarrow \infty \implies m \rightarrow \infty):

    • m=10  ⟹  (1+110)10≈2.5937m = 10 \implies \left(1 + \frac{1}{10}\right)^{10} \approx 2.5937

    • m=100  ⟹  (1+1100)100≈2.7048m = 100 \implies \left(1 + \frac{1}{100}\right)^{100} \approx 2.7048

    • m=1000  ⟹  (1+11000)1000≈2.71692m = 1000 \implies \left(1 + \frac{1}{1000}\right)^{1000} \approx 2.71692

    • m=10,000  ⟹  (1+110,000)10,000≈2.71815m = 10,000 \implies \left(1 + \frac{1}{10,000}\right)^{10,000} \approx 2.71815

    • m=100,000  ⟹  (1+1100,000)100,000≈2.718268m = 100,000 \implies \left(1 + \frac{1}{100,000}\right)^{100,000} \approx 2.718268

    • m=1,000,000  ⟹  (1+11,000,000)1,000,000≈2.718280m = 1,000,000 \implies \left(1 + \frac{1}{1,000,000}\right)^{1,000,000} \approx 2.718280

  • Euler's Constant ee:

    • The limit as m→∞m \rightarrow \infty defines the mathematical constant ee:     e≈2.718281e \approx 2.718281

    • Notation introduced by Swiss mathematician Leonhard Euler in the 1720s.

  • Continuous Compounding Formula:   A(t)=PertA(t) = P e^{rt}

  • The Natural Exponential Function:

    • Function defined by f(x)=exf(x) = e^x

    • Uniquely characterized as the only exponential function whose tangent line at x=0x = 0 has a slope equal to 11.

Graph of f(x) = e^x showing tangent line at x=0 with slope 1
  • Worked Examples of Continuous Compounding:

    • Example 1: Principal P=$500P = \$500, annual interest rate r=0.055r = 0.055 (5.5%5.5\%):

    • Formula: A(t)=500e0.055tA(t) = 500 e^{0.055 t}

    • After 10 years10\text{\,years}: A(10)=500e0.055⋅10=500e0.55≈$866.63A(10) = 500 e^{0.055 \cdot 10} = 500 e^{0.55} \approx \$866.63

    • After 20 years20\text{\,years}: A(20)=500e0.055⋅20=500e1.1≈$1502.08A(20) = 500 e^{0.055 \cdot 20} = 500 e^{1.1} \approx \$1502.08

    • Example 2: Principal P=$800P = \$800, annual interest rate r=0.04r = 0.04 (4%4\%):

    • Formula: A(t)=800e0.04tA(t) = 800 e^{0.04 t}

    • After 5 years5\text{\,years}: A(5)=800e0.04⋅5=800e0.2≈$977.12A(5) = 800 e^{0.04 \cdot 5} = 800 e^{0.2} \approx \$977.12

Logarithmic Functions

  • Since f(x)=bxf(x) = b^x (for b>0,b≠1b > 0, b \neq 1) is a continuous, strictly monotonic, one-to-one function with domain (−∞,∞)(-\infty, \infty) and range (0,∞)(0, \infty), it possesses an inverse function.

  • Definition of Logarithmic Function:

    • The logarithmic function with base bb, denoted y=log⁡b(x)y = \log_b(x), is defined as:     y=log⁡b(x)  ⟺  by=xy = \log_b(x) \iff b^y = x

    • Domain: (0,∞)(0, \infty)

    • Range: (−∞,∞)(-\infty, \infty)

  • Key Evaluation Examples:

    • log⁡2(8)=3\log_2(8) = 3 because 23=82^3 = 8

    • log⁡10(1100)=−2\log_{10}\left(\frac{1}{100}\right) = -2 because 10−2=110010^{-2} = \frac{1}{100}

    • log⁡b(1)=0\log_b(1) = 0 because b0=1b^0 = 1

  • Inverse Cancellation Equations:

    • log⁡b(bx)=x\log_b(b^x) = x for all x∈(−∞,∞)x \in (-\infty, \infty)

    • blog⁡b(x)=xb^{\log_b(x)} = x for all x>0x > 0

  • The Natural Logarithm:

    • Logarithm with base ee, written as ln⁡(x)\ln(x) or ln⁡x\ln x:     ln⁡(x)=log⁡e(x)\ln(x) = \log_e(x)

    • Key identities: ln⁡(e)=1\ln(e) = 1, ln⁡(e3)=3\ln(e^3) = 3, ln⁡(1)=0\ln(1) = 0

    • Inverse cancellation: ln⁡(ex)=x\ln(e^x) = x and eln⁡(x)=xe^{\ln(x)} = x

    • The graphs of y=exy = e^x and y=ln⁡(x)y = \ln(x) are reflection symmetric across the line y=xy = x.

Graphs of f(x) = e^x and y = ln(x) showing symmetry about line y = xGraphs of logarithmic functions for different bases

Properties and Equations of Logarithms

  • Properties of Logarithms:   For a,b,c>0a, b, c > 0, b≠1b \neq 1, and any real number rr:

    1. Product Property: log⁡b(ac)=log⁡b(a)+log⁡b(c)\log_b(ac) = \log_b(a) + \log_b(c)

    2. Quotient Property: log⁡b(ac)=log⁡b(a)−log⁡b(c)\log_b\left(\frac{a}{c}\right) = \log_b(a) - \log_b(c)

    3. Power Property: log⁡b(ar)=rlog⁡b(a)\log_b(a^r) = r \log_b(a)

  • Solving Exponential Equations:

    • Equation 1: Solve 5x=25^x = 2     ln⁡(5x)=ln⁡(2)  ⟹  xln⁡(5)=ln⁡(2)  ⟹  x=ln⁡(2)ln⁡(5)\ln(5^x) = \ln(2) \implies x \ln(5) = \ln(2) \implies x = \frac{\ln(2)}{\ln(5)}

    • Equation 2: Solve ex+6e−x=5e^x + 6e^{-x} = 5     Multiply by exe^x:     e2x+6=5ex  ⟹  (ex)2−5(ex)+6=0e^{2x} + 6 = 5e^x \implies (e^x)^2 - 5(e^x) + 6 = 0     Factor in exe^x:     (ex−3)(ex−2)=0  ⟹  ex=3 or ex=2  ⟹  x=ln⁡(3) or x=ln⁡(2)(e^x - 3)(e^x - 2) = 0 \implies e^x = 3 \text{ or } e^x = 2 \implies x = \ln(3) \text{ or } x = \ln(2)

    • Equation 3: Solve 3x/2=113^{x/2} = 11     ln⁡(3x/2)=ln⁡(11)  ⟹  x2ln⁡(3)=ln⁡(11)  ⟹  x=2ln⁡(11)ln⁡(3)\ln\left(3^{x/2}\right) = \ln(11) \implies \frac{x}{2} \ln(3) = \ln(11) \implies x = \frac{2\ln(11)}{\ln(3)}

  • Solving Logarithmic Equations:

    • Equation 1: Solve ln⁡(1x)=4\ln\left(\frac{1}{x}\right) = 4     e4=1x  ⟹  x=1e4=e−4e^4 = \frac{1}{x} \implies x = \frac{1}{e^4} = e^{-4}

    • Equation 2: Solve log⁡10(x)+log⁡10(x)=2\log_{10}(\sqrt{x}) + \log_{10}(x) = 2     log⁡10(x1/2⋅x1)=log⁡10(x3/2)=32log⁡10(x)=2\log_{10}\left(x^{1/2} \cdot x^1\right) = \log_{10}\left(x^{3/2}\right) = \frac{3}{2}\log_{10}(x) = 2     log⁡10(x)=43  ⟹  x=104/3=10103\log_{10}(x) = \frac{4}{3} \implies x = 10^{4/3} = 10\sqrt[3]{10}

    • Equation 3: Solve ln⁡(2x)−3ln⁡(x2)=0\ln(2x) - 3\ln(x^2) = 0     ln⁡(2x)−ln⁡(x6)=0  ⟹  ln⁡(2xx6)=ln⁡(2x5)=0\ln(2x) - \ln\left(x^6\right) = 0 \implies \ln\left(\frac{2x}{x^6}\right) = \ln\left(\frac{2}{x^5}\right) = 0     2x5=e0=1  ⟹  x5=2  ⟹  x=25\frac{2}{x^5} = e^0 = 1 \implies x^5 = 2 \implies x = \sqrt[5]{2}

    • Equation 4: Solve ln⁡(x3)−4ln⁡(x)=1\ln(x^3) - 4\ln(x) = 1     3ln⁡(x)−4ln⁡(x)=1  ⟹  −ln⁡(x)=1  ⟹  ln⁡(x)=−1  ⟹  x=e−1=1e3\ln(x) - 4\ln(x) = 1 \implies -\ln(x) = 1 \implies \ln(x) = -1 \implies x = e^{-1} = \frac{1}{e}

Change-of-Base Formulas

  • Formulas:   For a>0,b>0a > 0, b > 0, a≠1,b≠1a \neq 1, b \neq 1:

    1. Exponential Change of Base:      ax=bxlog⁡b(a)a^x = b^{x \log_b(a)}      If b=eb = e, ax=exlog⁡e(a)=exln⁡(a)a^x = e^{x \log_e(a)} = e^{x \ln(a)}

    2. Logarithmic Change of Base:      log⁡a(x)=log⁡b(x)log⁡b(a)\log_a(x) = \frac{\log_b(x)}{\log_b(a)}      If b=eb = e, log⁡a(x)=ln⁡(x)ln⁡(a)\log_a(x) = \frac{\ln(x)}{\ln(a)}

  • Algebraic Proofs:

    • Proof 1: By inverse properties, blog⁡b(ax)=axb^{\log_b(a^x)} = a^x. Applying the power property to the exponent yields bxlog⁡b(a)=axb^{x \log_b(a)} = a^x.

    • Proof 2: Let u=log⁡b(a)u = \log_b(a), v=log⁡a(x)v = \log_a(x), and w=log⁡b(x)w = \log_b(x). By definition, bu=ab^u = a, av=xa^v = x, and bw=xb^w = x. Then bw=x=av=(bu)v=buvb^w = x = a^v = (b^u)^v = b^{uv}. Since exponential functions are one-to-one, w=uv  ⟹  v=wuw = uv \implies v = \frac{w}{u}, proving log⁡a(x)=log⁡b(x)log⁡b(a)\log_a(x) = \frac{\log_b(x)}{\log_b(a)}.

  • Change-of-Base Evaluation Examples:

    • log⁡3(7)=ln⁡(7)ln⁡(3)≈1.77124\log_3(7) = \frac{\ln(7)}{\ln(3)} \approx 1.77124

    • log⁡4(22)=ln⁡(22)ln⁡(4)≈2.2295\log_4(22) = \frac{\ln(22)}{\ln(4)} \approx 2.2295

  • Application: The Richter Scale for Earthquakes:

    • Developed in 1935 by Charles Richter using a base-10 logarithmic scale.

    • Relative amplitude equation between two earthquakes of magnitudes R1R_1 and R2R_2 with wave amplitudes A1A_1 and A2A_2:     R1−R2=log⁡10(A1A2)R_1 - R_2 = \log_{10}\left(\frac{A_1}{A_2}\right)

    • Magnitude 8 vs. Magnitude 7: 8−7=1  ⟹  A1A2=101=108 - 7 = 1 \implies \frac{A_1}{A_2} = 10^1 = 10 (10 times more intense).

    • Magnitude 8 vs. Magnitude 6: 8−6=2  ⟹  A1A2=102=1008 - 6 = 2 \implies \frac{A_1}{A_2} = 10^2 = 100 (100 times more intense).

    • Magnitude 9.0 (Japan 2011) vs. Magnitude 7.3 (Haiti 2010):     9.0−7.3=1.7=log⁡10(A1A2)  ⟹  A1A2=101.7≈50.11879.0 - 7.3 = 1.7 = \log_{10}\left(\frac{A_1}{A_2}\right) \implies \frac{A_1}{A_2} = 10^{1.7} \approx 50.1187     The earthquake in Japan was approximately 5050 times more intense than the earthquake in Haiti.

    • Magnitude 8.5 vs. Magnitude 6.2:     8.5−6.2=2.3  ⟹  A1A2=102.3≈199.538.5 - 6.2 = 2.3 \implies \frac{A_1}{A_2} = 10^{2.3} \approx 199.53 (approximately 200200 times more intense).

Panoramic mountain view illustrating earthquake geography

Hyperbolic Functions

  • Hyperbolic functions represent combinations of exe^x and e−xe^{-x} that describe physical systems such as water waves, elastic membrane vibrations, and hanging cables (catenaries).

Water droplets on spider web strand forming catenary curve modeled by hyperbolic cosine
  • Fundamental Definitions:

    • Hyperbolic Cosine:     cosh⁡(x)=ex+e−x2\cosh(x) = \frac{e^x + e^{-x}}{2}

    • Hyperbolic Sine:     sinh⁡(x)=ex−e−x2\sinh(x) = \frac{e^x - e^{-x}}{2}

    • Hyperbolic Tangent:     tanh⁡(x)=sinh⁡(x)cosh⁡(x)=ex−e−xex+e−x\tanh(x) = \frac{\sinh(x)}{\cosh(x)} = \frac{e^x - e^{-x}}{e^x + e^{-x}}

    • Hyperbolic Cosecant:     \csch(x) = \frac{1}{\sinh(x)} = \frac{2}{e^x - e^{-x}}

    • Hyperbolic Secant:     \sech(x) = \frac{1}{\cosh(x)} = \frac{2}{e^x + e^{-x}}

    • Hyperbolic Cotangent:     coth⁡(x)=cosh⁡(x)sinh⁡(x)=ex+e−xex−e−x\coth(x) = \frac{\cosh(x)}{\sinh(x)} = \frac{e^x + e^{-x}}{e^x - e^{-x}}

  • Pronunciation Guide:

    • cosh⁡(x)\cosh(x): "kosh" (rhymes with gosh)

    • sinh⁡(x)\sinh(x): "cinch"

    • tanh⁡(x)\tanh(x): "tanch"

    • \sech(x): "seech"

    • \csch(x): "coseech"

    • coth⁡(x)\coth(x): "cotanch"

  • Catenary Equation for Hanging Chains:   y=acosh⁡(xa)+by = a \cosh\left(\frac{x}{a}\right) + b

  • Fundamental Hyperbolic Identity Derivation:   cosh⁡2(t)−sinh⁡2(t)=(et+e−t2)2−(et−e−t2)2=e2t+2+e−2t4−e2t−2+e−2t4=44=1\cosh^2(t) - \sinh^2(t) = \left(\frac{e^t + e^{-t}}{2}\right)^2 - \left(\frac{e^t - e^{-t}}{2}\right)^2 = \frac{e^{2t} + 2 + e^{-2t}}{4} - \frac{e^{2t} - 2 + e^{-2t}}{4} = \frac{4}{4} = 1   This identity is the hyperbolic analog of the trigonometric identity cos⁡2(t)+sin⁡2(t)=1\cos^2(t) + \sin^2(t) = 1. The point (cosh⁡(t),sinh⁡(t))(\cosh(t), \sinh(t)) lies on the unit hyperbola x2−y2=1x^2 - y^2 = 1.

Unit hyperbola x^2 - y^2 = 1 showing point (cosh(1), sinh(1))Graphs of the six hyperbolic functions

Hyperbolic Identities and Operations

  • Complete List of Hyperbolic Identities:

    1. cosh⁡2(x)−sinh⁡2(x)=1\cosh^2(x) - \sinh^2(x) = 1

    2. 1 - \tanh^2(x) = \sech^2(x)

    3. \coth^2(x) - 1 = \csch^2(x)

    4. sinh⁡(x±y)=sinh⁡(x)cosh⁡(y)±cosh⁡(x)sinh⁡(y)\sinh(x \pm y) = \sinh(x)\cosh(y) \pm \cosh(x)\sinh(y)

    5. cosh⁡(x±y)=cosh⁡(x)cosh⁡(y)±sinh⁡(x)sinh⁡(y)\cosh(x \pm y) = \cosh(x)\cosh(y) \pm \sinh(x)\sinh(y)

    6. sinh⁡(2x)=2sinh⁡(x)cosh⁡(x)\sinh(2x) = 2\sinh(x)\cosh(x)

    7. cosh⁡(2x)=cosh⁡2(x)+sinh⁡2(x)=2cosh⁡2(x)−1=1+2sinh⁡2(x)\cosh(2x) = \cosh^2(x) + \sinh^2(x) = 2\cosh^2(x) - 1 = 1 + 2\sinh^2(x)

    8. cosh⁡2(x)=cosh⁡(2x)+12\cosh^2(x) = \frac{\cosh(2x) + 1}{2}

    9. sinh⁡2(x)=cosh⁡(2x)−12\sinh^2(x) = \frac{\cosh(2x) - 1}{2}

  • Identity Application Examples:

    • Example A: Simplify sinh⁡(5x)cosh⁡(3x)−cosh⁡(5x)sinh⁡(3x)\sinh(5x)\cosh(3x) - \cosh(5x)\sinh(3x)     Using Identity 4: sinh⁡(5x−3x)=sinh⁡(2x)\sinh(5x - 3x) = \sinh(2x)

    • Example B: Given tanh⁡(x)=35\tanh(x) = \frac{3}{5}, evaluate the remaining five hyperbolic functions:

    • 1 - \tanh^2(x) = \sech^2(x) \implies 1 - \frac{9}{25} = \frac{16}{25} = \sech^2(x)

    • Since \sech(x) > 0 for all real xx, \sech(x) = \frac{4}{5}

    • \cosh(x) = \frac{1}{\sech(x)} = \frac{5}{4}

    • sinh⁡(x)=tanh⁡(x)cosh⁡(x)=(35)(54)=34\sinh(x) = \tanh(x)\cosh(x) = \left(\frac{3}{5}\right)\left(\frac{5}{4}\right) = \frac{3}{4}

    • \csch(x) = \frac{1}{\sinh(x)} = \frac{4}{3}

    • coth⁡(x)=1tanh⁡(x)=53\coth(x) = \frac{1}{\tanh(x)} = \frac{5}{3}

    • Example C: Simplify cosh⁡(2x)+sinh⁡(2x)\cosh(2x) + \sinh(2x)     e2x+e−2x2+e2x−e−2x2=2e2x2=e2x\frac{e^{2x} + e^{-2x}}{2} + \frac{e^{2x} - e^{-2x}}{2} = \frac{2e^{2x}}{2} = e^{2x}

Inverse Hyperbolic Functions

  • Domain Restrictions for Invertibility:

    • sinh⁡(x)\sinh(x), tanh⁡(x)\tanh(x), \csch(x), and coth⁡(x)\coth(x) are one-to-one across their entire domains.

    • cosh⁡(x)\cosh(x) and \sech(x) must be restricted to the domain interval [0,∞)[0, \infty) to make them one-to-one and invertibility valid.

  • Explicit Logarithmic Formulas and Domains:

    1. sinh⁡−1(x)=ln⁡(x+x2+1)\sinh^{-1}(x) = \ln\left(x + \sqrt{x^2 + 1}\right) for domain (−∞,∞)(-\infty, \infty)

    2. cosh⁡−1(x)=ln⁡(x+x2−1)\cosh^{-1}(x) = \ln\left(x + \sqrt{x^2 - 1}\right) for domain [1,∞)[1, \infty)

    3. tanh⁡−1(x)=12ln⁡(1+x1−x)\tanh^{-1}(x) = \frac{1}{2}\ln\left(\frac{1 + x}{1 - x}\right) for domain (−1,1)(-1, 1)

    4. \csch^{-1}(x) = \ln\left(\frac{1}{x} + \frac{\sqrt{1 + x^2}}{|x|}\right) = \sinh^{-1}\left(\frac{1}{x}\right) for domain x≠0x \neq 0

    5. \sech^{-1}(x) = \ln\left(\frac{1 + \sqrt{1 - x^2}}{x}\right) = \cosh^{-1}\left(\frac{1}{x}\right) for domain (0,1](0, 1]

    6. coth⁡−1(x)=12ln⁡(x+1x−1)=tanh⁡−1(1x)\coth^{-1}(x) = \frac{1}{2}\ln\left(\frac{x + 1}{x - 1}\right) = \tanh^{-1}\left(\frac{1}{x}\right) for domain (−∞,−1)∪(1,∞)(-\infty, -1) \cup (1, \infty)

  • Derivation of sinh⁡−1(x)\sinh^{-1}(x):

    • Let y=sinh⁡−1(x)  ⟹  x=sinh⁡(y)=ey−e−y2y = \sinh^{-1}(x) \implies x = \sinh(y) = \frac{e^y - e^{-y}}{2}

    • Multiply by 22: 2x=ey−e−y  ⟹  ey−2x−e−y=02x = e^y - e^{-y} \implies e^y - 2x - e^{-y} = 0

    • Multiply by eye^y: (ey)2−2x(ey)−1=0(e^y)^2 - 2x(e^y) - 1 = 0

    • Apply quadratic formula in eye^y:     ey=2x±4x2+42=x±x2+1e^y = \frac{2x \pm \sqrt{4x^2 + 4}}{2} = x \pm \sqrt{x^2 + 1}

    • Since ey>0e^y > 0 for all yy and x2+1>x\sqrt{x^2 + 1} > x, select the positive root: ey=x+x2+1e^y = x + \sqrt{x^2 + 1}

    • Take natural logarithm: y=ln⁡(x+x2+1)y = \ln\left(x + \sqrt{x^2 + 1}\right)

  • Inverse Hyperbolic Evaluation Examples:

    • cosh⁡−1(2)=ln⁡(2+22−1)=ln⁡(2+3)\cosh^{-1}(2) = \ln\left(2 + \sqrt{2^2 - 1}\right) = \ln(2 + \sqrt{3})

    • tanh⁡−1(12)=12ln⁡(1+1/21−1/2)=12ln⁡(3/21/2)=12ln⁡(3)\tanh^{-1}\left(\frac{1}{2}\right) = \frac{1}{2}\ln\left(\frac{1 + 1/2}{1 - 1/2}\right) = \frac{1}{2}\ln\left(\frac{3/2}{1/2}\right) = \frac{1}{2}\ln(3)

    • sinh⁡−1(1)=ln⁡(1+12+1)=ln⁡(1+2)\sinh^{-1}(1) = \ln\left(1 + \sqrt{1^2 + 1}\right) = \ln(1 + \sqrt{2})