Kompleks analyse [1] , teorien om funktioner af en kompleks variabel (eller kompleks variabel ; forkortet TFCF ) er et afsnit af matematisk analyse , hvor funktioner i et komplekst argument betragtes og studeres .
Hver kompleks funktion kan betragtes som et par reelle funktioner af to variable: definere dens reelle og imaginære dele, henholdsvis. Funktionerne kaldes komponenterne i en kompleks funktion .
Yderligere, hvor end vi taler om afgrænsningen af en kompleks funktion, mener vi afgrænsningen af dens modul (hvilket indebærer afgrænsningen i den sædvanlige betydning af begge komponenter).
Begrebet en grænse for en sekvens og en funktion introduceres på samme måde som i det virkelige tilfælde, hvor den absolutte værdi erstattes af et komplekst modul. Hvis , så og Det omvendte er også sandt: eksistensen af grænsen for selve funktionen følger af eksistensen af grænserne for komponenterne, og grænserne for komponenterne vil være grænsens komponenter. Kontinuiteten af en kompleks funktion er også defineret på samme måde som i det virkelige tilfælde, og det svarer til kontinuiteten af begge dens komponenter [2] .
Alle de vigtigste sætninger om grænsen og kontinuiteten af reelle funktioner finder også sted i det komplekse tilfælde, hvis denne udvidelse ikke er relateret til sammenligningen af komplekse størrelser med mere eller mindre . For eksempel er der ingen direkte analog til sætningen om mellemværdier af en kontinuerlig funktion.
-nabo af et tal er defineret som et sæt af punkter mindre end :
På det komplekse plan er -kvarteret det indre af en cirkel [2] med radius centreret ved .
I kompleks analyse er det ofte nyttigt at overveje det fulde komplekse plan [3] , suppleret i sammenligning med det sædvanlige punkt ved uendelig : Med denne tilgang anses en uendeligt stigende (i absolut værdi) sekvens for at konvergere til punktet ved uendelig . Algebraiske operationer med uendelighed udføres ikke, selvom flere algebraiske relationer gælder:
Et punkts -kvarter ved uendelighed anses for at være det sæt af punkter, hvis modul er større end , det vil sige den ydre del af -kvarteret af oprindelsen.
Den afledte for en kompleks funktion af et argument er defineret på samme måde som for et reelt [4] :
Hvis denne grænse eksisterer, siges funktionen at være differentierbar eller holomorf . Hvori
hvor — " o " er lille .En vigtig egenskab bør tages i betragtning: da den komplekse funktion er givet på flyet, betyder eksistensen af den reducerede grænse, at den er den samme, når man plejer fra enhver retning. Denne kendsgerning pålægger væsentlige begrænsninger på formen af komponentfunktioner og bestemmer deres stive forhold ( Cauchy-Riemann- betingelser, de er også Euler-D'Alembert-betingelser) [4] :
eller i kort form,
Dette indebærer, at komponenternes differentierbarhed og ikke er tilstrækkelig til differentiabiliteten af selve funktionen.
Desuden er der følgende egenskaber, der adskiller kompleks analyse fra reel analyse [4] :
Enhver differentierbar kompleks funktion er således en funktion af formen , hvor er de indbyrdes forbundne harmoniske funktioner af to argumenter.
Lad funktionerne og være differentierbare i domænet Så og er også differentierbare i dette domæne. Hvis det ikke forsvinder i regionen , så vil det være differentierbart i Sammensætningen af funktioner er differentierbar overalt, hvor det er defineret. Hvis den afledede af en funktion i regionen ikke forsvinder, så er der en funktion invers til den, og den vil være differentierbar.
Den afledte for sum, forskel, produkt, kvotient, sammensætning af funktioner og invers funktion beregnes ved hjælp af de samme formler som i reel analyse.
Hver kompleks funktion definerer en vis afbildning af det komplekse plan med koordinater til et andet komplekst plan med koordinater . Samtidig udtrykket
når den er lille , kan den geometrisk fortolkes som den skaleringsfaktor, som denne kortlægning udfører, når den bevæger sig fra punkt til punkt . Eksistensen af en grænse , det vil sige modulet af den afledede , betyder, at skaleringsfaktoren er den samme i enhver retning fra punktet , det vil sige ikke afhænger af retningen. Generelt set varierer skaleringsfaktoren fra punkt til punkt [5] .
Hvis skaleringsfaktoren , så i nærheden af punktet , øges afstandene mellem punkterne, og skaleringsfaktoren kaldes strækfaktoren . Hvis skaleringsfaktoren , så i nærheden af punktet , falder afstandene mellem punkterne, og skaleringsfaktoren kaldes kompressionsfaktoren . Eksempel på funktionen : i et punkt er den afledede 4, så alle længder firdobles.
Hvad angår det afledede argument, bestemmer det rotationsvinklen for en glat kurve, der passerer gennem et givet punkt . Alle glatte kurver roteres med samme vinkel i dette display. Kort, der bevarer vinkler, kaldes konforme ; således definerer enhver differentierbar kompleks funktion en konform mapping (i det område, hvor dens afledte ikke forsvinder) [6] . Dette faktum er forbundet med den udbredte brug af komplekse funktioner i kartografi og hydrodynamik [7] .
Begrebet en antiderivat kompleks funktion (ubestemt integral) introduceres på samme måde som i det virkelige tilfælde. Der er dog ingen analog til det bestemte integral i intervallet fra til på det komplekse plan, da vejen fra startpunktet til det sidste er tvetydig. Derfor er hovedformen af det komplekse integral det krumlinjede integral , som afhænger af en bestemt sti. Nedenfor vil vi angive de betingelser, hvorunder integralet ikke afhænger af stien, og så kan integralet "fra punkt til punkt" defineres korrekt.
Lad ligningen, hvor parameteren t er rettet fra en eller anden begyndelsesværdi a til slutværdien b , definere en stykkevis jævn kurve i det komplekse plan, udstyret med en retning, og funktionen defineres ved punkterne i denne kurve. Retningen, hvori parameteren bevæger sig, bestemmer den specifikke traversering af kurven: det er ligegyldigt, hvad der er større - b eller a . [8] Opdel parametreringssegmentet i lige store dele
og overvej integralsummen:
Grænsen for denne sum, når den stiger uden bundet , kaldes det (komplekse) integral over den (rettede) kurve for den givne funktion ; det er betegnet:
For enhver funktion, der fortsætter langs , eksisterer dette integral og kan beregnes gennem det sædvanlige reelle integral over parameteren:
Her er komponenterne . Fra denne repræsentation kan det ses, at egenskaberne af det komplekse integral svarer til egenskaberne for det reelle krumlinjede integral af den anden slags.
Af særlig praktisk interesse er integraler langs en (lukket) kontur , det vil sige langs en stykkevis jævn kurve uden selvskæringspunkter , hvor startpunktet falder sammen med slutpunktet. Konturen kan omgås i to retninger; positiv er retningen, i hvilken området afgrænset af konturen er placeret til venstre i kørselsretningen.
Hvis kurven danner en lukket kontur, bruges en speciel notation for integralet:
Nogle gange angiver pilen på cirklen retningen: med uret eller mod uret.
Der er en vigtig Cauchy-integralsætning : for enhver funktion , der er analytisk i et simpelt forbundet domæne og for enhver lukket sløjfe , er integralet over det lig nul:
Konsekvens: lad funktionen være analytisk i et simpelt forbundet domæne , og punkterne fra domænet er forbundet med en eller anden kurve . Så afhænger integralet kun af punkterne , men ikke af valget af den kurve, der forbinder dem , så det kan betegnes
Hvis betingelserne for Cauchy-sætningen er opfyldt, så kan vi introducere begrebet et ubestemt integral for . For at gøre dette retter vi et bestemt punkt inde i regionen og overvejer integralen:
Afledten er derfor antiderivatet for Familien af antiderivater, der adskiller sig i en konstant (afhængigt af valget af ) danner et ubestemt integral. Newton-Leibniz-sætningen [9] siger :
Der er en generalisering af Cauchys integralsætning for et multipliceret forbundne område: hvis en funktion er analytisk i et lukket multipliceret forbundne område , så er dens integral over den ydre kontur af regionen lig med summen af integraler over alle indre konturer (i samme retning som langs den ydre) [10] . Denne generalisering er praktisk at anvende, hvis domænet indeholder et entalspunkt for en funktion (definition af et entalspunkt nedenfor ), hvor funktionen ikke er analytisk eller ikke defineret.
Andre kraftfulde værktøjer til at udforske komplekse og virkelige integraler:
En funktions nul er det punkt , hvor funktionen forsvinder: .
Sætning om nuller i en analytisk funktion . Hvis nullerne i en funktion , som er analytisk i domænet , har et grænsepunkt inde , så forsvinder funktionen overalt i .
Følge: hvis en funktion er analytisk i et domæne og ikke er identisk nul i det, så kan den i ethvert afgrænset lukket underdomæne kun have et endeligt antal nuller.
Unikitetssætningen for en analytisk funktion. Lad være en uendelig konvergent sekvens af forskellige punkter i domænet Hvis to analytiske funktioner falder sammen på alle punkter i denne sekvens, så er de identisk lige i
Især hvis to analytiske funktioner falder sammen på en stykkevis jævn kurve i , så falder de sammen overalt i . Dette betyder, at værdierne af en analytisk funktion, selv i et lille område af domænet, fuldstændig bestemmer funktions adfærd i hele domænet af dens definition. Efter at have givet en analytisk funktion på en kurve (for eksempel på den reelle akse), bestemmer vi entydigt dens forlængelse (hvis muligt) til et bredere område, hvilket kaldes den analytiske fortsættelse af den oprindelige funktion.
Alle standardanalysefunktioner - polynomium , lineær brøkfunktion , potensfunktion , eksponentielle , trigonometriske funktioner , inverse trigonometriske funktioner , logaritme - tillader analytisk fortsættelse til det komplekse plan. Samtidig vil de samme algebraiske, differentielle og andre identiteter være gældende for deres analytiske fortsættelse som for den virkelige original, for eksempel:
Definitionen af summen af en talserie og tegnene på konvergens i kompleks analyse er praktisk talt den samme som i reel analyse, med den absolutte værdi erstattet af et komplekst modul; undtagelsen er tegnene på konvergens, hvor der er en sammenligning for mere eller mindre end elementerne i serien selv, og ikke deres moduler.
Enhver funktion, der kan differentieres i et punkt, udvides i kvarteret til dette punkt i en Taylor potensrække :
Seriens koefficienter beregnes ved hjælp af de sædvanlige formler. Denne serie konvergerer til en funktion i en eller anden cirkel med radius centreret ved punktet , som tjener som en analog af konvergensintervallet for den virkelige serie. Serien konvergerer absolut i denne cirkel og divergerer uden for den. I dette tilfælde er 3 tilfælde mulige.
Grænsen for konvergenscirklen indeholder mindst ét ental punkt. Det følger heraf, at radius af konvergenscirklen i et punkt er lig med afstanden fra til det entalspunkt, der er nærmest.
Abels sætning : hvis er radius af konvergenscirklen for en potensrække, så konvergerer rækken ensartet i enhver cirkel med samme centrum, men med en mindre radius .
Det er af stor praktisk interesse at studere adfærden af en funktion nær et isoleret singulær punkt , det vil sige et punkt i nærheden af hvilket funktionen er analytisk, men på selve punktet er enten ikke analytisk eller ikke defineret. Power-serien er ubrugelig her, så den mere generelle Laurent-serie introduceres :
Hvis konvergensområdet for Laurent-serien ikke er tomt, er det en cirkulær ring : .
Hovedsætning : hvis en funktion er analytisk i en cirkulær ring, så kan den repræsenteres i denne ring af en konvergent Laurent-række og entydigt.
Hvad angår en potensrække, er grænserne for konvergensringen bestemt af fordelingen af entalspunkter for funktionen. Ud fra Laurent-seriens form kan vi drage nogle konklusioner om funktionsmåden nær punktet .
Ved hjælp af teorien om rester , som er en del af TFKP, beregnes mange komplekse integraler over lukkede konturer.
Midlerne til kompleks analyse forklarer nogle punkter, der ikke let kan fortolkes i form af materialeanalyse. Lad os tage et klassisk eksempel: funktionen
er kontinuerlig og uendeligt differentierbar på hele den reelle linje. Overvej dens Taylor-serie
Denne serie konvergerer kun i intervallet , selvom punkterne ikke er specielle for .
Situationen bliver klarere, når man går over til funktionen af en kompleks variabel , som har to entalspunkter: . Følgelig kan denne funktion kun udvides til en Taylor-serie i cirklen .
Grundlæggende arbejde i kompleks analyse er forbundet med navnene på Euler , Riemann , Cauchy , Weierstrass og mange andre berømte matematikere. Teorien om konforme kortlægninger begyndte at udvikle sig hurtigt på grund af de eksisterende applikationer inden for teknik, metoderne og resultaterne af kompleks analyse bruges i analytisk talteori . En ny bølge af interesse for kompleks analyse er forbundet med kompleks dynamik og teorien om fraktaler .
Grene af matematik | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
Portal "Science" | ||||||||||
Grundlaget for matematik mængdeteori matematisk logik logikkens algebra | ||||||||||
Talteori ( aritmetik ) | ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
|
Ordbøger og encyklopædier | |
---|---|
I bibliografiske kataloger |
|