Kurbadura

Dictyostelium discoideum baten mugimendua. Zelularen mugak kurbaturaren arabera koloreztatu dira. Eskala: 5 µm.

Matematikan, kurbadura geometriarekin estuki erlazionaturiko kontzeptua da. Intuitiboki, kurba bat lerro zuzen bat izatetik edo gainazal bat plano bat izatetik desbideratzen diren neurria da.

Kurbei dagokienez, eredu kanonikoa zirkuluarena da, bere erradioaren alderantzizko zenbakiko kurbadura duena. Zirkulu txikiagoak zakarrago tolesten dira eta, beraz, kurbadura handiagoa dute. Kurba diferentzial baten puntu bateko kurbadura bere zirkunferentzia ukitzailearen kurbadura da. Lerro zuzen baten kurbadura zero da. Ukitzailearen kasuan, aldiz, puntu bateko kurbadura eskalar baten bidez adierazten da, zenbaki erreal positibo baten bidez, hain zuzen ere.

Espazio euklidear batean txertatuta dauden gainazalen kasuan, kurbaduraren kontzeptua konplexuagoa da, gainazalean norabide bat hautatzearen araberakoa baita. Horrek kurbadura maximoa, gutxieneko kurbadura eta batezbesteko kurbadura kontzeptuetara garamatza.

Historia

Tractatus de configurationibus qualitatum et motuum[1] liburuan, Nicole Oresmek, XIV. mendeko filosofo eta matematikariak, kurbadura kontzeptua proposatu zuen zuzentasunetik desbideratzeko neurri gisa. Zirkuluen kurbadura alderantziz proportzionala denez erradioarekiko, ideia hau beste kurba batzuetara hedatzen saiatzen da Oresme, magnitude aldagarri gisa[2].

Parametrizazioa

Kurba baten kurbadura kalkulatu aurretik, ezinbestekoa da kurbaren parametrizazioa lortzea. Izan bedi C {\displaystyle C} ,  planoko zein espazioko kurba bat. C {\displaystyle C} -ren parametrizazio bat funtzio bat da, zenbaki errealen multzoko tarte batetik espaziora zein planora doana, non tarte horretako balio bakoitzari C {\displaystyle C} -ko puntu bat esleitzen zaion. Horrez gain, kurbadura ondo definitu ahal izateko, parametrizazioa definitzen duen funtzioak jarraitua eta deribagarria izan beharko du. Orduan, parametrizazioa γ : [ a , b ] R n {\textstyle \gamma :[a,b]\longrightarrow \mathbb {R^{n}} } erako aplikazio bat izango da, n = 2 {\displaystyle n=2} izanik planoko kurben kasuan eta n = 3 {\displaystyle n=3} espazioko kurben kasuan.

Planoko kurben kasuan, aplikazioa mota honetakoa izango da:

γ : [ a , b ] R 2 {\displaystyle \gamma :[a,b]\longrightarrow \mathbb {R^{2}} }

t γ ( t ) = ( x ( t ) , y ( t ) ) {\displaystyle t\mapsto \gamma (t)=(x(t),y(t))}

Adibidez, erradioa 1 luzerakoa duen zirkunferentziaren parametrizazioa hurrengoa izango da:

γ : [ 0 , 2 π ] R 2 {\displaystyle \gamma :[0,2\pi ]\longrightarrow \mathbb {R^{2}} }

θ γ ( θ ) = ( c o s ( θ ) , s i n ( θ ) ) {\displaystyle \theta \mapsto \gamma (\theta )=(cos(\theta ),sin(\theta ))}

Deribatua

Izan bedi γ ( t ) = ( x ( t ) , y ( t ) ) {\displaystyle \gamma (t)=(x(t),y(t))} kurba parametrizatua. Orduan, bere deribatua honako eran definituko dugu: γ ( t ) = ( x ( t ) , y ( t ) ) {\displaystyle \gamma '(t)=(x'(t),y'(t))} .

Hau da, koordenatu bakoitzeko t {\displaystyle t} -rekiko deribatua egingo dugu.

Norma

Izan bedi γ ( t ) = ( x ( t ) , y ( t ) ) {\displaystyle \gamma (t)=(x(t),y(t))} kurba parametrizatua. Bere norma euklidearra honako eran definituko dugu: γ ( t ) = x ( t ) 2 + y ( t ) 2 {\displaystyle \lVert \gamma (t)\rVert ={\sqrt {x(t)^{2}+y(t)^{2}}}} .

Hau da,  koordenatu guztien karratuen baturaren erro karratua eginez kalkulatuko dugu.

Kurba lauak

Intuitiboki, kurbadura kontzeptuak zera islatzen du: kurba baten edozein puntutan kurba horren norabidea zenbatean aldatzen den; beraz, zenbat eta kurbadura handiagoa izan, orduan eta gehiago aldatzen da kurbaren norabidea[3]. Definizio formala nahi izanez gero, arku luzeraz parametrizatutako kurba baten puntu zehatz bateko kurbadura, da puntu horretako bektore ukitzailearen deribatuaren luzera da.

Kurbaduraren definizioak eta haren karakterizazioek eskatzen dute kurba jarraitutasunez diferentziagarria izatea, etengabe aldatzen den ukitzaile bat baitu; halaber, kurba bi aldiz diferentziagarria izan behar du, tartean diren mugak eta bektore ukitzailearen deribatua ondo definituta dagoela ziurtatzeko.

Kurbaduraren karakterizazioa unitate bektore ukitzailearen deribatuaren arabera ez da zirkunferentzia ukitzailearen arabera egindako definizioa bezain intuitiboa, baina kurbadura kalkulatzeko formulak errazago ondoriozta daitezke. Beraz, eta zinematikan ere erabiltzen denez, kurbaduraren definizio baterako, maiz ematen da aurreneko karakterizazio hori.

Zirkunferentzia ukitzailea

Zirkunferentzia ukitzailea

Historikoki, kurbadura zirkunferentzia ukitzailearen bidez definitu izan ohi da, zirkunferentzia hori baita, puntu zehatz horretan, kurba ondoen hurbiltzen duen zirkunferentzia. Zehazki, kurba batean P {\displaystyle P} puntu bat emanda, kurbaren beste edozein Q {\displaystyle Q} puntuk (edo batzuetan lerro batek) Q {\displaystyle Q} puntutik pasatzen den eta P {\displaystyle P} -n kurbari ukitzailea den zirkulu bat definitzen du. Egonez gero, zirkunferentzia ukitzailea Q {\displaystyle Q} -k P {\displaystyle P} -ra jotzen dueneko zirkunferentziaren limitea da. Kurbadura kurbadura-erradioaren alderantzizkoa da; hau da,

κ = 1 R {\displaystyle \kappa ={\frac {1}{R}}}

non R {\displaystyle R} kurbadura-erradioa[4] den (zirkulu osoak kurbadura hori du, 2 π R {\displaystyle 2\pi R} -ko luzeeran 2 π {\displaystyle 2\pi } -ko biraketa gisa irakur daiteke).

Definizio hau zaila izan daiteke erabiltzeko eta formuletan adierazteko. Horregatik, beste definizio baliokide batzuk sortu eta erabiltzen dira.

Arku-parametrizazioa

Edozein kurba diferentziagarri arku-luzeraz[5] parametriza daiteke. Kurba lau baten kasuan, horrek esan nahi du:

γ ( s ) = ( x ( s ) , y ( s ) ) {\textstyle \gamma (s)=(x(s),y(s))} .

γ = x ( s ) 2 + y ( s ) 2 = 1 {\displaystyle \lVert \gamma '\rVert ={\sqrt {x'(s)^{2}+y'(s)^{2}}}=1}

Horrek esan nahi du bektore ukitzailea T ( s ) = ( x ( s ) , y ( s ) ) {\displaystyle \mathrm {T} (s)=(x'(s),y'(s))} , norma bat duela eta, beraz, bektore ukitzailea unitarioa da.

Kurba bi aldiz diferentziagarria bada, hau da, x {\textstyle x} eta y {\textstyle y} -ren bigarren deribatuak existitzen badira, orduan, T ( s ) {\textstyle \mathrm {T} (s)} deribatua existitzen da. T ( s ) {\textstyle \mathrm {T} (s)} bektorea kurbarekiko normala da, bere norma kurbadura κ ( s ) {\displaystyle \kappa (s)} da eta kurbaren zentrorantz orientatuta dago.

T ( s ) = γ ( s ) {\displaystyle \mathrm {T} (s)=\gamma '(s)}

T ( s ) 2 = 1 ( k o n s t a n t e a ) T ( s ) . T ( s ) = 0 {\displaystyle \lVert \mathrm {T} (s)\rVert ^{2}=1(konstantea)\Rightarrow \mathrm {T} '(s).\mathrm {T} (s)=0}

κ ( s ) = T ( s ) = γ ( s ) = x ( s ) 2 + y ( s ) 2 {\displaystyle \kappa (s)=\lVert \mathrm {T} '(s)\rVert =\lVert \gamma ''(s)\rVert ={\sqrt {x''(s)^{2}+y''(s)^{2}}}}

Are gehiago, kurbaren erradioa honako hau da ( κ ( s ) 0 {\displaystyle \kappa (s)\neq 0} dela suposatuta):

R ( s ) = 1 κ ( s ) {\displaystyle R(s)={\frac {1}{\kappa (s)}}}

Eta kurbaduraren zentroa kurbaren zuzen normalean dago:

C ( s ) = γ ( s ) + 1 κ ( s ) T ( s ) {\displaystyle C(s)=\gamma (s)+{\frac {1}{\kappa (s)}}\mathrm {T} '(s)}

(Kurbadura zero denean, kurbaduraren zentroa ez dago R 2 {\displaystyle \mathbb {R} ^{2}} planoan. Kasu horretan “infinituan” kokatuta dagoela deritzogu.)

N ( s ) {\displaystyle \mathrm {N} (s)} bektore unitarioa da eta T ( s ) {\displaystyle \mathrm {T} (s)} -tik lortzen dugu, erlojuaren orratzen kontrako noranzkoan π 2 {\displaystyle {\frac {\pi }{2}}} graduko errotazioa eginez. Orduan,

T ( s ) = k ( s ) N ( s ) {\displaystyle \mathrm {T} '(s)=k(s)\mathrm {N} (s)}

k ( s ) = ± κ ( s ) {\displaystyle k(s)=\pm \kappa (s)} izanik. k ( s ) {\displaystyle k(s)} zenbaki erreala kurbadura orientatua da, planoaren eta kurbaren orientazioaren araberakoa dena. s s {\displaystyle s\longrightarrow -s} aldagai aldaketak k ( s ) {\displaystyle k(s)} kontrako zeinua duen arku-bidezko parametrizazioa ematen digu.

Parametrizazio orokorra

Izan bedi γ ( t ) = ( x ( t ) , y ( t ) ) {\displaystyle \gamma (t)=(x(t),y(t))} bi aldiz diferentziagarria den planoko kurba baten parametrizazioa. Parametizazio hori erabiliz, kurbadura honako hau da:

κ ( s ) = | x y y x | ( x 2 + y 2 ) 3 / 2 {\displaystyle \kappa (s)={\frac {\left\vert x'y''-y'x''\right\vert }{(x'^{2}+y'^{2})^{3/2}}}}

Koordenatu gabeko era batean adierazteko:

κ = | d e t ( γ , γ ) | γ 3 {\displaystyle \kappa ={\frac {\left\vert det(\gamma ',\gamma '')\right\vert }{\lVert \gamma '\rVert ^{3}}}}

Formula hauek arku-luzera bidezko parametrizazioaren kasutik atera daitezke. Aurreko parametrizazioaren baldintzaren ondorioz, arku-bidezko funtzioaren s {\displaystyle s} parametroa, t {\displaystyle t} parametroaren funtzio diferentziagarri monotonoa da. Eta alderantziz, t {\displaystyle t} s {\displaystyle s} -ren funtzio monotonoa da. Halaber, s {\displaystyle s} -ren ordez s {\displaystyle -s} idatziz (behar izanez gero) funtzioak gorakorrak izango dira eta deribatua positiboa. Aurreko ataleko notazioa eta katearen erregela erabiliz,

d γ d t = d s d t T {\displaystyle {d\gamma \over dt}={ds \over dt}\mathrm {T} }

Bi aldeetan normak hartuz,

d t d s = 1 γ {\displaystyle {dt \over ds}={1 \over \lVert \gamma '\rVert }}

Kurbadura T {\displaystyle \mathrm {T} } -ren s {\displaystyle s} -rekiko deribatuaren norma da. Goiko formula eta katearen erregela erabiliz, aurreko deribatua eta bere norma γ {\displaystyle \gamma '} eta γ {\displaystyle \gamma ''} -ren bidez adierazi daitezke. Horrela, arku-luzera bidezko s {\displaystyle s} parametroa ezabatzea lortzen da.

Funtzio baten grafoa

y = f ( x ) {\displaystyle y=f(x)} funtzio baten grafoa kurba parametrizatuaren kasu berezia da:

x = t {\displaystyle x=t}

y = f ( t ) {\displaystyle y=f(t)}

x {\displaystyle x} -ren lehen eta bigarren deribatuak 1 {\displaystyle 1} eta 0 {\displaystyle 0} direnez, hurrenez hurren, aurreko kurbaduraren formulak honela sinplifikatzen dira:

κ = | y | ( 1 + y 2 ) 3 / 2 {\displaystyle \kappa ={\frac {\left\vert y''\right\vert }{(1+y'^{2})^{3/2}}}}

Grafoaren malda (edo funtzioaren deribatua) txikia denean, bigarren deribatua kurbaduraren hurbilpen ona da. Zehatzago, goi-borne asintotikoa erabiliz,

k ( x ) = y ( 1 + O ( y 2 ) ) . {\displaystyle k(x)=y''(1+O(y'^{2})).}

Fisika eta Ingeniaritzan ohikoa da kurbadura bigarren deribatuaren bidez hurbiltzea; esate baterako, kurba elastikoetan edota uhinaren ekuazioan. Honek aukera ematen digu ez-linealak diren sistemak linealtzat hartzeko.

Koordenatu polarretan parametrizatutako zirkunferentzia

Koordenatu polarrak

Kurba bat koordenatu polarretan adierazita dago, hurrengo eran parametrizatuta dagoenean: x = r ( θ ) cos ( θ ) {\textstyle x=r(\theta )\cos(\theta )} , y = r ( θ ) sin ( θ ) {\textstyle y=r(\theta )\sin(\theta )} , non r {\displaystyle r} erradioa eta θ {\displaystyle \theta } angelua diren.

Kurba bat koordenatu polarretan adierazita dagoenean kurbadura honako hau da:

κ ( θ ) = | r 2 + 2 r 2 r r | ( r 2 + r 2 ) 3 / 2 {\displaystyle \kappa (\theta )={\frac {\left\vert r^{2}+2r'^{2}-rr''\right\vert }{(r^{2}+r'^{2})^{3/2}}}}

Adibideak

Erabilgarria izan daiteke aurreko ataletan definitutako formulek, adibide sinpleetan, benetan emaitza berdinak ematen dituztela egiaztatzea.

Zirkunferentzia

Aurretik azaldu dugun bezala, r {\displaystyle r} erradioko zirkunferentzia baten ohiko parametrizazioa γ ( t ) = ( r sin ( t ) , r cos ( t ) ) {\displaystyle \gamma (t)=(r\sin(t),r\cos(t))} . Kurbaduraren formula jarraituz

k ( t ) = r 2 sin 2 t + r 2 cos 2 t ( r 2 cos 2 t + r 2 sin 2 t ) 3 / 2 = 1 r {\displaystyle k(t)={\frac {r^{2}\sin ^{2}t+r^{2}\cos ^{2}t}{(r^{2}\cos ^{2}t+r^{2}\sin ^{2}t)^{3/2}}}={\frac {1}{r}}}

Espero dugun bezala, kurbaduraren erradioa eta zirkunferentziaren erradioa berdinak dira. Are gehiago, kurbaduraren zentroa zirkunferentziaren zentroa da.

Zirkunferentzia arku-luzera bidezko parametrizazioa kalkulatzeko erraza duen kasu berezi bat da. Bereziki,

γ ( s ) = ( r cos s r , r sin s r ) {\displaystyle \gamma (s)={\Bigl (}r\cos {\frac {s}{r}},r\sin {\frac {s}{r}}{\Bigr )}}

Arku-luzerazko parametrizazioa da, izan ere

γ ( s ) = ( sin s r , cos s r ) {\displaystyle \gamma '(s)={\Bigl (}-\sin {\frac {s}{r}},\cos {\frac {s}{r}}{\Bigr )}} adierazpenaren norma 1 {\displaystyle 1} en berdina da. Parametrizazio honi elkartutako kurbadurak balio bera du, aurreko formulan bere burua r 3 {\displaystyle r^{3}} -gatik zatitzerakoan izendatzaile eta zenbakitzailean balio hori lortzen baitugu.

Erreferentziak

  1. Grant, Edward. (1972-08-01). «Nicole Oresme and the medieval geometry of qualities and motions. A treatise on the uniformity and difformity of intensities known as ‘tractatus de configurationibus qualitatum et motuum’: Marshall Clagett (ed. and tr.), edited with an introduction, English translation and commentary by Marshall Clagett. University of Wisconsin Press: Madison, Milwaukee, 1968; and London, 1969. xiii+713pp. £7.75.» Studies in History and Philosophy of Science Part A 3 (2): 167–182.  doi:10.1016/0039-3681(72)90022-2. ISSN 0039-3681. (Noiz kontsultatua: 2023-11-29).
  2. Serrano, Isabel M.; Suceavă, Bogdan D.. (2015-10-01). «A Medieval Mystery: Nicole Oresme's Concept of <em>Curvitas</em>» Notices of the American Mathematical Society 62 (09): 1030–1034.  doi:10.1090/noti1275. ISSN 0002-9920. (Noiz kontsultatua: 2023-11-29).
  3. (Ingelesez) Borovik, Alexandre; Katz, Mikhail G.. (2012-08-01). «Who Gave You the Cauchy–Weierstrass Tale? The Dual History of Rigorous Calculus» Foundations of Science 17 (3): 245–276.  doi:10.1007/s10699-011-9235-x. ISSN 1572-8471. (Noiz kontsultatua: 2023-11-29).
  4. «Calculus: an intuitive and physical approach (2nd edition), by Morris Kline. Pp xvi, 943. £14·60. 1977. SBN 0 471 49116 0 (Wiley)» The Mathematical Gazette 61 (417): 240–240. 1977-10  doi:10.1017/s0025557200085132. ISSN 0025-5572. (Noiz kontsultatua: 2023-11-29).
  5. «Math Classes Downloads - John Kennedy's Google Home Page» web.archive.org 2015-09-28 (Noiz kontsultatua: 2023-11-29).

Kanpo estekak

Autoritate kontrola
  • Wikimedia proiektuak
  • Wd Datuak: Q214881
  • Commonscat Multimedia: Illustrations for curvature and torsion of curves / Q214881

  • Identifikadoreak
  • GND: 4128765-4
  • LCCN: sh85034911
  • NDL: 00567236
  • Hiztegiak eta entziklopediak
  • Britannica: url
  • Wd Datuak: Q214881
  • Commonscat Multimedia: Illustrations for curvature and torsion of curves / Q214881