Az ívhossz egy differenciálható görbe szakaszának a hossza. Az ívhossz kiszámítása sok szempontból hasznos lehet, hiszen egy görbe sok mindent reprezentálhat (bejárt út, munka stb.).
Jelölése:
.
Kiszámítása
Az ívhossz a görbe parametrikus egyenletéből relatíve egyszerűen megadható, mégpedig a meredekség vektorok hosszainak összegéből, azaz:
,
ahol
független paraméter.
Descartes-koordináta-rendszerben a képlet így néz ki:
![{\displaystyle S=\int _{a}^{b}{\sqrt {1+(f'(x))^{2}}}\;dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9e17a3f98aca4037016b0e99f91e1d67ca08b61)
Ez a képlet a következő Riemann-összegből számítható (ezzel az összeggel reprezentálva az ívhosszt):
![{\displaystyle \lim _{\Delta x\rightarrow 0}\sum _{i=1}^{n}{\sqrt {1+f'(x_{i})^{2}}}\;\Delta x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bed47d8557c976ab859bff3dc2fd6a9f80fa124)
A fenti szummában a kifejezés a közelítő hossza egy húrnak a
távolságon. Ahogy
tart nullához, úgy közelíti az összeg az ívhosszt.
Az ívhossz polárkoordinátákban is meghatározható a fenti általános, vektoros képletből:
![{\displaystyle L=\int _{a}^{b}{\sqrt {r(\theta )^{2}+(r'(\theta ))^{2}}}\;d\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/626c21eef3be50686fb6164038743ed794dd52c8)
Ívhossz szerinti paraméterezés
Egy görbe paraméterezései között kitüntetett szerep jut az úthossz szerinti paraméterezésnek. Sok képlet egyszerűbbé válik, ha ezt a paraméterezést használjuk.
Legyen a
görbe ezzel a paraméterezéssel megadva:
![{\displaystyle {\begin{matrix}\gamma :&[a,b]&\to &\mathbb {R} ^{n}\\&r&\mapsto &\gamma (r)\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ba954305a4d9cad5fdc0f7482247849571ef938)
és
minden
-re. Ekkor a
paraméterezésű részgörbére
![{\displaystyle {\begin{matrix}s:&[a,b]&\to &\mathbb {R} \\&t&\mapsto &L\left(\Gamma _{t}\right)\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/527f5c2f36b17b51014bdf0e40a7d09a657f8f7d)
a
görbe úthosszfüggvénye. Ez az s(t) folytonos és monoton növő függvény, mivel a görbe nem szakadásos. Ha szigorúan monoton növő, akkor invertálható is, az inverz függvény
. Ekkor
ívhossz szerinti paraméterezése:
![{\displaystyle {\begin{matrix}{\hat {\gamma }}:&[0,L(\gamma )]&\to &\mathbb {R} ^{n}\\&s&\mapsto &\gamma (t(s))\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bdbaf9a7746addda2d3f98c0f144df69a316d29)
Ha
folytonosan differenciálható, és
minden
-ra, akkor
is folytonosan differenciálható, és minden
-re:
.
Források