Ampère kanunu

Klasik elektromanyetizmada Ampère yasası (1826'da André-Marie Ampere tarafından bulunmuştur) kapalı bir eğri üzerinden integrali alınmış manyetik alanla o eğri üzerindeki elektrik akımı arasındaki ilişkiyi açıklayan yasadır. James Clerk Maxwell yasayı hidrodinamik olarak 1861 tarihli Fizikte kuvvet çizgileri üzerine makalesinde tekrar kanıtlar. Yasanın matematiksel ifadesi şu anda klasik elektromanyetizmayı oluşturan dört temel Maxwell denkleminden biridir.

Tarihsel olarak ilk ortaya çıktığı hâliyle Ampere yasası manyetik alanı bu alanı oluşturan elektrik akımıyla ilişkilendirir. Yasa integral denklemi olarak da diferansiyel denklem olarak da yazılabilir. Bu iki form tek bir yasaya tekabül eder ve birbiriyle Kelvin-Stoke teoremi ile bağlantılıdır.

Yukarıdaki tanımla ilgili birkaç belirsizlik vardır. Birincisi, üç terimde işaret belirsiziği (pozitif ya da negatif) söz konusudur: çizgi integrali eğri etrafında saat yönünde ya da aksi yönde alınabilir, dS alana dik olan doğrultuda iki yönde de olabilir, Ienc belirlenmiş alandan geçen akımdır ve o alandan bir yönde geçen akım diğer yönde geçen akımın negatif işaretlisi olacağından bu yönlerden birisinin seçilmesi gerekir. Bu belirsizlikler sağ el kaidesiyle ortadan kalkar: Sağ elin avuç içi üzerinden integal alınacak alana bakarken işaret parmağı integralin yönünü gösterdiğinde başparmağın gösterdiği yön dS vektörünün yönünü verir, bu yönde geçen akımın işareti de pozitif alınır. İkinci olarak, C eğrisinin sınırlarını belirlediği sonsuz sayıda S alanı vardır ve bu alanlardan hangisinin seçileceği bir problemdir. Eğer C bir düzlem üzerinde değilse S'nin seçimi için bariz bir yol yoktur. Bunun cevabı, hangi S'nin seçileceğinin önemli olmamasıdır. Sınırları C olan herhangi bir alanın aynı sonucu vereceği kanıtlanabilir.

Kelvin-Stoke teoremiyle integral denklemi diferansiyel forma dönüştürülebilir. İntegral formu gibi bu form da sadece elektrik alanının sabit olduğu statik durumlar için geçerlidir. SI birimleriyle Amper yasasın daha genel olan diferansiyel formu aşağıdaki gibidir (: rotasyonel operatör).

Basit seviyelerdeki ders kitaplarında geçen akımlar “serbest akım” olarak sınıflandırılabilir (örneğin bir telden ya da bataryadan geçen akım). Bunun haricinde, manyetize ya da polarize olabilen (her madde bir dereceye kadar olabilir) maddelerden geçen akımlara “bağlı akım” denir.

Bir madde manyetize olduğunda (mesela haricî bir manyetik alan içerisine koyularak) elektronlar kendi atomlarına bağlı kalmakla beraber çekirdek etrafında belirli bir yönde dönerek mikroskopik bir akım yaratıyormuş gibi davranırlar. Madde içerisindeki bütün bu akımlar bir araya geldiğinde akım makroskopik ölçüde etki yaratacak kadar büyür. Bu manyetizasyon akımı JM bağlı akıma katkıda bulunur.

Bağlı akımın diğer bir kaynağı bağlı yüklerdir. Haricî bir elektrik alan altında, polarize olabilen materyallerin pozitif ve negatif yükleri madde içerisinde ayrışır ve bağlı yüklerin hareketi sonucu ortaya bağlı akımın diğer kaynağı olan polarizasyon akımı JP çıkar.

Mikroskopik açıdan bütün bu akımlar aynı türdendir fakat bağlı akımları serbest akımdan ayırt etmenin pratik faydaları vardır. Söz gelimi, bağlı akım genellikle atomik boyutlarda ortaya çıktığından, büyük boyutlu materyaller söz konusu olduğunda Amper yasası B ve mikroskopik akımların toplamı (yukarıda bahsedilen üç akım) şeklinde yazılmaktansa H ve yalızca serbest akım kullanarak ifade edilebilir. H ya da B kullanılarak yazılan denklemlerin eşdeğerliği aşağıda kanıtlanacaktır.

Serbest yükleri bağlı olanlardan ayrı olarak inceleyerek Maxwell'in düzeltmesini de içerecek şekilde ve H-alanı cinsinden yazılan Ampere yazası aşağıdaki gibidir (H-alanı manyetizasyon akımını da içerdiğinden denklemde JM açık biçimde görülmez).

olduğundan, Ampere'in orijinal formülasyonunda ortaya çıkan yüklerin sürekliliği problemi ε0∂E / ∂t teriminin sağladığı üzere boş uzayda dalganın yayılmasının mümkün oluşu sayesinde ortadan kalkar.

Ampere yasasının sadece serbest akımı içeren terimlerle yazıldığı formunun, toplam akımı içeren terimlerle yazılan formuna eşdeğer olduğunun kanıtı aşağıdaki gibi yapılabilir.

Matematiksel olarak, eşdeğerliği gösterilecek denklemler aşağıdaki şekilde yazılabilir (kanıtta sadece diferansiyel formlarla ilgileneceğiz fakat denklemlerin integral formu burada görülecek olan her denkleme Kelvin-Stoke teoremiyle bağlanabilir).