title: Actie (natuurkunde)
text: In de moderne natuurkunde is de actie een kenmerk van een traject/evolutie van een natuurkundig systeem over een tijdsperiode. Preciezer: het is een functionaal die aan elk mogelijk traject van een systeem een apart getal toekent. Dit getal drukt in zekere zin uit hoeveel die bepaalde beweging 'kost'. 
  De kracht van deze definitie is als volgt: van alle mogelijke evoluties van een systeem, zal net déze gevolgd worden, waarvoor de actie ('kostprijs') minimaal is. Dit wordt ook wel het principe van de kleinste actie genoemd. Het begrip actie biedt de mogelijkheid om te specificeren hoe een systeem door de tijd evolueert. De actie van een systeem wordt meestal genoteerd als . De eenheid van actie is Joule-seconden in SI-eenheden).
  
  Definitie
  In het algemeen ziet de actie  er uit als:
  
  Hierin is  de lagrangiaan, een functie die afhangt van de toestand van het systeem op tijd .  kan dus afhangen van de snelheid, de positie, ...
  
  Voorbeeld: puntmassa in eendimensionale ruimte
  
  Geen krachten op het deeltje
  Stel dat een puntmassa beweegt in een eendimensionale ruimte tussen de posities  en  binnen een tijdsduur  met een (in principe) tijdsafhankelijke snelheid . Neem aan dat er geen externe kracht op het deeltje werkt, zodat de lagrangiaan eenvoudig de kinetische energie  is. We kunnen de actie van het systeem dan bepalen als:
  
  A priori is niet bekend hoe het deeltje zal bewegen tussen  en . Elk gevolgd traject (evolutie) en zijn overeenkomstige snelheid  is dus in principe mogelijk.
  
   Stel dat het deeltje eenparig beweegt over het gehele traject. Bij een constante snelheid is  en wordt de actie:
   Het deeltje zou ook eerst gedurende een periode  met een snelheid  kunnen reizen en dan gedurende een periode  met een snelheid . Als men opnieuw de actie berekent, vindt men:Deze actie is groter dan in het eerste geval, namelijk 5/4maal de actie van het eerste pad.
   Voor elk ander mogelijk pad en elke andere beweging is de actie altijd groter dan de actie van het eerste pad.
  
  Traject van de minste actie
  Samengevat blijkt uit het bovenstaande dat er slechts één traject is (dus één enkele ) waarover de actie minimaal is. Nu is het een ervaringsfeit dat het deeltje het traject zal volgen waarvoor de actie  het kleinst is. Andersom geldt: door het definiëren van de actie ligt de beweging van het deeltje volledig vast.
  
  Uiteraard stemt de beweging in de situatie van de minste actie overeen met de eerste wet van Newton: een deeltje waarop geen kracht werkt, beweegt met constante snelheid. Men kan concluderen dat de bovenstaande actie precies die is van een deeltje dat niet aan krachten onderhevig is.
  
  Krachten op het deeltje
  Het bovenstaande voorbeeld gaf de actie voor een puntmassa, niet aan een kracht onderhevig. Wat nu als het deeltje aan een kracht onderhevig is, kan men dan ook een actie vinden waarvoor het gevolgde pad (ten gevolge van de kracht) precies het pad is waarvoor de actie minimaal is? Dat kan inderdaad: het principe van minimale actie is voor veel systemen een alternatieve manier om de tijdsevolutie te geven. De lagrangiaan  zal er dan anders uitzien.
  
  Variatierekening
  Zelfs voor een eenvoudig voorbeeld als het bovenstaande is het niet eenvoudig om aan te tonen dat het gevonden pad inderdaad het pad is waarvoor de actie minimaal is. In feite zou men voor alle mogelijke paden (dat zijn er uiteraard oneindig veel) de actie moeten berekenen en nagaan voor welke pad de actie  daadwerkelijk het kleinst is. Dat is een zeer uitgebreide opgave.
  
  Er is echter een eenvoudiger methode. Stel dat we een actie hebben, met lagrangiaan , wat zijn dan de bewegingsvergelijkingen van het systeem?
  
  Neem voor de eenvoud weer een puntmassa, waarvan de tijds-afhankelijke positie is gegeven door . Stel bovendien dat de lagrangiaan alleen afhangt van de positie  en snelheid  van het deeltje ( is de afgeleide van de positie  naar de tijd).
  
  De eis dat de actie minimaal is, zal de bewegingsvergelijkingen opleveren van het deeltje. Stel dat de actie
  
  extreem is voor een bepaald pad . Het pad loopt tussen een begintijd  en een eindtijd , en beginpositie  en eindpositie . Beschouw de actie van een naburig pad, dus een pad
  
  We gebruiken het subscript 'pert' omdat het naburige pad slechts een kleine perturbatie is ten opzichte van het echte minimum. 
  Omdat het naburige pad tussen dezelfde eindpunten moet lopen, moet op de begin- en eindtijd het verschil  nul zijn:
  
  Tot op eerste orde, is het verschil tussen de acties van beide paden:
  
  Met partiële integratie op de laatste term, en de randvoorwaarden  opleggen, krijgt men
  
  Eisen dat de actie minimaal is voor het echte pad , is gelijk met eisen dat het bovenstaande verschil  tot op eerste orde nul is. (Net zoals een minimum van een functie als eigenschap heeft dat de functiewaarde in de omgeving tot op eerste orde niet verschilt - wat equivalent is aan de eis dat de afgeleide nul is.) Dit kan alleen indien
  
  Dit is de Euler-Lagrange-vergelijking. Uitgedrukt in termen van een functionele afgeleide, kan men stellen dat de Euler-Lagrange-vergelijking equivalent is met de eis
  
  Minimaal versus stationair
  In de afleiding van de Euler-Lagrange-vergelijking hierboven werd niet strikt geëist dat het om een minimum van de actie gaat. Strikt gesproken hoeft dat ook niet. De bewegingsvergelijking van Euler-Lagrange, afgeleid van het actie-principe, komt overeen met paden waarvoor de actie stationair is. Een lokaal minimum, maximum of ander extremum mag ook. Kwalitatief is het gemakkelijk om te spreken over 'paden van minimale kosten' (of minimale actie dus).
  
  Kwantummechanica
  Het actieprincipe is veel gebruikt in de kwantummechanica. In tegenstelling tot de klassieke mechanica, waar een systeem een unieke tijdevolutie heeft, kan een systeem volgens de kwantummechanica eigenlijk elk mogelijk pad/evolutie volgen. De paden met een grotere actie zijn echter sterker onderdrukt (minder waarschijnlijk), het klassieke traject geeft de voornaamste bijdrage.
  
  Concreet: beschouw een kwantumdeeltje dat op positie  is. Op een later tijdstip zal dit deeltje uitgespreid zijn en een uitgesmeerde golffunctie hebben. Laten we de kans dat we dus op een later tijdstip het deeltje aantreffen op een andere positie  noteren met
  
  Men kan deze waarschijnlijkheid berekenen met behulp van de Schrödinger-vergelijking, maar ook door middel van een padintegraal, als volgt
  
  Hierin is  de actie,  de constante van Planck, en is de padintegraal een som over alle mogelijke paden die van  naar  lopen. (Merk op dat het argument van de exponentiële dimensieloos is.) Voor stationaire paden is de actie van naburige paden ongeveer gelijk en is dus het argument van de bovenstaande padintegraal ongeveer constant in die regio. Voor meer algemene paden is de actie niet stationair/minimaal. Dan is de actie zeer verschillend voor naburige paden, zodat de exponentiële sterk oscilleert en de bijdragen van de verschillende paden elkaar opheffen. Dat toont dat de waarschijnlijkheid  vooral bijdragen krijgt van klassieke paden.
  
  De padintegraal-formulering is ook van belang voor kwantumveldentheorie en snaartheorie.
  
  Zie ook
  
   Principe van de minimale actie/kleinste werking
   Lagrangiaan
   Euler-Lagrange-vergelijking
   Padintegraal
  
  Natuurkunde
  Variatierekening