Masteries · Jason GlowneyArithmoí Book 1

Masteries

1.3.5 Circular Curvature and the Wave Equation

In the last sec­tion, we used images that showed cir­cu­lar arcs of the unit circle and com­pared them to arcs on a much larger circle of radius r=25.r = 25.In this sec­tion, we again apply cir­cu­lar arcs and the radius of cur­va­ture with a stan­dard­ized ar­clength for the unit circle. By doing so, we find ex­pres­sions in the form of dif­fer­en­tial equa­tions that enable us to ex­press cur­va­ture in terms of the wave equa­tion. From the ex­am­ple cir­cles in the last sec­tion, we ex­press the equiv­a­lence from Eq. 1.3.78 in the fol­low­ing form

∫−ϕϵ2ϕϵ2Rϵcos2⁡(t)+sin2⁡(t) dt=∫−ϕ2ϕ2 Rcos2⁡(t)+sin2⁡(t) dt.\begin{array}{r} \int_{- \frac{\phi_{\epsilon}}{2}}^{\frac{\phi_{\epsilon}}{2}}{R_{\epsilon}\sqrt{\cos^{2}(t) + \sin^{2}(t)}\ dt} = \int_{- \frac{\phi}{2}}^{\frac{\phi}{2}}{\ R\sqrt{\cos^{2}(t) + \sin^{2}(t)}\ dt}. \end{array}
(1.3.84)

Above, RϵR_{\epsilon} rep­re­sents the uni­tary spa­tial radius of the unit circle, RR is the radius of an­oth­er circle of pre­sum­ably dif­fer­ing radius, and equal­ly split wave num­bers in ra­di­ans rep­re­sent the bounds of in­te­gra­tion for both. Solv­ing this ex­pres­sion for RϵR\frac{R_{\epsilon}}{R} re­sults in the ratio ex­pres­sion of radii to that of unit circle ar­clength in­te­grals

∫−ϕϵ2ϕϵ2Rϵcos2⁡(t)+sin2⁡(t) dt=∫−ϕ2ϕ2 Rcos2⁡(t)+sin2⁡(t) dt\int_{- \frac{\phi_{\epsilon}}{2}}^{\frac{\phi_{\epsilon}}{2}}{R_{\epsilon}\sqrt{\cos^{2}(t) + \sin^{2}(t)}\ dt} = \int_{- \frac{\phi}{2}}^{\frac{\phi}{2}}{\ R\sqrt{\cos^{2}(t) + \sin^{2}(t)}\ dt}
→Rϵ∫−ϕϵ2ϕϵ21 dt=R∫−ϕϵ2Rϕϵ2R 1 dt→RϵR=(∫−ϕϵ2Rϕϵ2R 1 dt)(∫−ϕϵ2ϕϵ21 dt)→κ=1R.\begin{array}{r} \rightarrow R_{\epsilon}\int_{- \frac{\phi_{\epsilon}}{2}}^{\frac{\phi_{\epsilon}}{2}}{1\ dt} = R\int_{- \frac{\phi_{\epsilon}}{2R}}^{\frac{\phi_{\epsilon}}{2R}}{\ 1\ dt} \rightarrow \frac{R_{\epsilon}}{R} = \frac{\left( \int_{- \frac{\phi_{\epsilon}}{2R}}^{\frac{\phi_{\epsilon}}{2R}}{\ 1\ dt} \right)}{\left( \int_{- \frac{\phi_{\epsilon}}{2}}^{\frac{\phi_{\epsilon}}{2}}{1\ dt} \right)} \rightarrow \kappa = \frac{1}{R}. \end{array}
(1.3.85)

This ex­pres­sion is like that found in the last sec­tion for cir­cu­lar cur­va­ture, and this result can be gen­er­al­ized to any two cir­cles of dif­fer­ent radii with equal ar­clengths, as

R1R2=(∫−ϕ12R1R2ϕ12R1R2 1 dt)(∫−ϕ12R1ϕ12R1 1 dt),\begin{array}{r} \frac{R_{1}}{R_{2}} = \frac{\left( \int_{- \frac{\phi_{1}}{2R_{1}R_{2}}}^{\frac{\phi_{1}}{2R_{1}R_{2}}}{\ 1\ dt} \right)}{\left( \int_{- \frac{\phi_{1}}{2R_{1}}}^{\frac{\phi_{1}}{2R_{1}}}{\ 1\ dt} \right)}, \end{array}
(1.3.86)

for which, R1<R2.R_{1} < R_{2}.This can be stated in cur­va­ture no­ta­tion,

κ2κ1=(∫−ϕ12R1R2ϕ12R1R2 1 dt)(∫−ϕ12R1ϕ12R1 1 dt),\begin{array}{r} \frac{\kappa_{2}}{\kappa_{1}} = \frac{\left( \int_{- \frac{\phi_{1}}{2R_{1}R_{2}}}^{\frac{\phi_{1}}{2R_{1}R_{2}}}{\ 1\ dt} \right)}{\left( \int_{- \frac{\phi_{1}}{2R_{1}}}^{\frac{\phi_{1}}{2R_{1}}}{\ 1\ dt} \right)}, \end{array}
(1.3.87)

and eval­u­at­ing the in­te­grals, we find a form like the case of the unit circle,

κ2κ1= t|(−ϕ12R1R2)(ϕ12R1R2) t|(−ϕ12R1)(ϕ12R1)=R1ϕ1(ϕ1R1R2)=1ϕ1(ϕ1R2),\begin{array}{r} \frac{\kappa_{2}}{\kappa_{1}} = \frac{\left. \ t \right|_{\left( - \frac{\phi_{1}}{2R_{1}R_{2}} \right)}^{\left( \frac{\phi_{1}}{2R_{1}R_{2}} \right)}}{\left. \ t \right|_{\left( - \frac{\phi_{1}}{2R_{1}} \right)}^{\left( \frac{\phi_{1}}{2R_{1}} \right)}} = \frac{R_{1}}{\phi_{1}}\left( \frac{\phi_{1}}{{R_{1}R}_{2}} \right) = \frac{1}{\phi_{1}}\left( \frac{\phi_{1}}{R_{2}} \right), \end{array}
(1.3.88)

im­ply­ing the ratio of the cur­va­tures of two cir­cles can be stated by a wave number de­pen­den­cy. By set­ting R1=RϵR_{1} = R_{\epsilon}, and R2=RR_{2} = R, the result above sim­pli­fies to the form

κ=1ϕϵ(ϕϵR),\begin{array}{r} \kappa = \frac{1}{\phi_{\epsilon}}\left( \frac{\phi_{\epsilon}}{R} \right), \end{array}
(1.3.89)

which rep­re­sents the dxds\frac{dx}{ds} por­tion of the cur­va­ture ex­pres­sion

κ=dxdsdϕdx.\begin{array}{r} \kappa = \frac{dx}{ds}\frac{d\phi}{dx}. \end{array}
(1.3.90)

Since we are con­sid­er­ing cir­cles with equal ar­clengths, this yields the iden­ti­ty equiv­a­lence

ϵ=dϕϵdxdxds=Rdxdsdϕdx.\begin{array}{r} \epsilon = \frac{d\phi_{\epsilon}}{dx}\frac{dx}{ds} = R\frac{dx}{ds}\frac{d\phi}{dx}. \end{array}
(1.3.91)

Noting the fol­low­ing iden­ti­ties for the wavenum­ber kk, and the an­gu­lar fre­quen­cy ω\omega,

 k=2πλ,\begin{array}{r} \ k = \frac{2\pi}{\lambda}, \end{array}
(1.3.92)
ω=2πT,\begin{array}{r} \omega = \frac{2\pi}{T}, \end{array}
(1.3.93)

for λ\lambda, the wave­length and TT, the period. There­fore, we can define the stan­dard wave number kϵk_{\epsilon}, and an­gu­lar fre­quen­cy ωϵ\omega_{\epsilon}, for the unit circle, as the fol­low­ing

kϵ=2π1,\begin{array}{r} k_{\epsilon} = \frac{2\pi}{1}, \end{array}
(1.3.94)
ωϵ=2π1.\begin{array}{r} \omega_{\epsilon} = \frac{2\pi}{1}. \end{array}
(1.3.95)

The wave number is de­fined in ra­di­ans per unit dis­tance in space, while the an­gu­lar fre­quen­cy is de­fined in ra­di­ans per unit dis­tance in time. This means the uni­tary values for λ\lambda, T\ T in the stan­dard­iza­tions differ from each other, and to ac­count for this, kϵk_{\epsilon}, ωϵ\omega_{\epsilon} can be rewrit­ten, as

kϵ=2πλϵ,\begin{array}{r} k_{\epsilon} = \frac{2\pi}{\lambda_{\epsilon}}, \end{array}
(1.3.96)
ωϵ=2πTϵ.\begin{array}{r} \omega_{\epsilon} = \frac{2\pi}{T_{\epsilon}}. \end{array}
(1.3.97)

where TϵT_{\epsilon} rep­re­sents the unit period dis­tance in time and λϵ\lambda_{\epsilon} rep­re­sents the unit wave­length dis­tance in space. With these stan­dards, we can ex­press the unit an­gu­lar fre­quen­cy as the fol­low­ing ar­clength in­te­gral, for R(Tϵ)=1TϵR_{\left( T_{\epsilon} \right)} = \frac{1}{T_{\epsilon}},

ωϵ=∫−ππ R(Tϵ)cos2⁡(t)+sin2⁡(t) dt=2πTϵ,\begin{array}{r} \omega_{\epsilon} = \int_{- \pi}^{\pi}{{\ R}_{\left( T_{\epsilon} \right)}\sqrt{\cos^{2}(t) + \sin^{2}(t)}\ dt} = \frac{2\pi}{T_{\epsilon}}, \end{array}
(1.3.98)

and the unit wave number, for R(λϵ)= 1λϵR_{\left( \lambda_{\epsilon} \right)} = \ \frac{1}{\lambda_{\epsilon}}, as

kϵ=∫−ππR(λϵ)cos2⁡(s)+sin2⁡(s) ds=2πλϵ,\begin{array}{r} k_{\epsilon} = \int_{- \pi}^{\pi}{R_{\left( \lambda_{\epsilon} \right)}\sqrt{\cos^{2}(s) + \sin^{2}(s)}\ ds} = \frac{2\pi}{\lambda_{\epsilon}}, \end{array}
(1.3.99)

where the radial unit dis­tance in time R(Tϵ)R_{\left( T_{\epsilon} \right)}, and the radial unit dis­tance in space R(λϵ)R_{\left( \lambda_{\epsilon} \right)}, are dis­cerned. The sim­i­lar­i­ty be­tween the stan­dard­iza­tions and the re­duced Planck's con­stant ℏ\hslash should be noted

ℏ=h2π,\begin{array}{r} \hslash = \frac{h}{2\pi}, \end{array}
(1.3.100)

in which, hh rep­re­sents Planck's con­stant. The ar­clength equal­i­ty in the pre­vi­ous sec­tion can now be eval­u­at­ed using the wave number stan­dard­iza­tion kϵ=2πλϵk_{\epsilon} = \frac{2\pi}{\lambda_{\epsilon}}, as

kϵ=∫−πλϵπλϵR(λϵ)cos2⁡(s)+sin2⁡(s) ds=∫−π25π25(R=25)cos2⁡(s)+sin2⁡(s) ds,\begin{array}{r} k_{\epsilon} = \int_{- \frac{\pi}{\lambda_{\epsilon}}}^{\frac{\pi}{\lambda_{\epsilon}}}{R_{\left( \lambda_{\epsilon} \right)}\sqrt{\cos^{2}(s) + \sin^{2}(s)}\ ds} = \int_{- \frac{\pi}{25}}^{\frac{\pi}{25}}{(R = 25)\sqrt{\cos^{2}(s) + \sin^{2}(s)}\ ds}, \end{array}
(1.3.102)

and the figure below shows a plot of the com­par­a­tive cir­cu­lar arcs for each con­ver­gence radius.

Figure
Figure 1.3.13 - Cir­cu­lar arcs for the radii of cur­va­ture, with bounds rep­re­sent­ing the stan­dard an­gu­lar

fre­quen­cy of the unit circle in blue, kϵR(λϵ)=(−π,π)\frac{k_{\epsilon}}{R\left( \lambda_{\epsilon} \right)} = ( - \pi,\pi), and the circle of radius, R=25R = 25, in red,kϵR=(−π25,π25).\frac{k_{\epsilon}}{R} = \left( - \frac{\pi}{25},\frac{\pi}{25} \right).

Space cur­va­ture for the circle is the typ­i­cal math­e­mat­i­cal treat­ment we en­counter, and it can be pa­ram­e­trized into the spa­tial form

γ(s)=cos⁡(kx)+sin⁡(kx).\begin{array}{r} \gamma(s) = \cos(kx) + \sin(kx). \end{array}
(1.3.103)

The ar­clength A(γ(s))A\left( \gamma(s) \right), will have the in­te­gral rep­re­sen­ta­tion,

A(γ(s))=∫−πλπλ(ddx[cos⁡(kx)])2+(ddx[sin⁡(kx)])2dx,\begin{array}{r} A\left( \gamma(s) \right) = \int_{- \frac{\pi}{\lambda}}^{\frac{\pi}{\lambda}}\sqrt{\left( \frac{d}{dx}\left\lbrack \cos(kx) \right\rbrack \right)^{2} + \left( \frac{d}{dx}\left\lbrack \sin(kx) \right\rbrack \right)^{2}}dx, \end{array}
(1.3.104)

which eval­u­ates to the squared wave number

A(γ(s))=∫−πλπλk2cos2⁡(kx)+k2sin2⁡(kx)dxA\left( \gamma(s) \right) = \int_{- \frac{\pi}{\lambda}}^{\frac{\pi}{\lambda}}\sqrt{k^{2}\cos^{2}(kx) + k^{2}\sin^{2}(kx)}dx
→∫−πλπλk dx= kx|−πλπλ=k(2πλ)=k2.\begin{array}{r} \rightarrow \int_{- \frac{\pi}{\lambda}}^{\frac{\pi}{\lambda}}{k\ dx} = \left. \ kx \right|_{- \frac{\pi}{\lambda}}^{\frac{\pi}{\lambda}} = k\left( \frac{2\pi}{\lambda} \right) = k^{2}. \end{array}
(1.3.105)

The ar­clength with unit spa­tial domain bounds of in­te­gra­tion is ex­pressed, as

A(γϵ(s))=∫−πλϵπλϵ(ddx[cos⁡(kx)])2+(ddx[sin⁡(kx)])2dx,\begin{array}{r} A\left( \gamma_{\epsilon}(s) \right) = \int_{- \frac{\pi}{\lambda_{\epsilon}}}^{\frac{\pi}{\lambda_{\epsilon}}}{\sqrt{\left( \frac{d}{dx}\left\lbrack \cos(kx) \right\rbrack \right)^{2} + \left( \frac{d}{dx}\left\lbrack \sin(kx) \right\rbrack \right)^{2}}dx}, \end{array}
(1.3.06)

and this in­te­gral eval­u­ates to

A(γϵ(s))=∫−ππk2cos2⁡(kx)+k2sin2⁡(kx)dxA\left( \gamma_{\epsilon}(s) \right) = \int_{- \pi}^{\pi}\sqrt{k^{2}\cos^{2}(kx) + k^{2}\sin^{2}(kx)}dx
→∫−ππk dx= kx|−ππ=k(2π)=2πk,\begin{array}{r} \rightarrow \int_{- \pi}^{\pi}{k\ dx} = \left. \ kx \right|_{- \pi}^{\pi} = k(2\pi) = 2\pi k, \end{array}
(1.3.107)

where the prod­uct of the unit wavenum­ber 2πk2\pi k, and the wavenum­ber rep­re­sen­ta­tion of the non-uni­tary radius circle are con­sid­ered

A(γϵ(s))=2πk=kϵk.\begin{array}{r} A\left( \gamma_{\epsilon}(s) \right) = 2\pi k = k_{\epsilon}k. \end{array}
(1.3.108)

Cir­cu­lar cur­va­ture can be ex­pressed as a ratio of the ar­clengths A(γ(s))A\left( \gamma(s) \right)/A(γϵ(s))A\left( \gamma_{\epsilon}(s) \right), equal­ing the in­verse wave­length seen as fol­lows

κ=A(γ(s))A(γϵ(s))=A(γ(s))=∫−πλπλ(ddx[cos⁡(kx)])2+(ddx[sin⁡(kx)])2dx∫−πλϵπλϵ(ddx[cos⁡(kx)])2+(ddx[sin⁡(kx)])2dx\kappa = \frac{A\left( \gamma(s) \right)}{A\left( \gamma_{\epsilon}(s) \right)} = \frac{A\left( \gamma(s) \right) = \int_{- \frac{\pi}{\lambda}}^{\frac{\pi}{\lambda}}\sqrt{\left( \frac{d}{dx}\left\lbrack \cos(kx) \right\rbrack \right)^{2} + \left( \frac{d}{dx}\left\lbrack \sin(kx) \right\rbrack \right)^{2}}dx}{\int_{- \frac{\pi}{\lambda_{\epsilon}}}^{\frac{\pi}{\lambda_{\epsilon}}}{\sqrt{\left( \frac{d}{dx}\left\lbrack \cos(kx) \right\rbrack \right)^{2} + \left( \frac{d}{dx}\left\lbrack \sin(kx) \right\rbrack \right)^{2}}dx}}
→k22πk=k2π=2πλ2π=1λ\rightarrow \frac{k^{2}}{2\pi k} = \frac{k}{2\pi} = \frac{\frac{2\pi}{\lambda}}{2\pi} = \frac{1}{\lambda}
∴κs=1λ.\begin{array}{r} \therefore\kappa_{s} = \frac{1}{\lambda}. \end{array}
(1.3.109)

Since λ\lambda is the spa­tial ex­ten­sion rep­re­sent­ing the circle's radius, the cur­va­ture is equal to the in­verse of the radius RsR_{s} of the spa­tial circle

κs=1Rs.\begin{array}{r} \kappa_{s} = \frac{1}{R_{s}}. \end{array}
(1.3.110)

Simply put, space cur­va­ture is the ratio of the said wavenum­ber kk, with that of the unit circle's kϵ=2π1k_{\epsilon} = \frac{2\pi}{1}

κs=k22πk=k2π=kkϵ.\begin{array}{r} \kappa_{s} = \frac{k^{2}}{2\pi k} = \frac{k}{2\pi} = \frac{k}{k_{\epsilon}}. \end{array}
(1.3.111)

Cur­va­ture also exists in the fre­quen­cy domain in the form of time cur­va­ture, seen by using the fol­low­ing time-based pa­ram­e­triza­tion

γ(t)=cos⁡(ωt)+sin⁡(ωt).\begin{array}{r} \gamma(t) = \cos(\omega t) + \sin(\omega t). \end{array}
(1.3.112)

The ar­clength in the fre­quen­cy domain has the in­te­gral rep­re­sen­ta­tion

A(γ(t))=∫−πTπT(ddt[cos⁡(ωt)])2+(ddt[sin⁡(ωt)])2dt,\begin{array}{r} A\left( \gamma(t) \right) = \int_{- \frac{\pi}{T}}^{\frac{\pi}{T}}\sqrt{\left( \frac{d}{dt}\left\lbrack \cos(\omega t) \right\rbrack \right)^{2} + \left( \frac{d}{dt}\left\lbrack \sin(\omega t) \right\rbrack \right)^{2}}dt, \end{array}
(1.3.113)

and like its spa­tial coun­ter­part, will eval­u­ate to the squared an­gu­lar fre­quen­cy,

A(γ(t))=∫−πTπTω2cos2⁡(ωt)+ω2sin2⁡(ωt)dtA\left( \gamma(t) \right) = \int_{- \frac{\pi}{T}}^{\frac{\pi}{T}}\sqrt{\omega^{2}\cos^{2}(\omega t) + \omega^{2}\sin^{2}(\omega t)}dt
→∫−πTπTω dt= ωt|−πTπT=ω(2πT)=ω2.\begin{array}{r} \rightarrow \int_{- \frac{\pi}{T}}^{\frac{\pi}{T}}{\omega\ dt} = \left. \ \omega t \right|_{- \frac{\pi}{T}}^{\frac{\pi}{T}} = \omega\left( \frac{2\pi}{T} \right) = \omega^{2}. \end{array}
(1.3.114)

The ar­clength with unit fre­quen­cy domain bounds of in­te­gra­tion, takes the fol­low­ing in­te­gral form,

A(γϵ(t))=∫−πTϵπTϵ(ddt[cos⁡(ωt)])2+(ddt[sin⁡(ωt)])2dt,\begin{array}{r} A\left( \gamma_{\epsilon}(t) \right) = \int_{- \frac{\pi}{T_{\epsilon}}}^{\frac{\pi}{T_{\epsilon}}}{\sqrt{\left( \frac{d}{dt}\left\lbrack \cos(\omega t) \right\rbrack \right)^{2} + \left( \frac{d}{dt}\left\lbrack \sin(\omega t) \right\rbrack \right)^{2}}dt}, \end{array}
(1.3.115)

which eval­u­ates to

A(γϵ(t))=∫−ππω2cos2⁡(ωt)+ω2sin2⁡(ωt)dxA\left( \gamma_{\epsilon}(t) \right) = \int_{- \pi}^{\pi}\sqrt{\omega^{2}\cos^{2}(\omega t) + \omega^{2}\sin^{2}(\omega t)}dx
→∫−ππω dt= ωt|−ππ=ω(2π)=2πω,\begin{array}{r} \rightarrow \int_{- \pi}^{\pi}{\omega\ dt} = \left. \ \omega t \right|_{- \pi}^{\pi} = \omega(2\pi) = 2\pi\omega, \end{array}
(1.3.116)

where 2πω2\pi\omega can also be con­sid­ered as a prod­uct of ωϵ\omega_{\epsilon} and ω\omega,

A(γϵ(t))=2πω=ωϵω.\begin{array}{r} A\left( \gamma_{\epsilon}(t) \right) = 2\pi\omega = \omega_{\epsilon}\omega. \end{array}
(1.3.117)

Like the spa­tial domain, cir­cu­lar cur­va­ture in the fre­quen­cy domain is a ratio of arc lengths A(γ(t))A\left( \gamma(t) \right)/A(γϵ(t))A\left( \gamma_{\epsilon}(t) \right), and equals the in­verse period

κ=A(γ(t))A(γϵ(t))=A(γ(t))=∫−πTπT(ddt[cos⁡(ωt)])2+(ddt[sin⁡(ωt)])2dtA(γϵ(t))=∫−πTϵπTϵ(ddt[cos⁡(ωt)])2+(ddt[sin⁡(ωt)])2dt\kappa = \frac{A\left( \gamma(t) \right)}{A\left( \gamma_{\epsilon}(t) \right)} = \frac{A\left( \gamma(t) \right) = \int_{- \frac{\pi}{T}}^{\frac{\pi}{T}}\sqrt{\left( \frac{d}{dt}\left\lbrack \cos(\omega t) \right\rbrack \right)^{2} + \left( \frac{d}{dt}\left\lbrack \sin(\omega t) \right\rbrack \right)^{2}}dt}{A\left( \gamma_{\epsilon}(t) \right) = \int_{- \frac{\pi}{T_{\epsilon}}}^{\frac{\pi}{T_{\epsilon}}}{\sqrt{\left( \frac{d}{dt}\left\lbrack \cos(\omega t) \right\rbrack \right)^{2} + \left( \frac{d}{dt}\left\lbrack \sin(\omega t) \right\rbrack \right)^{2}}dt}}
→ω22πω=ω2π=2πT2π=1T\rightarrow \frac{\omega^{2}}{2\pi\omega} = \frac{\omega}{2\pi} = \frac{\frac{2\pi}{T}}{2\pi} = \frac{1}{T}
∴κt=1T.\begin{array}{r} \therefore\kappa_{t} = \frac{1}{T}. \end{array}
(1.3.118)

Since TT is the time ex­ten­sion that rep­re­sents the radius of the circle, the cur­va­ture is also equal to the in­verse of the radius RtR_{t} of the circle

κt=1Rt,\begin{array}{r} \kappa_{t} = \frac{1}{R_{t}}, \end{array}
(1.3.119)

and in the fre­quen­cy domain, the cur­va­ture is the ratio of the said an­gu­lar fre­quen­cy, ω\omega, with that of the unit circle's, ωϵ=2π1\omega_{\epsilon} = \frac{2\pi}{1}

κt=ω22πω=ω2π=ωωϵ.\begin{array}{r} \kappa_{t} = \frac{\omega^{2}}{2\pi\omega} = \frac{\omega}{2\pi} = \frac{\omega}{\omega_{\epsilon}}. \end{array}
(1.3.120)

We apply our ar­clength for­mu­las to derive the fol­low­ing in­fin­i­tes­i­mals, where the spa­tial in­fin­i­tes­i­mal is the wavenum­ber

dk=k2cos2⁡(kx)+k2sin2⁡(kx)dx→dkdx=k,\begin{array}{r} dk = \sqrt{k^{2}\cos^{2}(kx) + k^{2}\sin^{2}(kx)}dx \rightarrow \frac{dk}{dx} = k, \end{array}
(1.3.121)

and the tem­po­ral in­fin­i­tes­i­mal is the an­gu­lar fre­quen­cy

dω=ω2cos2⁡(ωt)+ω2sin2⁡(ωt) dt→dωdt=ω.\begin{array}{r} d\omega = \sqrt{\omega^{2}\cos^{2}(\omega t) + \omega^{2}\sin^{2}(\omega t)}\ dt \rightarrow \frac{d\omega}{dt} = \omega. \end{array}
(1.3.122)

As­sum­ing we are deal­ing with elec­tro­mag­net­ic waves, the prod­uct of the in­verse space cur­va­ture with the time cur­va­ture, equals the speed of light

dxdkdωdt=ωk=2πf2πλ=fλ=c.\begin{array}{r} \frac{dx}{dk}\frac{d\omega}{dt} = \frac{\omega}{k} = \frac{2\pi f}{\frac{2\pi}{\lambda}} = f\lambda = c. \end{array}
(1.3.123)

Putting cur­va­ture in the per­spec­tive of both the fre­quen­cy and spa­tial do­mains en­ables us to derive the wave equa­tion from their rep­re­sen­ta­tions. To start, we put the spa­tial and tem­po­ral domain pa­ram­e­triza­tions in their com­plex forms as

γ(x)=eikx=cos⁡(kx)+isin(kx),\begin{array}{r} \gamma(x) = e^{ikx} = \cos(kx) + {isin}(kx), \end{array}
(1.3.124)
γ(t)=eiωt=cos⁡(ωt)+isin(ωt),\begin{array}{r} \gamma(t) = e^{i\omega t} = \cos(\omega t) + {isin}(\omega t), \end{array}
(1.3.125)

and their prod­uct is the plane wave equa­tion

γ(x,t)=γ(x)γ(t)=ei(kx+ωt)=cos⁡(kx+ωt)+isin(kx+ωt).\begin{array}{r} \gamma(x,t) = \gamma(x)\gamma(t) = e^{i(kx + \omega t)} = \cos(kx + \omega t) + isin(kx + \omega t). \end{array}
(1.3.126)

Given that γ(t,x)\gamma(t,x) is the prod­uct of two func­tions γ(x)γ(t)\gamma(x)\gamma(t), it will form a sep­a­ra­ble par­tial dif­fer­en­tial equa­tion. Using γ(t,x)\gamma(t,x), we eval­u­ate the second-order time de­riv­a­tive

d2γ(t,x)dt2=d2dt2[ei(kx+ωt)]=−ω2ei(kx+ωt),\begin{array}{r} \frac{d^{2}\gamma(t,x)}{dt^{2}} = \frac{d^{2}}{dt^{2}}\left\lbrack e^{i(kx + \omega t)} \right\rbrack = {- \omega}^{2}e^{i(kx + \omega t)}, \end{array}
(1.3.127)

and the second-order spa­tial de­riv­a­tive

d2γ(t,x)dx2=d2dx2[ei(kx+ωt)]=−k2ei(kx+ωt).\begin{array}{r} \frac{d^{2}\gamma(t,x)}{dx^{2}} = \frac{d^{2}}{dx^{2}}\left\lbrack e^{i(kx + \omega t)} \right\rbrack = {- k}^{2}e^{i(kx + \omega t)}. \end{array}
(1.3.128)

Next, we con­sid­er the fol­low­ing dif­fer­en­tial equa­tion

d2γ(t,x)dt2=αd2γ(t,x)dx2,\begin{array}{r} \frac{d^{2}\gamma(t,x)}{dt^{2}} = \alpha\frac{d^{2}\gamma(t,x)}{dx^{2}}, \end{array}
(1.3.129)

where α\alpha is the value that en­ables the equa­tion to be true. We sub­sti­tute the second-order de­riv­a­tive re­sults into the dif­fer­en­tial equa­tion and solve for α\alpha, as fol­lows

−ω2γ(t,x)=−αk2γ(t,x)→(−ω2+αk2)γ(t,x)=0{- \omega}^{2}\gamma(t,x) = - \alpha k^{2}\gamma(t,x) \rightarrow \left( {- \omega}^{2} + \alpha k^{2} \right)\gamma(t,x) = 0
→−ω2+αk2=0→α=ω2k2,\begin{array}{r} \rightarrow {- \omega}^{2} + \alpha k^{2} = 0 \rightarrow \alpha = \frac{\omega^{2}}{k^{2}}, \end{array}
(1.3.130)

and by the iden­ti­ty

ωk=fλ=c,\begin{array}{r} \frac{\omega}{k} = f\lambda = c, \end{array}
(1.3.131)

this im­plies that α\alpha, as­sum­ing elec­tro­mag­net­ic forms, equals

α=(ωk)2=c2,\begin{array}{r} \alpha = \left( \frac{\omega}{k} \right)^{2} = c^{2}, \end{array}
(1.3.132)

lead­ing to the wave equa­tion for­mal­ism

d2γ(t,x)dt2=c2d2γ(t,x)dx2.\begin{array}{r} \frac{d^{2}\gamma(t,x)}{dt^{2}} = c^{2}\frac{d^{2}\gamma(t,x)}{dx^{2}}. \end{array}
(1.3.133)

Using our in­verse cir­cu­lar radius re­sults for the time and spa­tial do­mains cur­va­tures,

κt=1T,  κs=1λ,\begin{array}{r} \kappa_{t} = \frac{1}{T},\ \ \kappa_{s} = \frac{1}{\lambda}, \end{array}
(1.3.134)

we con­sid­er α\alpha

α=(ωk)2,\begin{array}{r} \alpha = \left( \frac{\omega}{k} \right)^{2}, \end{array}
(1.3.135)

and al­ge­braical­ly modify it, as fol­lows

α=(ωk)2→(2πT)2(2πλ)2=4π2T24π2λ2=λ2T2.\begin{array}{r} \alpha = \left( \frac{\omega}{k} \right)^{2} \rightarrow \frac{\left( \frac{2\pi}{T} \right)^{2}}{\left( \frac{2\pi}{\lambda} \right)^{2}} = \frac{\frac{4\pi^{2}}{T^{2}}}{\frac{4\pi^{2}}{\lambda^{2}}} = \frac{\lambda^{2}}{T^{2}}. \end{array}
(1.3.136)

We sub­sti­tute this result back into our wave equa­tion

d2γ(t,x)dt2=λ2T2d2γ(t,x)dx2,\begin{array}{r} \frac{d^{2}\gamma(t,x)}{dt^{2}} = \frac{\lambda^{2}}{T^{2}}\frac{d^{2}\gamma(t,x)}{dx^{2}}, \end{array}
(1.3.137)

and then re­arrange it to

dx2d2γ(t,x)d2γ(t,x)dt2=λ2T2.\begin{array}{r} \frac{dx^{2}}{d^{2}\gamma(t,x)}\frac{d^{2}\gamma(t,x)}{dt^{2}} = \frac{\lambda^{2}}{T^{2}}. \end{array}
(1.3.138)

Im­plic­it in this form is some­thing very re­veal­ing con­cern­ing, λ2T2=c2\frac{\lambda^{2}}{T^{2}} = c^{2}; since λ\lambda is the dis­tance in space, and TT is the dis­tance in time, which im­plies the speed of light is com­posed of space and time pro­por­tions that are equal in mag­ni­tude. For cir­cu­lar cur­va­ture, the dis­tance in space and time re­quired to have uni­tary cur­va­ture are found to be the fol­low­ing

λϵRs=λ→λϵ=Rsλ,\begin{array}{r} \frac{\lambda_{\epsilon}}{R_{s}} = \lambda \rightarrow \lambda_{\epsilon} = R_{s}\lambda, \end{array}
(1.3.139)
TϵRt=T→Tϵ=RtT,\begin{array}{r} \frac{T_{\epsilon}}{R_{t}} = T \rightarrow T_{\epsilon} = R_{t}T, \end{array}
(1.3.140)

where RsR_{s} rep­re­sents the radial dis­tance in space and RtR_{t} rep­re­sents the radial dis­tance in time. This re­sults in the equiv­a­lence

λ2T2=(RtλϵRsTϵ)2,\begin{array}{r} \frac{\lambda^{2}}{T^{2}} = \left( \frac{R_{t}\lambda_{\epsilon}}{R_{s}T_{\epsilon}} \right)^{2}, \end{array}
(1.3.141)

and given that λϵ\lambda_{\epsilon} is the unit dis­tance of space and TϵT_{\epsilon} us the unit dis­tance of time*,* the time and space units of dis­tance cancel in the ratio, re­sult­ing in the iden­ti­ty

λ2T2=(RtλϵRsTϵ)2→(R(Tϵλϵ)R(λϵTϵ))2=ϵ.\begin{array}{r} \frac{\lambda^{2}}{T^{2}} = \left( \frac{R_{t}\lambda_{\epsilon}}{R_{s}T_{\epsilon}} \right)^{2} \rightarrow \left( \frac{R\left( T_{\epsilon}\lambda_{\epsilon} \right)}{R\left( \lambda_{\epsilon}T_{\epsilon} \right)} \right)^{2} = \epsilon. \end{array}
(1.3.142)

Using our unit circle ex­am­ple with in­te­gra­tion bounds a1=−π4, b1=π4a_{1} = - \frac{\pi}{4},\ b_{1} = \frac{\pi}{4}, we com­pare this to a cir­cu­lar arc of radius r=25r = 25, to find the sym­met­ric bounds equal

∫−π4π4 1 dt=∫a2b225 dt→π2= 25t|a2b2\int_{- \frac{\pi}{4}}^{\frac{\pi}{4}}{\ 1\ dt} = \int_{a_{2}}^{b_{2}}{25\ dt} \rightarrow \frac{\pi}{2} = \left. \ 25t \right|_{a_{2}}^{b_{2}}
→π2=25(b2−a2)→π50=(b2−a2).\begin{array}{r} \rightarrow \frac{\pi}{2} = 25\left( b_{2} - a_{2} \right) \rightarrow \frac{\pi}{50} = \left( b_{2} - a_{2} \right). \end{array}
(1.3.79)

This result rep­re­sents the known bound mul­ti­plied by the in­verse radius π2r\frac{\pi}{2r}, which can also be ex­pressed in cur­va­ture no­ta­tion, as

λ2T2=κt2κs2=ϵ.\begin{array}{r} \frac{\lambda^{2}}{T^{2}} = \frac{\kappa_{t}^{2}}{\kappa_{s}^{2}} = \epsilon. \end{array}
(1.3.143)

This im­plies for cir­cu­lar cur­va­ture ap­pli­ca­tions, that

d2γ(t,x)dt2=d2γ(t,x)dx2,\begin{array}{r} \frac{d^{2}\gamma(t,x)}{dt^{2}} = \frac{d^{2}\gamma(t,x)}{dx^{2}}, \end{array}
(1.3.144)

which is con­sis­tent with what was found in the case of the first-order de­riv­a­tive

dxdsdϕdt=ϵ,\begin{array}{r} \frac{dx}{ds}\frac{d\phi}{dt} = \epsilon, \end{array}
(1.3.145)

where the mag­ni­tude of a change in the dis­tance in space is equal to the mag­ni­tude of a change in the dis­tance in time

dx2d2γ(t,x)d2γ(t,x)dt2=dx2dt2=ϵ.\begin{array}{r} \frac{dx^{2}}{d^{2}\gamma(t,x)}\frac{d^{2}\gamma(t,x)}{dt^{2}} = \frac{dx^{2}}{dt^{2}} = \epsilon. \end{array}
(1.3.146)

Once again, using γ(t,x)\gamma(t,x), we con­sid­er the first-order time de­riv­a­tive

dγ(t,x)dt=ddt[ei(kx+ωt)]=iωei(kx+ωt),\begin{array}{r} \frac{d\gamma(t,x)}{dt} = \frac{d}{dt}\left\lbrack e^{i(kx + \omega t)} \right\rbrack = i\omega e^{i(kx + \omega t)}, \end{array}
(1.3.147)

and the first-order spa­tial de­riv­a­tive

dγ(t,x)dx=ddx[ei(kx+ωt)]=ikei(kx+ωt),\begin{array}{r} \frac{d\gamma(t,x)}{dx} = \frac{d}{dx}\left\lbrack e^{i(kx + \omega t)} \right\rbrack = ike^{i(kx + \omega t)}, \end{array}
(1.3.148)

to con­sid­er the first-order dif­fer­en­tial equa­tion

dγ(t,x)dt=αdγ(t,x)dx,\begin{array}{r} \frac{d\gamma(t,x)}{dt} = \alpha\frac{d\gamma(t,x)}{dx}, \end{array}
(1.3.149)

by solv­ing for α\alpha

iωγ(t,x)=iαkγ(t,x)→(iω−iαk)γ(t,x)=0i\omega\gamma(t,x) = i\alpha k\gamma(t,x) \rightarrow (i\omega - i\alpha k)\gamma(t,x) = 0
→iω−iαk=0→α=ωk.\begin{array}{r} \rightarrow i\omega - i\alpha k = 0 \rightarrow \alpha = \frac{\omega}{k}. \end{array}
(1.3.150)

By putting the vari­able α\alpha into the con­text of cur­va­ture, we can ex­press the dif­fer­en­tial equa­tion in the fol­low­ing form

dγ(t,x)dt=κtκsdγ(t,x)dx,\begin{array}{r} \frac{d\gamma(t,x)}{dt} = \frac{\kappa_{t}}{\kappa_{s}}\frac{d\gamma(t,x)}{dx}, \end{array}
(1.3.151)

and with re­arrange­ments, this leads to the fol­low­ing space and time cur­va­ture so­lu­tions

κs=κtdγ(t,x)dxdtdγ(t,x)=κtkω ,\begin{array}{r} \kappa_{s} = \kappa_{t}\frac{d\gamma(t,x)}{dx}\frac{dt}{d\gamma(t,x)} = \kappa_{t}\frac{k}{\omega}\ , \end{array}
(1.3.152)
κt=κsdxdγ(t,x)dγ(t,x)dt=κsωk.\begin{array}{r} \kappa_{t} = \kappa_{s}\frac{dx}{d\gamma(t,x)}\frac{d\gamma(t,x)}{dt} = \kappa_{s}\frac{\omega}{k}. \end{array}
(1.3.153)

The light speed ex­pres­sion

c=ωk,\begin{array}{r} c = \frac{\omega}{k}, \end{array}
(1.3.154)

then leads to the fol­low­ing space and time cur­va­ture ex­pres­sions

κs=κtc,\begin{array}{r} \kappa_{s} = \frac{\kappa_{t}}{c}, \end{array}
(1.3.155)
κt=cκs,\begin{array}{r} \kappa_{t} = c\kappa_{s}, \end{array}
(1.3.156)

which shows cur­va­ture and light are in­ter­twined.