En implicit ligning er et forhold af formen , hvor R er en funktion af flere variable (ofte et polynomium ). For eksempel er den implicitte ligning for enhedscirklen .
En implicit funktion er en funktion defineret af en implicit ligning som en forbindelse af en af variablerne (værdi) med andre variable (argumenter) [1] . Således er den implicitte funktion y i sammenhæng med enhedscirklen implicit defineret af ligningen . Denne implicitte ligning definerer f som en funktion af x , hvis og kun ikke-negative (eller kun ikke-positive) værdier af funktionen tages i betragtning.
Den implicitte funktionssætning giver betingelser, hvorunder en form for relation bestemmer en implicit funktion, nemlig relationer defineret som en indikator for sættet af nuller af en eller anden kontinuerlig differentierbar funktion af mange variable .
En typisk slags implicit funktion er den omvendte funktion . Ikke alle funktioner har en enkelt invers funktion. Hvis g er en funktion af x , der har en unik invers, så er den inverse af g , betegnet med , den eneste funktion, der løser ligningen
med x i form af y . Løsningen kan så skrives som:
Definitionen som en invers funktion for g er en implicit definition. For nogle funktioner g , kan funktionen skrives i lukket form . For eksempel, hvis , har vi . Dette er dog ofte ikke muligt eller kan kun gøres ved at indføre yderligere notation (som for Lambert W-funktionen i eksemplet nedenfor).
Intuitivt opnås den inverse funktion fra g ved at vende variablernes roller.
Eksempel. Lambert w-funktionen er en implicit funktion, der giver løsninger i x til ligningen .En algebraisk funktion er en funktion, der opfylder en polynomialligning, hvis koefficienter i sig selv er polynomier. For eksempel giver en algebraisk funktion af en variabel x en løsning for y af ligningen
hvor koefficienterne er polynomier i x . Denne algebraiske funktion kan skrives som højre side af løsningen til ligningen . Hvis den skrives på denne måde, viser funktionen f sig at være en implicit funktion med flere værdier .
Algebraiske funktioner spiller en vigtig rolle i calculus og algebraisk geometri . Et simpelt eksempel på en algebraisk funktion er givet af venstre side af enhedscirkelligningen:
Løsning af ligningen i y giver en eksplicit løsning:
Men selv uden at specificere en eksplicit løsning, kan man angive en implicit løsning af enhedscirkelligningen som , hvor f er en flerværdi implicit funktion.
Mens en eksplicit løsning kan findes for andengradsligninger , kubiske ligninger og , er dette generelt ikke sandt for kvintiske ligninger og derover, som f.eks.
Man kan dog fortsætte med at henvise til den implicitte løsning ved hjælp af den multivalued implicitte funktion f .
Ikke hver ligning fører til en graf for en funktion med en enkelt værdi, ligningen for en cirkel er et godt eksempel. Et andet eksempel er den implicitte funktion defineret af ligningen , hvor C er et kubisk polynomium , der har en "pukkel" på grafen. Så, for at den implicitte funktion skal være en sand (en-til-en) funktion, skal kun en del af grafen bruges. En implicit funktion kan kun med succes defineres som en ægte funktion efter at have "feltreduceret" en del af x -aksen og "afskåret" nogle uønskede funktionsgrene. Derefter kan du udskrive udtrykket for y som en implicit funktion af de resterende variable.
Definitionen af en funktion ved lighed kan også have andre patologier. For eksempel indebærer ligheden slet ikke nogen funktion , der giver en løsning for y , da det er en lodret linje. For at undgå problemer som dette, er der ofte fremsat forskellige begrænsninger på ligningerne eller på funktionens domæne . Den implicitte funktionssætning giver en samlet tilgang til at håndtere denne type patologi.
I matematisk analyse bruger en teknik kaldet implicit differentiering kompleks funktionsdifferentiering til at differentiere implicit givne funktioner.
For at differentiere en implicit funktion defineret af en ligning , kan man normalt ikke blot løse ligningen eksplicit for y og derefter differentiere. I stedet kan man finde den samlede afledte med hensyn til x og y og derefter løse den resulterende lineære ligning med hensyn til at opnå den afledede i form af x og y . Selvom det er muligt at løse den oprindelige ligning eksplicit, er formlen afledt af den samlede afledte af funktionen normalt enklere og mere bekvem at bruge.
Eksempel 1. Overvej
Denne ligning er let at løse for y , hvilket giver
hvor højre side er den eksplicitte repræsentation af funktionen . Differentiering giver .
Du kan dog differentiere den oprindelige ligning:
At løse for , får vi
og vi får samme svar som før.
Eksempel 2. Et eksempel på en implicit funktion, hvor implicit differentiering er lettere end eksplicit, er funktionen udtrykt ved ligningen
For eksplicit at differentiere med hensyn til x , omskriver vi først ligheden som
Lad os nu differentiere denne funktion. Dette skaber to derivater, en for og en for .
Det er meget lettere at udføre implicit differentiering af den oprindelige ligning:
hvad giver
Eksempel 3. Det er ofte svært eller endda umuligt at løse ligningen eksplicit med hensyn til y , og implicit differentiering bliver den eneste gyldige differentieringsmetode. Et eksempel er ligningen
Det er umuligt algebraisk at udtrykke y som en funktion af x , så det kan ikke findes ved eksplicit differentiering. Ved hjælp af den implicitte metode kan opnås ved at differentiere ligningen, som giver
hvor . Tag ud og modtag
hvilket resulterer i udtrykket
som er defineret til
ogHvis , så
hvor og betegner de partielle afledte af funktionen R med hensyn til henholdsvis x og y . [2]
Ovenstående formel er opnået fra en multidimensionel variant af differentiering af en kompleks funktion for at opnå den samlede afledte af funktionen med hensyn til x på begge sider af udtrykket :
følgelig
hvorfra, når vi løser relativ, får vi ovenstående udtryk.
Lade være en differentierbar funktion af to variable, og lad være et par reelle tal sådan, at . If , ligheden definerer en implicit funktion , der er differentierbar i et tilstrækkeligt lille område af punktet . Med andre ord er der en differentierbar funktion f , der er defineret og differentierbar i et eller andet område af punktet a , således at for x i det område.
Betingelsen betyder, at det er et regulært punkt på den implicitte kurve af ligningen , hvor tangenten ikke er lodret.
I simplere (mindre præcist) sprog eksisterer implicitte funktioner og kan differentieres, hvis kurven ikke har en lodret tangent [2] .
Overvej en relation af formen , hvor R er et polynomium i flere variable. Sættet af variabelværdier, der opfylder denne relation, kaldes en implicit kurve hvis og en implicit overflade hvis . Implicitte ligninger danner grundlaget for algebraisk geometri , hvis hovedemne er den samtidige løsning af flere implicitte ligninger, hvis venstre side er polynomier. Disse løsningssæt kaldes affine algebraiske mængder .
Løsninger af differentialligninger er normalt udtrykt ved implicitte funktioner [3] .
I økonomi , hvor niveausættet er en indifferenskurve for mængderne x og y af forbrugsvarer, fortolkes den absolutte værdi af den implicitte afledte som den marginale substitutionsgrad for to materialer - hvor meget y skal der til for ikke at bemærke tabet af en materialeenhed x .
Tilsvarende er niveauet nogle gange en isokvant , der viser de forskellige kombinationer af arbejdsstyrke L og produktionskapital K , der resulterer i produktionen af en bestemt mængde produkter. I dette tilfælde fortolkes den absolutte værdi af den implicitte afledte som den marginale sats for teknisk substitution mellem to produktionsfaktorer - hvor meget mere kapital en virksomhed skal bruge for at producere den samme mængde output pr. arbejdsenhed.
Ofte i teoretisk økonomi maksimeres nogle funktioner, såsom en nytte- eller profitfunktion , over en vektor x , selvom den objektive funktion ikke er begrænset til en bestemt form. Den implicitte funktionssætning garanterer, at førsteordensbetingelserne af optimeringsproblemet definerer en implicit funktion for hvert element i den optimale vektor . I tilfælde af profitmaksimering er den implicitte funktion normalt behovet for arbejdskraft og udbuddet af forskellige produkter. Hvis nytten er maksimeret, er de implicitte funktioner normalt arbejdsressourcer og efterspørgselskurver for forskellige produkter.
Desuden kan indflydelsen af problemparametrene på - partielle afledte af den implicitte funktion - udtrykkes ved hjælp af et system af førsteordens totalafledte fundet ved hjælp af den samlede afledede af funktionen .