Sonsuzluk Laplacian - Infinity Laplacian

İçinde matematik, sonsuzluk Laplace (veya -Laplace) operatörü 2. dereceden kısmi diferansiyel operatör, genellikle kısaltılmış . Alternatif olarak şu şekilde tanımlanır:

veya

İlk versiyon, gradyan kaybolduğunda ortaya çıkan tekilliği önler, ikinci versiyon ise gradyan içinde sıfır derece homojendir. Sözlü olarak, ikinci versiyon gradyan yönünde ikinci türev. Sonsuz Laplace denklemi durumunda iki tanım eşdeğerdir.

Denklem ikinci türevleri içerirken, iyi bilinen Aronsson çözümünün de gösterdiği gibi, genellikle (genelleştirilmiş) çözümler iki kez türevlenebilir değildir. . Bu nedenle, doğru çözüm kavramı, viskozite çözümleri.

Denklem için viskozite çözümleri olarak da bilinir sonsuz harmonik fonksiyonlar. Bu terminoloji, sonsuzluk Laplace operatörünün ilk olarak mutlak küçültücülerin çalışmasında ortaya çıkmasından kaynaklanmaktadır. ve belirli bir anlamda, işin sınırı olarak görülebilir. p-Laplacian gibi . Daha yakın zamanlarda, sonsuzluk Laplace denkleminin viskozite çözümleri, aşağıdaki getiri fonksiyonlarıyla tanımlanmıştır. rastgele halat çekme oyunlar. Oyun teorisi bakış açısı, oyun teorisinin anlaşılmasını önemli ölçüde geliştirmiştir. kısmi diferansiyel denklem kendisi.

Ayrık versiyon ve oyun teorisi

Alışılmışın tanımlayıcı bir özelliği -harmonik fonksiyonlar ... ortalama değer özelliği. Bunun doğal ve önemli bir ayrık versiyonu vardır: gerçek değerli bir fonksiyon sonlu veya sonsuz grafik dır-dir ayrık harmonik bir alt kümede Eğer

hepsi için . Benzer şekilde, gradyan yönündeki kaybolan ikinci türevin doğal bir ayrık versiyonu vardır:

.

Bu denklemde max ve min yerine sup ve inf kullandık çünkü grafik yerel olarak sonlu olmak zorunda değildir (yani, sonlu derecelere sahip olmak): önemli bir örnek, bir alandaki noktalar kümesidir , ve Öklid mesafesi en fazla ise . Bu örneğin önemi aşağıda yatmaktadır.

Sınırlı açık bir küme düşünün pürüzsüz sınır ile ve sürekli bir işlev . İçinde -case, harmonik genişlemesinin bir yaklaşımı f -e D bir kafes alınarak verilir küçük gözenekli , izin vermek ve dereceden daha az olan köşeler kümesi 2 gdoğal bir yaklaşımla ve sonra benzersiz ayrık harmonik uzantısını alarak -e V. Bununla birlikte, örneklerle bunun şu ana kadar işe yaramadığını görmek kolaydır. -durum. Bunun yerine, ortaya çıktığı gibi, kişi sürekli grafik en fazla tüm uzunluk kenarlarıyla , yukarıda bahsedilen.

Şimdi, bir olasılık yolu bakmanın -harmonik uzantısı itibaren -e bu mu

,

nerede ... basit rastgele yürüyüş açık Başlangıç , ve ... vurma zamanı nın-nin .

İçin -case, ihtiyacımız var oyun Teorisi. Konumda bir jeton başlatılır , ve verilmiş. İki oyuncu vardır, her seferinde adil bir yazı tura atarlar ve kazanan jetonu mevcut konumun herhangi bir komşusuna taşıyabilir. Jeton ulaştığında oyun biter bir aralar ve konum , bu noktada ilk oyuncu miktarı alır ikinci oyuncudan. Bu nedenle, ilk oyuncu maksimize etmek ister ikinci oyuncu bunu küçültmek isterken. Her iki oyuncu da en iyi şekilde oynarsa (oyun teorisinde iyi tanımlanmış bir anlamı vardır), beklenen getiri ilk oyuncuya, yukarıda tanımlandığı gibi, ayrık bir sonsuz harmonik fonksiyondur.

Bir oyun teorisi yaklaşımı var p-Laplacian ayrıca, basit rastgele yürüyüş ile yukarıdaki rastgele halat çekme oyunu arasında enterpolasyon yapıyor.

Kaynaklar

  • Barron, Emmanuel Nicholas; Evans, Lawrence C .; Jensen, Robert (2008), "Sonsuzluk Laplasyanı, Aronsson denklemi ve genellemeleri" (PDF), Amerikan Matematik Derneği İşlemleri, 360 (1): 77–101, doi:10.1090 / S0002-9947-07-04338-3, ISSN  0002-9947
  • Peres, Yuval; Schramm, Oded; Sheffield, Scott; Wilson, David B. (2009), "Tug-of-war and the infinity Laplacian.", Amerikan Matematik Derneği Dergisi, 22 (1): 167–210, arXiv:math / 0605002v2, Bibcode:2009JAMS ... 22..167P, doi:10.1090 / s0894-0347-08-00606-1, BAY  2449057.