www.wikidata.de-de.nina.az
Eine implizite Kurve ist in der Mathematik eine Kurve in der euklidischen Ebene die durch eine Gleichung der FormCassini Kurven 1 a 1 1 c 1 oben 2 a c 1 Mitte 3 a 1 c 1 05 unten Implizite Kurve sin x y cos x y 1 0 displaystyle sin x y cos xy 1 0 die implizite Kurve sin x y cos x y 1 0 displaystyle sin x y cos xy 1 0 als Niveaulinie der Flache z sin x y cos x y 1 displaystyle z sin x y cos xy 1 F x y 0 displaystyle F x y 0 beschrieben wird Eine implizite Kurve ist also die Gesamtheit der Nullstellen einer Funktion von zwei Variablen Implizit bedeutet dass die Gleichung der Kurve nicht nach x displaystyle x oder y displaystyle y aufgelost ist Funktionsgraphen werden in der Regel durch eine Gleichung y f x displaystyle y f x beschrieben und sind deswegen explizit dargestellte Kurven Die dritte wichtige Beschreibung von Kurven ist die Parameterdarstellung x t y t displaystyle x t y t Dabei werden die x displaystyle x und y displaystyle y Koordinaten von Kurvenpunkten durch zwei von einem gemeinsamen Parameter abhangigen Funktionen x t y t displaystyle x t y t beschrieben Der Ubergang von einer Darstellung zu einer anderen ist in der Regel nur einfach wenn eine explizite Darstellung y f x displaystyle y f x vorliegt y f x 0 displaystyle y f x 0 implizit t f t displaystyle t f t parametrisiert Beispiele impliziter Kurven eine Gerade x 2 y 3 0 displaystyle x 2y 3 0 ein Kreis x 2 y 2 4 0 displaystyle x 2 y 2 4 0 die Neilsche Parabel x 3 y 2 0 displaystyle x 3 y 2 0 Cassini Kurven x 2 y 2 2 2 c 2 x 2 y 2 a 4 c 4 0 displaystyle x 2 y 2 2 2c 2 x 2 y 2 a 4 c 4 0 siehe Bild sin x y cos x y 1 0 displaystyle sin x y cos xy 1 0 siehe Bild Wahrend die ersten drei Beispiele auch einfache Parameterdarstellungen besitzen ist dies beim 4 und 5 Beispiel nicht der Fall Beispiel 5 zeigt dass eine implizite Kurve aus verwirrend vielen Teilkurven bestehen kann Man kann mit dem Satz uber implizite Funktionen nachweisen dass unter gewissen Voraussetzungen eine Gleichung F x y 0 displaystyle F x y 0 theoretisch nach x displaystyle x und oder nach y displaystyle y auflosbar ist Allerdings ist die Auflosung meistens praktisch unmoglich Dieses theoretische Ergebnis ist aber der Schlussel um anhand der gegebenen Funktion F displaystyle F wesentliche geometrische Eigenschaften wie Tangenten Normalen und Krummungen in bekannten Kurvenpunkten zu berechnen s unten Dass implizite Kurven in der Praxis nicht sehr beliebt sind liegt an einem grossen Nachteil Wahrend man fur eine parametrisierte Kurve oder Funktionsgraphen leicht beliebig viele Punkte berechnen kann ist dies fur implizite Kurven in der Regel nicht der Fall Allerdings haben implizite Darstellungen von Kurven auch ihre Vorteile s unten Ist F x y displaystyle F x y ein Polynom in x displaystyle x und y displaystyle y so nennt man die zugehorige Kurve algebraisch Beispiel 5 ist nicht algebraisch Bemerkung Eine implizite Kurve mit der Gleichung F x y 0 displaystyle F x y 0 kann man zum besseren Verstandnis auch als Niveaulinie der Hohe 0 der Flache z F x y displaystyle z F x y auffassen s 3 Bild Inhaltsverzeichnis 1 Formeln 1 1 Tangente und Normalenvektor 1 2 Krummung 2 Herleitung der Formeln 3 Vor und Nachteile impliziter Kurven 3 1 Nachteil 3 2 Vorteile 4 Anwendungen impliziter Kurven 4 1 Glatte Approximationen konvexer Polygone 4 2 Ubergangskurven 4 3 Aquipotentiallinien zweier gleicher Punktladungen 5 Visualisierung einer impliziten Kurve 5 1 Punktalgorithmus 5 2 Verfolgungsalgorithmus 5 3 Rasteralgorithmus 5 4 Software 6 Implizite Raumkurven 7 Siehe auch 8 Weblinks 9 LiteraturFormeln BearbeitenFur die folgenden Formeln wird die implizite Kurve immer durch eine Gleichung F x y 0 displaystyle F x y 0 nbsp beschrieben wobei die Funktion F displaystyle F nbsp die notwendigen Differenzierbarkeitsvoraussetzungen erfullt Die partiellen Ableitungen von F displaystyle F nbsp werden mit F x displaystyle F x nbsp F y displaystyle F y nbsp F x x displaystyle F xx nbsp usw bezeichnet Tangente und Normalenvektor Bearbeiten Ein Kurvenpunkt x 0 y 0 displaystyle x 0 y 0 nbsp heisst regular falls F x x 0 y 0 F y x 0 y 0 0 0 displaystyle F x x 0 y 0 F y x 0 y 0 neq 0 0 nbsp gilt andernfalls heisst der Punkt singular Die Gleichung der Tangente in einem regularen Kurvenpunkt x 0 y 0 displaystyle x 0 y 0 nbsp ist F x x 0 y 0 x x 0 F y x 0 y 0 y y 0 0 displaystyle F x x 0 y 0 x x 0 F y x 0 y 0 y y 0 0 nbsp undn x 0 y 0 F x x 0 y 0 F y x 0 y 0 T displaystyle mathbf n x 0 y 0 F x x 0 y 0 F y x 0 y 0 T nbsp ist ein Normalenvektor Krummung Bearbeiten Um die Formel ubersichtlich zu halten wurden hier die Argumente x 0 y 0 displaystyle x 0 y 0 nbsp weggelassen k 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 displaystyle kappa frac F y 2 F xx 2F x F y F xy F x 2 F yy F x 2 F y 2 3 2 nbsp ist die Krummung der Kurve in einem regularen Punkt Herleitung der Formeln BearbeitenDer Satz uber implizite Funktionen im einfachsten Fall besagt Gilt fur eine hinreichend oft differenzierbare Funktion F displaystyle F nbsp von zwei Variablen in einem Punkt x 0 y 0 displaystyle x 0 y 0 nbsp sowohl F x 0 y 0 0 displaystyle F x 0 y 0 0 nbsp als auch F y x 0 y 0 0 displaystyle F y x 0 y 0 neq 0 nbsp so existiert in einer Umgebung von x 0 displaystyle x 0 nbsp eine Funktion f displaystyle f nbsp mit F x f x 0 displaystyle F x f x 0 nbsp Die Ableitungen der Funktion f displaystyle f nbsp ergeben sich durch implizites Differenzieren mit der Kettenregel f x F x x f x F y x f x displaystyle f x frac F x x f x F y x f x nbsp f F y 2 F x x 2 F x F y F x y F x 2 F y y F y 3 displaystyle f frac F y 2 F xx 2F x F y F xy F x 2 F yy F y 3 nbsp Hier wurden die Argumente weggelassen Hauptartikel Implizite Differentiation Setzt man die so berechneten Ableitungen von f displaystyle f nbsp in die Formeln fur die Tangente und Krummung eines Funktionsgraphen x f x displaystyle x f x nbsp y f x 0 f x 0 x x 0 displaystyle y f x 0 f x 0 x x 0 nbsp Tangente k x 0 f x 0 1 f x 0 2 3 2 displaystyle kappa x 0 frac f x 0 1 f x 0 2 3 2 nbsp Krummung ein so ergeben sich die obigen Formeln fur die Tangente und Krummung einer impliziten Kurve Bemerkung Ist eine Auflosung nach x moglich so ergeben sich dieselben Formeln fur die Tangente und Krummung der impliziten Kurve Vor und Nachteile impliziter Kurven BearbeitenNachteil Bearbeiten Der oben schon erwahnte wesentliche Nachteil impliziter Kurven ist die prinzipielle Schwierigkeit einzelne Kurvenpunkte zu berechnen was z B fur die Visualisierung einer Kurve unbedingt notig ist Siehe hierzu den nachsten Abschnitt Vorteile Bearbeiten Implizite Darstellungen von Kurven haben insbesondere bei der Berechnung von Schnittpunkten zweier Kurven grosse Vorteile Liegt eine Kurve implizit und die andere parametrisiert vor so muss zur Schnittpunktbestimmung nur das gewohnliche eindimensionale Newton Verfahren eingesetzt werden In den Fallen implizit implizit oder parametrisiert parametrisiert ist der Einsatz des zweidimensionalen Newton Verfahrens notig Siehe hierzu Schnittpunkt Eine implizite Darstellung F x y 0 displaystyle F x y 0 nbsp bietet die Moglichkeit anhand des Vorzeichens von F x y displaystyle F x y nbsp die Punkte der Ebene in zwei Teilmengen einzuteilen So kann man z B anhand des Vorzeichens von F x y x 2 y 2 1 displaystyle F x y x 2 y 2 1 nbsp erkennen ob ein Punkt innerhalb oder ausserhalb des Einheitskreises liegt Dies kann wichtig sein falls man Startpunkte fur die Schnittpunktbestimmung von Kurven sucht oder falls man statt des Newton Verfahrens die Regula falsi verwenden mochte Zu einer implizit gegebenen Kurve F x y 0 displaystyle F x y 0 nbsp lassen sich leicht ahnliche Kurven angeben indem man Kurven mit F x y c 0 displaystyle F x y c 0 nbsp fur betragsmassig kleine Zahlen c displaystyle c nbsp betrachtet Siehe Abschnitt Glatte Approximationen konvexer Polygone Anwendungen impliziter Kurven Bearbeiten nbsp Glatte Approximation eines konvexen Polygons nbsp Glatte Approximation 1 eines Halbkreises 2 eines KreiszweiecksIn der Mathematik spielen implizite Kurven in dem Bereich der algebraische Kurven eine wichtige Rolle Neben diesem klassischen Anwendungsgebiet bieten implizite Kurven einfache Moglichkeiten neue Kurven zu gestalten Es folgen zwei Methoden Glatte Approximationen konvexer Polygone Bearbeiten Zur glatten Approximation von konvexen Polygonen sind implizite Kurven besonders gut geeignet Liegen die n displaystyle n nbsp Seiten eines konvexen Polygons auf den Geraden mit den Gleichungen g i x y a i x b i y c i 0 i 1 n displaystyle g i x y a i x b i y c i 0 i 1 dotsc n nbsp so dass das Innere des Polygons in den Positivbereichen der Funktionen g i displaystyle g i nbsp liegt so beschreibt die implizite Kurve F x y g 1 x y g n x y c 0 displaystyle F x y g 1 x y dotsb g n x y c 0 nbsp fur geeignete positive Zahlen c displaystyle c nbsp glatte differenzierbare Approximationen des Polygons Zum Beispiel ergeben F x y x 1 x 1 y x y 2 x y 2 c 0 displaystyle F x y x 1 x 1 y x y 2 x y 2 c 0 nbsp fur c 0 03 0 6 displaystyle c 0 03 dotsc 0 6 nbsp die im Bild gezeigten glatten Approximationen eines Funfecks Bemerkung 1 Schliesst man den Grenzfall zwei Geraden mit ein so erhalt man nach der beschriebenen Konstruktion mit F x y g 1 x y g 2 x y c 0 displaystyle F x y g 1 x y g 2 x y c 0 nbsp entweder eine Schar paralleler Geraden falls die gegebenen Geraden parallel sind oder die Schar der Hyperbeln mit den gegebenen Geraden als Asymptoten falls sich die Geraden schneiden Z B liefert das Produkt der x Achse mit der y Achse x y c 0 c 0 displaystyle xy c 0 c neq 0 nbsp die Schar aller Hyperbeln mit den Koordinatenachsen als Asymptoten Bemerkung 2 Verwendet man statt der Geraden andere einfache implizite Kurven Kreise Parabeln so lassen sich auch gezielt interessante Kurven gestalten Z B F x y y x 2 y 2 1 c 0 displaystyle F x y y x 2 y 2 1 c 0 nbsp Produkt eines Kreises mit der x Achse liefert glatte Approximationen eines Halbkreises siehe Bild Und F x y x 2 y 1 2 4 x 2 y 1 2 4 c 0 displaystyle F x y x 2 y 1 2 4 x 2 y 1 2 4 c 0 nbsp Produkt zweier Kreise sind glatte Approximationen eines Kreis Zweiecks siehe Bild Ubergangskurven Bearbeiten nbsp Ubergangskurven rot fur zwei KreiseIm Computerdesign Bereich verwendet man implizite Kurven um Ubergangskurven von besonders hoher Gute geometrische Stetigkeit herzustellen Zum Beispiel liefert die folgende einfache Konstruktion F x y 1 m f 1 f 2 m g 1 g 2 3 0 displaystyle F x y 1 mu f 1 f 2 mu g 1 g 2 3 0 nbsp krummungsstetige Ubergangskurven zwischen den beiden implizit gegebenen Kreisen f 1 x y x x 1 2 y 2 r 1 2 0 displaystyle f 1 x y x x 1 2 y 2 r 1 2 0 nbsp f 2 x y x x 2 2 y 2 r 2 2 0 displaystyle f 2 x y x x 2 2 y 2 r 2 2 0 nbsp siehe Bild Die beiden Geraden g 1 x y x x 1 0 g 2 x y x x 2 0 displaystyle g 1 x y x x 1 0 g 2 x y x x 2 0 nbsp bestimmen die Beruhrpunkte der Ubergangskurven an den Kreisen Der Parameter m displaystyle mu nbsp ist ein Designparameter Im Bild ist m 0 05 0 2 displaystyle mu 0 05 dotsc 0 2 nbsp Als Ubergangskurven dienen nur die mittleren Kurventeile Ein Fahrzeug konnte also ohne Ruck entlang der Ubergangskurve von dem einen Kreisbogen auf den anderen fahren Aquipotentiallinien zweier gleicher Punktladungen Bearbeiten nbsp Aquipotentiallinen zweier gleicher Punktladungen in den blauen PunktenDie Aquipotentiallinien zweier gleicher Punktladungen in den Punkten P 1 1 0 P 2 1 0 displaystyle P 1 1 0 P 2 1 0 nbsp lassen sich implizit durch f x y 1 P P 1 1 P P 2 c displaystyle f x y frac 1 PP 1 frac 1 PP 2 c nbsp 1 x 1 2 y 2 1 x 1 2 y 2 c 0 displaystyle frac 1 sqrt x 1 2 y 2 frac 1 sqrt x 1 2 y 2 c 0 nbsp dd dd beschreiben Fur c 2 displaystyle c 2 nbsp ergibt sich die Kurve durch den Ursprung und hat einen Doppelpunkt Die Kurven sehen wie Cassinische Kurven aus sind aber keine Visualisierung einer impliziten Kurve BearbeitenZur Visualisierung einer Kurve berechnet man in der Regel ein Polygon aus Kurvenpunkten und zeichnet dieses Polygon Bei einer parametrisierten Kurve ist dies kein Problem Man kann zu einer vorgegebenen Folge von Parametern die zugehorige Folge von Kurvenpunkten direkt berechnen Bei einer impliziten Kurve muss man zwei Teilprobleme losen zu einem Startpunkt in der Nahe der Kurve einen Kurvenpunkt berechnen von einem bekannten Kurvenpunkt aus einen Startpunkt fur einen weiteren Kurvenpunkt bestimmen Fur die Losung beider Probleme ist es gunstig vorauszusetzen dass grad F displaystyle operatorname grad F nbsp nicht der Nullvektor ist Dies scheint eine starke Einschrankung zu sein In der Regel ist diese Voraussetzung aber nur in isolierten Punkten verletzt und in der Praxis ist es eher unwahrscheinlich dass man auf genau solch einen Punkt trifft Punktalgorithmus Bearbeiten Bei einer impliziten Kurve benotigt man ein Computerprogramm K P u n k t displaystyle mathsf KPunkt nbsp das zu einem Startpunkt Q 0 x 0 y 0 displaystyle Q 0 x 0 y 0 nbsp in der Nahe der Kurve einen Kurvenpunkt P displaystyle P nbsp berechnet P1 Fur den Startpunkt ist j 0 displaystyle j 0 nbsp P2 Wiederhole x j 1 y j 1 x j y j 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 displaystyle 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 left F x x j y j F y x j y j right nbsp Newtonschritt fur die Funktion g t F x j t F x x j y j y j t F y x j y j displaystyle g t F left x j tF x x j y j y j tF y x j y j right nbsp dd dd P3 bis der Abstand zwischen den Punkten x j 1 y j 1 x j y j displaystyle x j 1 y j 1 x j y j nbsp klein genug ist P4 x j 1 y j 1 displaystyle x j 1 y j 1 nbsp ist ein Kurvenpunkt in der Nahe des Startpunktes Q 0 displaystyle Q 0 nbsp Verfolgungsalgorithmus Bearbeiten nbsp Zum Verfolgungsalgorithmus Startpunkte sind grunUm ein Polygon auf der impliziten Kurve mit einer Schrittweite s displaystyle approx s nbsp zu erzeugen V1 wahlt man einen geeigneten Startpunkt in der Nahe der Kurve V2 berechnet mit K P u n k t displaystyle mathsf KPunkt nbsp den ersten Kurvenpunkt P 1 displaystyle P 1 nbsp V3 berechnet die Tangente s oben wahlt auf der Tangente mit der Schrittweite s displaystyle s nbsp einen weiteren Startpunkt und berechnet mit K P u n k t displaystyle mathsf KPunkt nbsp den zweiten Kurvenpunkt P 2 displaystyle P 2 nbsp displaystyle cdots nbsp Da der Algorithmus dem Verlauf der Kurve folgt nennt man ihn Verfolgungsalgorithmus Der Algorithmus liefert immer nur einzelne Komponenten der impliziten Kurve Eventuell muss man ihn mehrmals mit geeigneten Startpunkten durchlaufen nbsp Rasteralgorithmus fur implizite KurvenRasteralgorithmus Bearbeiten Besteht die implizite Kurve aus vielen Teilkurven so liefert der folgende Rasteralgorithmus eine gute Visualisierung der Kurve R1 Erzeuge ein Netz Raster in dem fraglichen Bereich der x y Ebene R2 Verwende jeden Punkt des Rasters als Startpunkt fur den Punktalgorithmus K P u n k t displaystyle mathsf KPunkt nbsp und markiere den so erhaltenen Kurvenpunkt Macht man das Netz sehr dicht erhalt man einen guten Eindruck von der impliziten Kurve und kann anschliessend interessante Teile mit dem Verfolgungsalgorithmus bearbeiten Beispiel Das Bild zeigt ein zur Demonstration grobes Raster mit den zugehorigen berechneten Kurvenpunkten fur die implizite Kurve mit der Gleichung F x y 3 x 2 y 2 2 y 2 x 2 y 2 4 0 displaystyle F x y 3x 2 y 2 2 y 2 x 2 y 2 4 0 nbsp Zur Herstellung des Bildes wurde ein optimierter Algorithmus benutzt bei dem nicht mehr jeder Rasterpunkt als Startpunkt verwendet wird Software Bearbeiten Implizite Kurven lassen sich mit Hilfe geeigneter Visualisierungsprogramme grafisch darstellen zum Beispiel mit der freien Software GeoGebra nur fur algebraische Kurven oder Gnuplot Verweise auf weitere freie Software finden sich im Abschnitt Weblinks Implizite Raumkurven BearbeitenEine Kurve im Raum die durch 2 Gleichungen F x y z 0 G x y z 0 displaystyle begin matrix F x y z 0 G x y z 0 end matrix nbsp beschrieben wird heisst implizite Raumkurve Ein Kurvenpunkt x 0 y 0 z 0 displaystyle x 0 y 0 z 0 nbsp heisst regular wenn das Kreuzprodukt der Gradienten von F displaystyle F nbsp und G displaystyle G nbsp in diesem Punkt nicht den Nullvektor ergibt t x 0 y 0 z 0 grad F x 0 y 0 z 0 grad G x 0 y 0 z 0 0 0 0 displaystyle mathbf t x 0 y 0 z 0 operatorname grad F x 0 y 0 z 0 times operatorname grad G x 0 y 0 z 0 neq 0 0 0 nbsp ist andernfalls singular Der Vektor t x 0 y 0 z 0 displaystyle mathbf t x 0 y 0 z 0 nbsp ist ein Tangentenvektor im Punkt x 0 y 0 z 0 displaystyle x 0 y 0 z 0 nbsp an die Raumkurve nbsp Schnittkurve Kugel ZylinderBeispiele 1 x y z 1 0 x y z 2 0 displaystyle 1 quad x y z 1 0 x y z 2 0 nbsp beschreibt eine Gerade dd 2 x 2 y 2 z 2 4 0 x y z 1 0 displaystyle 2 quad x 2 y 2 z 2 4 0 x y z 1 0 nbsp beschreibt einen ebenen Schnitt einer Kugel also einen Kreis dd 3 x 2 y 2 1 0 x y z 1 0 displaystyle 3 quad x 2 y 2 1 0 x y z 1 0 nbsp beschreibt eine Ellipse ebener Zylinderschnitt dd 4 x 2 y 2 z 2 16 0 y y 0 2 z 2 9 0 displaystyle 4 quad x 2 y 2 z 2 16 0 y y 0 2 z 2 9 0 nbsp beschreibt die Schnittkurve einer Kugel mit einem Zylinder dd Zur Berechnung von Kurvenpunkten und zur Visualisierung einer impliziten Raumkurve siehe Schnittkurve Siehe auch BearbeitenImplizite FlacheWeblinks BearbeitenM Erne Mathematik III fur Bauingenieure Kapitel 10 6 Implizite ebene Kurven und Tangenten PDF Uni Hannover COMPUTERunterstutzte Darstellende und Konstruktive Geometrie S 33 37 implizite Kurven und S 200 Ubergangskurven Uni Darmstadt PDF 3 4 MB Desmos Grafik Rechner zeigt implizite Kurven an Famous CurvesLiteratur BearbeitenHoffmann Marx Vogt Mathematik fur Ingenieure 1 Pearson Studium 2005 ISBN 3 8273 7113 9 S 519 G Taubin Distance Approximations for Rastering Implicit Curves ACM Transactions on Graphics Vol 13 No 1 1994 A Gomes I Voiculescu J Jorge B Wyvill C Galbraith Implicit Curves and Surfaces Mathematics Data Structures and Algorithms 2009 Springer Verlag London ISBN 978 1 84882 405 8 R Goldman Curvature formulas for implicit curves and surfaces C L Bajaj C M Hoffmann R E Lynch Tracing surface intersections Comp Aided Geom Design 5 1988 285 307 Abgerufen von https de wikipedia org w index php title Implizite Kurve amp oldid 225866902