Implicitna kriva

Cassinijevi ovali:
(1) a=1.1, c=1 (iznad),
(2) a=c=1 (sredina),
(3) a=1, c=1,05 (ispod)

Implicitna kriva $\sin (x + y) - \cos (x y) + 1 = 0$ kao krive nivoa površine $z = \sin (x + y) - \cos (x y) + 1$

U matematici, implicitna kriva je ravanska kriva definirana implicitnom jednadžbom koja povezuje dvije koordinatne varijable, obično x i y . Naprimjer, jedinični krug je definiran implicitnom jednadžbom $x^{2} + y^{2} = 1$ . Općenito, svaka implicitna kriva je definirana jednadžbom oblika: $F (x, y) = 0$ za neku funkciju F od dvije varijable. Stoga se implicitna kriva može smatrati skupom nula funkcije dvije varijable. Implicitno znači da jednačina nije izražena kao rješenje ni za x u terminima y ili obrnuto.

Ako je $F (x, y)$ polinom u dvije varijable, odgovarajuća kriva se naziva algebarska kriva, a za proučavanje su dostupne specifični metodi.

Ravne krive se mogu predstaviti u Kartezijanskim koordinatama (x, y koordinate) bilo kojim od tri metoda, od kojih je jedna implicitna jednačina data gore. Grafikon funkcije se obično opisuje jednadžbom $y = f (x)$ u kojoj je eksplicitno naveden funkcionalni oblik; ovo se zove "eksplicitna" reprezentacija. Treći osnovni opis krive je parametrijska, gdje su x- i y-koordinate tačaka krive predstavljene sa dvije funkcije Šablon:Math čije su obje funkcionalne forme eksplicitno navedene i koje zavise od zajedničkog parametra $t .$

Primjeri implicitnih krivulja uključuju:

pravu: $x + 2 y - 3 = 0,$
krug: $x^{2} + y^{2} - 4 = 0,$
polukubna parabola: $x^{3} - y^{2} = 0,$
Cassinijeve ovale $(x^{2} + y^{2})^{2} - 2 c^{2} (x^{2} - y^{2}) - (a^{4} - c^{4}) = 0$ (vidi dijagram),
$\sin (x + y) - \cos (x y) + 1 = 0$ (vidi dijagram).

Prva četiri primjera su algebarske krive, ali posljednji nije algebarski. Prva tri primjera posjeduju jednostavne parametarske reprezentacije, što nije tačno za četvrti i peti primjer. Peti primjer pokazuje eventualno komplikovanu geometrijsku strukturu implicitne krive.

Teorema o implicitnoj funkciji opisuje uslove pod kojima se jednadžba $F (x, y) = 0$ može riješiti implicitno za x i/ili y' ' – odnosno pod kojim se može valjano pisati $x = g (y)$ or $y = f (x)$ . Ova teorema je ključ za izračunavanje bitnih geometrijskih karakteristika krive: tangentas, normale i zakrivljenost. U praksi implicitne krive imaju suštinski nedostatak: njihova vizualizacija je teška. Ali postoje kompjuterski programi koji omogućavaju prikaz implicitne krive. Posebna svojstva implicitnih krivulja čine ih osnovnim alatima u geometriji i kompjuterskoj grafici.

Implicitna kriva sa jednadžbom $F (x, y) = 0$ može se smatrati kao krivulja nivoa nivoa 0 površine $z = F (x, y)$ (vidi treći dijagram).

Nagib i zakrivljenost

Općenito, implicitne krive ne ispunjavaju test vertikalne linije (što znači da su neke vrijednosti x povezane s više od jedne vrijednosti y) i stoga nisu nužno grafovi funkcija. Međutim, teorem o implicitnoj funkciji daje uslove pod kojima je implicitna kriva "lokalno" data grafom funkcije (tako da posebno nema samopresecanja). Ako su relacije definiranja dovoljno glatke, onda u takvim područjima implicitne krive imaju dobro definirane nagibe, tangente, vektore normale i zakrivljenost.

Postoji nekoliko mogućih načina za izračunavanje ovih veličina za datu implicitnu krivu. Jedan je korištenje implicitne diferencijacije za izračunavanje izvedenica od y u odnosu na x. Alternativno, za krivu koju definiše implicitna jednadžba $F (x, y) = 0$ , ove formule se mogu izraziti direktno u terminima djelimičnih derivata od $F$ . U nastavku se označavaju parcijalne derivacije $F_{x}$ (za derivaciju u odnosu na x), $F_{y}$ , $F_{x x}$ (za drugi parcijal u odnosu na x), $F_{x y}$ (za mešoviti drugi parcijal), $F_{y y} .$

Tangentni i normalni vektor

Tačka krive $(x_{0}, y_{0})$ je regularna ako su prvi parcijalni derivati $F_{x} (x_{0}, y_{0})$ i $F_{y} (x_{0}, y_{0})$ nisu oba jednaka 0.

Jednačina tangentne prave u regularnoj tački $(x_{0}, y_{0})$ je

F_{x} (x_{0}, y_{0}) (x - x_{0}) + F_{y} (x_{0}, y_{0}) (y - y_{0}) = 0,

pa je nagib tangentne linije, a samim tim i nagib krive u toj tački: $slope = - \frac{F_{x} (x_{0}, y_{0})}{F_{y} (x_{0}, y_{0})} .$

Ako je $F_{y} (x, y) = 0 \neq F_{x} (x, y)$ na $(x_{0}, y_{0}),$ kriva okomita u toj tački, dok ako su obje < math>F_y(x,y)=0</math> i $F_{x} (x, y) = 0$ u toj tački tada se kriva tamo ne može razlikovati, već je umjesto toga singularna tačka – ili vrvica ili tačka u kojoj se kriva siječe. Normalni vektor na krivu u tački je dat sa: $𝐧 (x_{0}, y_{0}) = (F_{x} (x_{0}, y_{0}), F_{y} (x_{0}, y_{0}))$ (ovdje napisano kao vektor reda).

Zakrivljenost

Radi čitljivosti formula, argumenti $(x_{0}, y_{0})$ su izostavljeni. Zakrivljenost $κ$ u regularnoj tački je data formulom: $κ = \frac{- F_{y}^{2} F_{x x} + 2 F_{x} F_{y} F_{x y} - F_{x}^{2} F_{y y}}{(F_{x}^{2} + F_{y}^{2})^{3 / 2}}$ .^[1]

Izvođenje formula

Teorema o implicitnoj funkciji jamči unutar susjedstva tačke $(x_{0}, y_{0})$ postojanje funkcije $f$ takve da $F (x, f (x)) = 0$ . Po pravilu lanca, derivati funkcije $f$ su: $f^{'} (x) = - \frac{F_{x} (x, f (x))}{F_{y} (x, f (x))}$ and $f^{″} (x) = \frac{- F_{y}^{2} F_{x x} + 2 F_{x} F_{y} F_{x y} - F_{x}^{2} F_{y y}}{F_{y}^{3}}$ (gde su argumenti $(x, f (x))$ na desnoj strani druge formule izostavljeni radi lakšeg čitanja).

Umetanje izvoda funkcije $f$ u formule za tangentu i zakrivljenost grafikona eksplicitne jednačine $y = f (x)$ daje: $y = f (x_{0}) + f^{'} (x_{0}) (x - x_{0})$ (tangenta)

κ (x_{0}) = \frac{f^{″} (x_{0})}{(1 + f^{'} (x_{0})^{2})^{3 / 2}}

(zakrivljenost).

Prednosti i nedostaci implicitnih krivulja

Nedostatak

Suštinski nedostatak implicitne krive je nedostatak lahke mogućnosti izračunavanja pojedinačnih tačaka koje su neophodne za vizualizaciju implicitne krive (vidi sljedeći odjeljak).

Prednosti

Implicitne reprezentacije olakšavaju izračunavanje tačaka preseka: ako je jedna kriva predstavljena implicitno, a druga parametarski, za izračunavanje tačaka presjeka potrebna je samo jednostavna (1-dimenzijska) Newtonova iteracija, što je suprotno slučajevima implicitno-implicitno i parametarski-parametarski (pogledajte Presjek).
Implicitna reprezentacija $F (x, y) = 0$ daje mogućnost odvajanja tačaka koje nisu na krivulji znakom $F (x, y)$ . Ovo može biti od pomoći, naprimjer, primjena metoda lažne pozicije umjesto Newtonove iteracije.
Lahko je generirati krive koje su skoro geometrijski slične datoj implicitnoj krivulji $F (x, y) = 0,$ samo dodavanjem malog broja: $F (x, y) - c = 0$ (pogledajte odjeljak #Glatke aproksimacije).

Primjene implicitnih krivulja

Glatka aproksimacija konveksnog poligona

Glatka aproksimacija 1) jedne polovine kruga, 2) presjeka dva kruga

Unutar matematike implicitne krive igraju istaknutu ulogu kao algebarske krive. Osim toga, implicitne krive se koriste za dizajniranje krivulja željenih geometrijskih oblika. Evo dva primjera.

Glatke aproksimacije

Konveksni poligoni

Glatka aproksimacija konveksnog poligona može se postići na sljedeći način: Neka $g_{i} (x, y) = a_{i} x + b_{i} y + c_{i} = 0, i = 1, \dots, n$ su jednadžbe linija koje sadrže rubove poligona tako da je za unutrašnju tačku poligona $g_{i}$ pozitivan. Zatim podskup implicitne krive: $F (x, y) = g_{1} (x, y) \dots g_{n} (x, y) - c = 0$ sa odgovarajućim malim parametrom $c$ je glatka (diferencijabilna) aproksimacija poligona. Naprimjer, krive: $F (x, y) = (x + 1) (- x + 1) y (- x - y + 2) (x - y + 2) - c = 0$ za $c = 0.03, \dots, 0.6$ sadrže glatke aproksimacije poligona sa 5 ivica (vidi dijagram).

Parovi linija

U slučaju dva reda: $F (x, y) = g_{1} (x, y) g_{2} (x, y) - c = 0$ dobija se

olovka paralelnih linija, ako su date prave paralelne ili

olovka hiperbola, koje imaju date linije kao asimptote.

Naprimjer, proizvod varijabli koordinatnih osa daje olovku hiperbola $x y - c = 0, c \neq 0$ , koje imaju koordinatne ose kao asimptote.

Ostale

Ako se krene s jednostavnim implicitnim krivuljama koje nisu prave (krugovi, parabole,...) dobija se širok raspon zanimljivih novih krivulja. Naprimjer,

F (x, y) = y (- x^{2} - y^{2} + 1) - c = 0

(proizvod kruga i x-ose) daje glatke aproksimacije jedne polovine kruga (vidi sliku), i: $F (x, y) = (- x^{2} - (y + 1)^{2} + 4) (- x^{2} - (y - 1)^{2} + 4) - c = 0$ (proizvod dva kruga) daje glatke aproksimacije presjeka dva kruga (vidi dijagram).

Krive miješanja

U CAD se koriste implicitne krive za generiranje krivulja miješanjes,^[2]^[3] koje su posebne krive uspostavljanjah glatki prijelaza između dvije date krive. Naprimjer,: $F (x, y) = (1 - μ) f_{1} f_{2} - μ (g_{1} g_{2})^{3} = 0$ generira krivulje miješanja između dva kruga

f_{1} (x, y) = (x - x_{1})^{2} + y^{2} - r_{1}^{2} = 0,

f_{2} (x, y) = (x - x_{2})^{2} + y^{2} - r_{2}^{2} = 0 .

Metod garantuje kontinuitet tangenti i zakrivljenosti u tačkama dodira (vidi dijagram). Dvije prave: $g_{1} (x, y) = x - x_{1} = 0, g_{2} (x, y) = x - x_{2} = 0$ određuje dodirne tačke na krugovima. Parametar $μ$ je parametar dizajna. U dijagramu, $μ = 0.05, \dots, 0.2$ .

Ekvipotencijalne krive dva tačkasta naelektrisanja

Ekvipotencijalne krive dva tačkastog naboja u plavim tačkama

Ekvipotencijalna krivas od dva jednaka tačkasta naboja u tačkama $P_{1} = (1, 0), P_{2} = (- 1, 0)$ može se predstaviti jednadžbom: $f (x, y) = \frac{1}{| P P_{1} |} + \frac{1}{| P P_{2} |} - c$

= \frac{1}{\sqrt{(x - 1)^{2} + y^{2}}} + \frac{1}{\sqrt{(x + 1)^{2} + y^{2}}} - c = 0 .

Krive su slične Cassinijevim ovalima, ali nisu takve krive.

Vizualizacija implicitne krive

Za vizualizaciju implicitne krive obično se određuje poligon na krivulji i prikazuje se poligon. Za parametarsku krivu ovo je lak zadatak: samo se izračunavaju tačke niza parametarskih vrijednosti. Za implicitnu krivu potrebno je riješiti dva podproblema:

određivanje prve tačke krivulje do date početne tačke u blizini krive,
određivanje tačke krivulje počevši od poznate tačke krivulje. U oba slučaja razumno je pretpostaviti $grad F \neq (0, 0)$ . U praksi je ova pretpostavka narušena samo u pojedinačnim izolovanim tačkama.

Tačkasti algoritam

Za rješavanje oba gore navedena zadatka neophodno je imati kompjuterski program (koji ćemo nazvati $𝖢 𝖯 𝗈 𝗂 𝗇 𝗍$ ), koji kada mu je data tačka $Q_{0} = (x_{0}, y_{0})$ blizu implicitne krive, pronalazi tačku $P$ koja je tačno na krivulji:

(P1) jer je početna tačka

j = 0

(P2) ponavljanje

(x_{j + 1}, y_{j + 1}) = (x_{j}, y_{j}) - \frac{F (x_{j}, y_{j})}{F_{x} (x_{j}, y_{j})^{2} + F_{y} (x_{j}, y_{j})^{2}} (F_{x} (x_{j}, y_{j}), F_{y} (x_{j}, y_{j}))

(Njutnov korak za funkciju

g (t) = F (x_{j} + t F_{x} (x_{j}, y_{j}), y_{j} + t F_{y} (x_{j}, y_{j})) .

)

(P3) sve dok razmak između tačaka

(x_{j + 1}, y_{j + 1}), (x_{j}, y_{j})

nije dovoljno mali.

(P4)

P = (x_{j + 1}, y_{j + 1})

je tačka krive blizu početne tačke

Q_{0}

.

Algoritam praćenja

Na algoritm u praćenja: početne tačke su zelene

Da bi se generirao gotovo jednako raspoređen poligon na implicitnoj krivulji, bira se dužina koraka $s$ i

(T1)' bira odgovarajuću početnu tačku u blizini krivulje

(T2) određuje prvu tačku krive

P_{1}

koristeći program

𝖢 𝖯 𝗈 𝗂 𝗇 𝗍

(T3) određuje tangentu (vidi gore), bira početnu tačku na tangenti koristeći dužinu koraka

s

(vidi dijagram) i određuje drugu tačku krivulje

P_{2}

pomoću programa

𝖢 𝖯 𝗈 𝗂 𝗇 𝗍

.

Budući da algoritam prati implicitnu krivu, naziva se „algoritam praćenja“. Algoritam prati samo povezane dijelove krive. Ako se implicitna kriva sastoji od nekoliko dijelova, mora se pokrenuti nekoliko puta s odgovarajućim polaznim tačkama.

*Primjer:* Ilustracija rasterskog algoritma primijenjenog na implicitnu krivu $F (x, y) = (3 x^{2} - y^{2})^{2} y^{2} - (x^{2} + y^{2})^{4} = 0$ . Kriva (crvena) je ono što algoritam pokušava nacrtati. Rasterske tačke (crne) koriste se kao početne tačke za pronalaženje najbližih tačaka na krivulji (crveni krugovi). Razmak između svake rasterske tačke je preuveličan da bi se prikazale pojedinačne tačke krivulje; da bi se tačnije pratila kriva, koristilo bi se više rasterskih tačaka.^[4]

Raster algoritam

Ako se implicitna kriva sastoji od nekoliko ili čak nepoznatih dijelova, možda bi bilo bolje koristiti rasterizacija algoritam. Umjesto da tačno prati krivu, rasterski algoritam pokriva cijelu krivu u toliko tačaka da se one stapaju i izgledaju kao kriva.

(R1)' Generiranje mreže tačaka (raster) na području od interesa x-y ravni.

(R2) Za svaku tačku

P

u rasteru, pokrene se algoritam tačaka

𝖢 𝖯 𝗈 𝗂 𝗇 𝗍

počevši od P, a zatim označava njegov izlaz.

Ako je mreža dovoljno gusta, rezultat aproksimira povezane dijelove implicitne krive. Ako su za dalje primjene potrebni poligoni na krivuljama, mogu se pratiti dijelovi od interesa pomoću algoritma praćenja.

Implicitne prostorne krive

Bilo koja prostorna kriva koja je definirana s dvije jednačine

\begin{matrix} F (x, y, z) = 0, \\ G (x, y, z) = 0 \end{matrix}

naziva se implicitna prostorna kriva. Tačka krivulje $(x_{0}, y_{0}, z_{0})$ naziva se regularna ako je unakrsni proizvod nagiba $F$ i $G < / m a t h > n i j e < m a t h > (0, 0, 0)$ u ovom trenutku:

𝐭 (x_{0}, y_{0}, z_{0}) = grad F (x_{0}, y_{0}, z_{0}) \times grad G (x_{0}, y_{0}, z_{0}) \neq (0, 0, 0);

inače se naziva jednina. Vektor $𝐭 (x_{0}, y_{0}, z_{0})$ je tangentni vektor krive u tački $(x_{0}, y_{0}, z_{0}) .$

Primjeri:

$(1) x + y + z - 1 = 0, x - y + z - 2 = 0$

je prava.

$(2) x^{2} + y^{2} + z^{2} - 4 = 0, x + y + z - 1 = 0$

je ravan presjeka sfere, dakle krug.

$(3) x^{2} + y^{2} - 1 = 0, x + y + z - 1 = 0$

je elipsa (ravan presjek cilindra).

(4) x^{2} + y^{2} + z^{2} - 16 = 0, (y - y_{0})^{2} + z^{2} - 9 = 0

je presečna kriva između kugle i cilindra.

Za izračunavanje tačaka krive i vizualizaciju implicitne prostorne krive pogledajte Presjek.

Također pogledajte

Implicitna površina

Reference

Šablon:Reflist

Gomes, A., Voiculescu, I., Jorge, J., Wyvill, B., Galbraith, C.: Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms, 2009, Springer-Verlag London, Šablon:ISBN
C:L: Bajaj, C.M. Hoffmann, R.E. Lynch: Tracing surface intersections, Comp. Aided Geom. Design 5 (1988), 285-307.

Vanjski linkovi

Šablon:Commons category

↑ Šablon:Cite journal
↑ C. Hoffmann & J. Hopcroft: The potential method for blending surfaces and corners in G. Farin (Ed) Geometric-Modeling, SIAM, Philadelphia, pp. 347-365
↑ E. Hartmann: Blending of implicit surfaces with functional splines, CAD,Butterworth-Heinemann, Volume 22 (8), 1990, p. 500-507
↑ G. Taubin: Distance Approximations for Rastering Implicit Curves. ACM Transactions on Graphics, Vol. 13, No. 1, 1994.

[1] Šablon:Cite journal

[2] C. Hoffmann & J. Hopcroft: The potential method for blending surfaces and corners in G. Farin (Ed) Geometric-Modeling, SIAM, Philadelphia, pp. 347-365

[3] E. Hartmann: Blending of implicit surfaces with functional splines, CAD,Butterworth-Heinemann, Volume 22 (8), 1990, p. 500-507

[4] G. Taubin: Distance Approximations for Rastering Implicit Curves. ACM Transactions on Graphics, Vol. 13, No. 1, 1994.

[1]

[2]

[3]

[4]

Implicitna kriva

Sadržaj