Omhyllingskurve

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk
Omhyllingskurven til en skare med kasteparabler er vist i rødt og er selv del av en parabel som vender nedover.

Omhyllingskurve er en kurve i planet som tangerer hver enkelt kurve i en skare av andre kurver. Den omtales også som en innhyllingskurve eller enveloppe. Man kan definere den som grensen til skjæringspunktene mellom to av de gitte kurvene i skaren når de nærmer seg hverandre.

Denne definisjonen kan utvides til også å gjelde i det tredimensjonale rommet til å gi en omhyllingsflate av en skare med andre flater.

Evoluten til en kurve i planet er omhyllingskurven til dens normaler.

Innen optikk opptrer omhyllingsfrater ved bruk av Huygens-Fresnels prinsipp for utbredelse av lys og gir opphav til sfærisk aberrasjon i linser og speil ved dannelse av brennflater.

Beregning[rediger | rediger kilde]

En skare av kurver i planet med kartesiske koordinater (x,y ) kan defineres ved en ligning F(x,y,t ) = 0. For hver verdi av den kontinuerlige parameteren t er dette en implisitt ligning for en kurve y = y(x ). Forandres denne parameteren litt til t + Δt, vil F(x,y,t + Δt ) = 0 beskrive en litt forskjøvet kurve i denne skaren. Ut fra definisjonen av den deriverte funksjon, vil derfor skjæringspunktene mellom de to kurvene oppfylle

Hvis nå t elimineres mellom denne ligningen og den opprinnelige F(x,y,t ) = 0, kommer ligningen for omhyllingskurven y = y(x ) frem. Den har nå sammenfallende tangent med kurven i skaren som den berører.[1]

Eksempel[rediger | rediger kilde]

Et enkelt eksempel er en skare av sirkler med samme radius r = 1, men med et senter som ligger på den rette linjen x = t, y = t. Ligningen for kurveskaren er derfor

Ligningen Ft = 0 gir nå x - t + y - t = 0 slik at t = (x + y )/2. Innsatt i F = 0 gir dette (x - y )2 = 2 slik at omhyllingskurven består av de to rette linjene

parellelle til linjen y = x som sirkelsenterene ligger på. Begge er tangenter til denne skaren. Resultatet er som forventet.

Banene for kast til begge sider med samme hastighet har en omyllingskurve som er en parabel med akse i origo.

Noe mer komplisert er å finne omhyllingeskurven for forskjellige kasteparabler som er kurvene som en ball beskriver når den blir kastet ut fra origo med en viss hastighet v i forskjellige retninger gitt ved en vinkel θ. Langs x-aksen beveger den seg da med konstant hastighet slik at forflytningen i denne retningen er x = vt cosθ hvor nå t er tiden. Samtidig virker tyngdeakselerasjonen g langs den negative y-aksen slik at forflytningen i denne retningen blir

som følger direkte fra bevegelsesligningen. Eliminerer man tiden t mellom ligningene for disse to bevegelsene, finner man kurven

som representerer en skare med parabler med parameter θ. Den kan elimineres ved omhyllingskravet Fθ = 0 som gir tanθ = v2/gx. Dermed blir omhyllingskurven

Det er igjen en parabel som er symmetrisk om y-aksen.

Linjeskarer[rediger | rediger kilde]

Når ligningen for en rett linje skrives som y = kx + h, kan (k, h ) betraktes som dens linjekoordinater. Hvis disse varierer med en parameter t, vil de fremstille en skare av linjer beskrevet ved nullpunktene til funksjonen

Omhyllingskurven til denne linjeskaren er da gitt ved å eliminere t fra ligningene F = 0 sammen med Ft = 0 som gir k' (t )x + h' (t ) = 0. Her er den t-deriverte av funksjonene er angitt ved et merketegn.[2]

Eksempel[rediger | rediger kilde]

Astroiden i rødt er omhyllingskurven for en linjeskare med konstant lengde mellom koordinataksene.

En skare med rette linjer kan defineres ved at de to koordinataksene skal skjære av et linjestykke med konstant lengde a. Det tilsvarer linjene som dannes av en stav med denne lengden som settes i et rettvinklet hjørne mellom gulv og vegg. Danner den vinkelen θ med den horisontale x-aksen, har den stigningstallet k = tanθ. Den treffer y-aksen i en høyde h = a sinθ slik at linjeskaren er gitt ved at vinkelen θ varierer i ligningen y = x tanθ + a sinθ.

Omhyllingskurven til denne linjeskaren følger nå fra betingelsen k' (θ )x + h' (θ ) = 0. Den gir løsningen x = - a cos3θ og derfor også y = a sin3θ som bedriver kurven uttrykt ved parameteren θ. Elimineres denne, finnes den eksplisitte formen

som viser at kurven er en astroide eller stjernekurve.[2] Dette er en spesiell hyposykloide.

Dürers konkoide[rediger | rediger kilde]

Tegning av Albrecht Dürer som viser konstruksjon av hans konkoide som er kurven til venstre. Omhyllingskurven til høyre er en del av en parabel.

I et verk fra nesten 500 år siden viste Albrecht Dürer hvordan man med et stykke tråd av en gitt lengde kan konstruere en spesiell kurve som senere er blitt kalt for Dürers konkoide. Har tråden en lengde a, fester man den ene enden i punktet x = ax-aksen og strekkes mot origo. Så flyttes dette endepunktet til x = a - t samtidig som den strekkes gjennom punktet y = ty-aksen. Gjøres dette flere ganger for jevnt fordelt verdier av parameteren t, vil det andre endepunktet av tråden beskrive en kurve som siden har fått Dürers navn.[3]

For hver verdi av parameteren t, vil tråden danne et stykke av den rette linjen med ligningen

Denne linjeskaren har nå en omhyllingskurve som igjen kan finnes fra betingelsen k' (t )x + h' (t ) = 0 som her gir

Dermed kan parameteren t  uttrykkes ved koordinaten x og benyttes i skareligningen. Det gir

Omhyllingskurven er derfor en del av den konkave superellipsen

Ved å kvadrere ligningen, finner man den alternative formen

Den variable x + y øker derfor kvadratisk med x - y slik at kurven er en parabel med akse langs linjen y = x.

Evoluter[rediger | rediger kilde]

Evoluten til en ellipse dannes av omhyllingskurven til dens normaler og er en konkav superellipse.

Krumningssentrene til en plan kurve danner en ny kurve som kalles den evolute. Den er samtidig omhyllingskurven til alle normalene til den opprinnelige kurven.[2]

Hvis man betrakter en vanlig ellipse med to hovedakser a og b, er den vanligvis beskrevet ved ligningen

,

Alternativt kan dette uttrykkes på parameterform som r(t ) = (x(t ), y(t )) hvor x(t ) = a cost og y(t ) = b sint. Tangenten til ellipsen er dermed t = dr/dt = (-a sint, b cost ). Normalen n står vinkelrett på denne slik at den er n = (b cost, a sint ) hvis den velges å være rettet utover fra ellipsens sentrum. Den definerer nå en linje med stigningstall

og beskrevet ved ligningen y = kx + h. Skjæringspunktet h = h(t ) med y-aksen bestemmes ut fra kravet at ellipsepunktet (x(t ), y(t )) også må ligge på linjen. Det gir

Omhyllingskurven til disse normalene følger igjen fra betingelsen k' x + h'  = 0. Den gir dens form på parameterfremstillingen

hvor c 2 = a 2 - b 2 er den kvadrerte avstand til ellipsens brennpunkt. På implisitt form har denne evoluten ligningen

Den er derfor en konkav superellipse med eksponent 2/3 som også kalles en subellipse eller asymmetrisk astroide.[3]

Omhyllingsflater[rediger | rediger kilde]

En flate i det tredimensjonale rommet kan angis på implisitt vis ved en ligning F(x,y,z ) = 0. Hvis ligningen i tillegg avhenger av en kontinuerlig parameter t, vil ligningen F(x,t ) = 0 fremstille en skare av flater der x = (x,y,z ) angir punkt på disse flatene. På samme måte som for omhyllingskurver i planet, vil nå en omhyllingsflate av denne skaren med flater i tillegg oppfylle at den deriverte Ft (x,t ) = 0.

Kanalflater[rediger | rediger kilde]

Skaren med kuler til venstre er omhyllet av en kanalflate til høyre.

Når skaren av flater er kuler med radius r = r(t ) hvis senter ligger på en glatt kurve c = c(t ) som kalles senterkurven, kalles omhyllingsflaten for en kanalflate. Den er gitt ved ligningen

I det spesielle tilfellet at radius er konstant, vil denne bli en rørflate. Et kjent eksempel er en torus der senterkurven er en sirkel.[4]

Et enkelt eksempel er en skare med kuler som har sitt senter liggende på z-aksen i avstand at fra origo der t = 0. Hvis også deres radius varier proporsjonalt med t slik at r(t ) = bt der b < a, er kuleskaren gitt ved

Fra betingelsen Ft = 0 følger at az = (a 2 - b 2)t som innsatt i F = 0 gir omhyllingsflaten

Dette beskriver en kjegle med akse langs z-aksen. Snittflaten med plan parallelt med xy-planet er sirkler hvis radius øker proporsjonalt med z.

Dupin-syklider[rediger | rediger kilde]

Typisk Dupin-syklide med nett av krumningslinjer som alle er sirkler.

Det finnes spesielle kanalflater som kan tilordnes til to forskjellige senterlinjer. De kalles for Dupin-syklider. Et trivielt eksempel er en torus. Den ene senterlinjen er da tydelig, mens den andre er mer skjult. Spesielt for denne flaten er at den kan dekkes av et nett med sirkler som skjærer hverandre vinkelrett. De er linjer gjennom punkt med samme krumning. Dette karakteriserer en generell syklide.

Da en rett linje kan betraktes som en del av en sirkel med uendelig stor radius, er derfor en rett sylinder eller kjegle også trivielle eksempel på slike flater.[4]

Opprinnelig ble disse flatene funnet som omhyllingsflater for en skare av kuler som skal plasseres slik at de tangerer tre gitte kuler med vilkårlige radier. De tre tangentpunktene kan være innvendige eller utvendige.

Noe senere ble det vist at Dupins generelle syklider kan finnes ved inversjon i en fritt valgt kule av de trivielle syklidene representert ved torusen, sylinderen og kjeglen. Under denne transformasjonen bevares vinkler mellom skjærende linjer slik at de resulterende krumningslinjene er sirkler som forblir ortogonale til hverandre. Avhengig av hvordan posisjonen til kulen er relativ til flaten som skal inverteres, fremkommer syklider i forskjellige former.[5]

Referanser[rediger | rediger kilde]

  1. ^ J.W. Bruce and P.J. Giblin, Curves and Singularities, Cambridge University Press, England (1984). ISBN 0-521-42999-4.
  2. ^ a b c R. Tambs Lyche, Matematisk Analyse I, Gyldendal Norsk Forlag, Oslo (1961).
  3. ^ a b J.D. Lawrence, A catalog of special plane curves, Dover Publications, New York (1972). ISBN 0-486-60288-5.
  4. ^ a b A. Gray, E. Abbena and S. Salomon, Modern Differential Geometry of Curves and Surfaces, Chapman & Hall/CRC, Boca Raton, FL (2006). ISBN 1-58488-448-7.
  5. ^ D. Hilbert and S. Cohn-Vossen, Geometry and the Imagination, AMS Chelsea Publishing, Providence RI (1991). ISBN 0-82-181998-4.