Representasi Efisien Batas Nonreflecting

Kondisi untuk Persamaan Schrödinger yang Bergantung Waktu

dalam Dua Dimensi

SHIDONG JIANG
Institut Teknologi New Jersey
DAN
LESLIE GREENGARD
Institut Courant

Abstrak
Kami menyajikan algoritma cepat untuk evaluasi pasti, nonreflecting terikat-kondisi ary
untuk persamaan Schrödinger bergantung waktu dalam dua dimensi pada lingkaran
satuan. Setelah pemisahan variabel, kondisi keluar yang tepat untuk setiap mode Fourier
berisi suku nonlokal yang merupakan integral konvolusi dalam waktu. Kernel untuk
konvolusi itu adalah transformasi Laplace terbalik dari log-turunan aritmatika dari fungsi
Bessel yang dimodifikasi, dan integral konvolusi dapat dibagi menjadi dua bagian: bagian
lokal dan bagian sejarah, yang dapat diobati terpisah. Bagian lokal mudah ditangani oleh
kuadratur yang sesuai. Untuk bagian sejarah, kami menunjukkan bahwa kernel konvolusi
dapat didekati dengan baik oleh jumlah eksponensial. Setelah representasi seperti itu tersedia,
konvolusi integral dapat dievaluasi secara rekursif, mengurangi biaya dari O(N 2 ) bekerja ke
O(N) , di mana N adalah jumlah langkah waktu. Pengembangan teknis utama terletak pada
pendekatan rasional seragam dari turunan logaritmik dari dimodifikasi Bessel fungsi Kν(√ is
) .c 2007 Wiley Periodicals, Inc

1. Perkenalan
Masalah nilai awal untuk persamaan Schrödinger dalam domain tak terbatas muncul di
beberapa area, termasuk hamburan kuantum, pemodelan pandu gelombang, dan akustik
bawah air. Dalam makalah ini, kami mempertimbangkan solusi numerik dari masalah dalam
dua dimensi. Lebih tepatnya, kami mempertimbangkan persamaan bentuk

di mana V( x ,t) dan u0( x ) didukung secara kompak. Karena solusinya di lain waktu

menyebar di ruang angkasa, skema time-marching standar memerlukan pengenaan kondisi
batas buatan pada daerah berhingga.
Secara luas, ada dua pendekatan berbeda untuk membangun batasan seperti itu.kondisi
ary. Satu kelas metode memodifikasi fungsi potensial V( x ,t) pada a wilayah eksterior
batas ∂ sehingga gelombang diserap atau dibasahi karena melewati dan refleksi yang sesuai
kecil. Kondisi batas ini sering disebut sebagai "lapisan penyerap" atau "lapisan yang sangat
cocok" (lihat,misalnya, [15, 21]). Metode "penskalaan kompleks eksterior" juga termasuk
dalam kelas ini.

Meskipun awalnya dirancang untuk masalah waktu-independen, baru-baru ini telah

cenderung kasus tergantung waktu [19]. Metode di kelas ini seringkali sangat
efektif. Mereka, bagaimanapun, sulit untuk dimasukkan ke dalam dasar matematika yang
ketat. dalam hal akurasi, tingkat konvergensi, dan biaya komputasi. Harus mencatat bahwa
persamaan Schrödinger sangat tak kenal ampun — tidak seperti skalar persamaan gelombang,
kesalahan pada satu titik dalam ruang merambat dengan kecepatan tak terbatas di setiap
arah. Ini jelas dari pemeriksaan fungsi ruang bebas Green:

  .
Kelas metode kedua adalah untuk menetapkan kondisi batas yang tidak mencerminkan di
mana masalah nilai batas awal yang dihasilkan setara dengan yang asli masalah nilai awal
(terbatas pada domain terbatas). Untuk ulasan yang sangat baik artikel, lihat [12]. Sayangnya,
kondisi batas nonreflecting yang tepat adalah umumnya nonlokal baik dalam ruang dan
waktu, sehingga implementasi langsung sangat tidak efisien baik dari segi komputasi maupun
biaya penyimpanan. Oleh karena itu sebagian besar penelitian telah telah dikhususkan untuk
perkiraan kondisi batas nonreflecting yang tepat, khususnya untuk kasus satu dimensi (lihat,
misalnya, [3, 4, 8, 17, 23, 24, 25, 26]). Beberapa makalah dalam literatur mempertimbangkan
pengaturan dua dimensi [5, 7, 22]. Dari ini, hanya [22] terakhir yang membahas masalah
lengkap yang dibahas di sini. Metode dipertimbangkan dalam referensi [5, 7] adalah untuk
persamaan dua dimensi (1.1) tetapi dengan kondisi batas periodik dalam satu arah.
Dalam makalah ini, kami menjelaskan algoritma cepat untuk pengenaan non- mencerminkan
kondisi batas (ENRBC) pada disk unit. satu dimensi kasus dirawat di [14]. Skema ini
merupakan perpanjangan alami dari pekerjaan di persamaan gelombang skalar dikembangkan
pada [2]. Pendekatan analitik kami adalah klasik, menggunakan transformasi Fourier dalam
ruang dan transformasi Laplace dalam waktu [12]. Disini kita berkonsentrasi pada ENRBC
untuk setiap mode Fourier, yang nonlokal dalam waktu dan akan ditunjukkan melibatkan
integral konvolusi dari bentuk

di mana C ν (t) adalah kebalikan Transformasi Laplace dari fungsi

Dalam ekspresi sebelumnya, K ν (s) menunjukkan Bessel fungsi modifikasi dari

urutan ν ,sv adalah sebuah konstanta kompleks tergantung pada ν , yang akan dibahas di
bawah ini, dan σ adalah densitas yang tergantung pada solusi yang dihitung

Analisis asimtotik mengungkapkan bahwa konvolusi kernel C ν (t) , kadang-kadang disebut

"kernel batas nonreflecting," adalah tunggal pada titik asal. Jadi, kami melanjutkan dengan
membelah konvolusi menjadi dua bagian: bagian lokal (t – δ ≤ τ ≤ t) dan sejarah bagian 0
≤ τ ≤ t - δ . (Algoritma cepat untuk evaluasi potensi panas [9, 11] menggunakan dekomposisi
analog.) Bagian lokal dihitung dengan mampu kuadrat. Untuk bagian sejarah, kami
memperkirakan kernel dengan jumlah a sejumlah kecil eksponensial, dengan jumlah
eksponensial tergantung pada ditentukan presisi ε dan jumlah modus n . Karena konvolusi
dengan eksponen- fungsi tial dapat dievaluasi secara rekursif, pendekatan ini memungkinkan
kita untuk mengurangi komputasi dan biaya penyimpanan secara dramatis. Lebih khusus lagi,
jika kita membiarkan NT menunjukkan jumlah langkah waktu dalam simulasi,
dan N(ϵ,v ) jumlah paparan nentials dibutuhkan untuk perkiraan konvolusi kernel C ν , maka
langsung implementasi ENRBC untuk setiap mode Fourier membutuhkan O(N 2 T ) kerja
dan O(N  T ) penyimpanan, sedangkan algoritma dalam makalah ini hanya
membutuhkan O(N(ϵ,v ) · N  T ) kerja dan penyimpanan O(N(ϵ,v )) .
Pusat masalah yang kita hadapi adalah bahwa konvolusi kernel C ν (t) tidak tersedia secara
analitis. Hanya nya Transformasi Laplace C ν (s) secara eksplisit diketahui. Untuk menjadi
mampu membalikkan Transformasi Laplace, akan lebih mudah untuk
perkiraan C ν (s) dengan penjumlahan tiang. Ini memiliki dua keuntungan. Pertama,
transformasi Laplace terbalik dari sebuah kutub adalah fungsi eksponensial sederhana,

Kedua, seperti yang disebutkan sebelumnya, setelah suatu fungsi dinyatakan sebagai jumlah
eksponensial,
konvolusi dalam waktu dapat dilakukan secara rekursif.
Hasil analisis utama dari makalah ini adalah bahwa C  ν dapat diperkirakan di hak setengah-
pesawat dengan kesalahan mutlak ε oleh sejumlah tiang dengan jumlah kutub N (ε, ν) ~
O ( log (1 / ε) · ( log ν + log ( 1 / ε))) sebagai ν → ∞ dan ε → 0. Kami menerapkan versi
perbaikan dari prosedur kuadrat terkecil nonlinier yang dikembangkan di [2] untuk
menghitung secara numerik pendekatan seperti itu dan menunjukkan bahwa kernel konvolusi
C  ν di (waktu) domain fisik dapat didekati dengan jumlah eksponensial dengan rata-rata
jumlah eksponensial Ń  ≤ 80 untuk mencapai kesalahan relatif ε =10-12
untuk 10-8  ≤ t ≤ 10 8 dan 0 ≤ v ≤ 1024.
Makalah ini disusun sebagai berikut. Di Bagian 2, kami menurunkan nonreflecting kondisi
batas yang eksak, nonlokal dalam ruang dan waktu, dan mudah ditekan dalam hal operator
konvolusi. Dalam Bagian 3, kami mengembangkan jumlah pendekatan eksponensial untuk
kernel konvolusi. Bagian 4 membahas perhitungan bagian lokal dari konvolusi, dan Bagian 5
menyajikan perbedaan skema kretisasi untuk masalah batas awal yang dihasilkan. kinerja dari
skema diilustrasikan dalam Bagian 6

2. Kondisi Batas yang Tepat Tidak Mencerminkan

Pada bagian ini, kami menurunkan kondisi batas nonreflektif yang tepat untuk persamaan
Schrödinger dua dimensi pada lingkaran satuan. Kami menggunakan umum metode
berdasarkan transformasi Fourier-Laplace yang diuraikan dalam [12]. Kami berasumsi bahwa
baik data awal dan potensi lenyap luar unit disk D 2 = { (x, y) ∈ R 2 : x 2 + y  2 < 1} dan
solusinya terbatas di tak hingga.

T HEOREM 2.1 Misalkan fungsi V,u 0 : R 2 → C menghilang di luar unit disk yang

D 2 . Misalkan lebih lanjut bahwa solusi dari masalah nilai awal murni (1.1) adalah
diperluas menjadi deret Fourier

Kemudian, pada r = 1 , setiap mode Fourier memenuhi kon-

disi

di mana * menunjukkan Laplace konvolusi

Dan L-1 menunjukkan invers transformasi Laplace

P ROOF : Substitusikan (2.1) ke (1.1) dan terapkan kondisi bahwa V(r,θ) = 0 untuk r 1, kita
peroleh

bahwa u 0 (r,θ) = 0 untuk r 1, kita memperoleh

.
Menerapkan transformasi Laplace dalam waktu ke (2.5) di bawah kondisi (2.6), kami
menemukan
tain

di mana R ν adalah Transformasi Laplace dari R v didefinisikan oleh rumus

Sekarang, perbandingan (A.8) dan (2.7) menunjukkan bahwa solusi umum (2.7) adalah
diberikan oleh rumus

di mana K ν dan saya ν yang diubah fungsi Bessel, koefisien a ν dan b ν adalah arbi- fungsi

trary analitik di setengah bidang kanan, dan cabang dari akar kuadrat adalah ditentukan oleh

Jelas, karena solusinya u dibatasi pada tak terhingga, R ν (r, s) (s> 0 ) tidak bisa tumbuh

secara eksponensial sebagai r → . Dengan ekspansi asimtotik K ν , saya v (lihat, Misalnya,
(A.9) dan (A.10) di Lampiran), kita harus memiliki b ν (s) = 0, yaitu,

.
Diferensialkan persamaan di atas terhadap r , kita peroleh

Menggabungkan (2.11) dan (2.12), kami memiliki

Akhirnya, (2.2) mengikuti dari mensubstitusi r = 1 ke (2.13) dan menerapkan invers

Transformasi Laplace.

Dari ekspansi asymptotic K ν dan Kν (lihat, misalnya, (A.10) dan (A.12) dalam Lampiran),
kami memiliki
Jadi, kernel konvolusi dalam (2.2) adalah fungsi umum dan tidak nyaman untuk
perhitungan. Oleh karena itu, kami menghapus perilaku tunggal dengan mengikuti
pengobatan di [13]. Untuk ini, kami hanya membagi kernel dengan faktor (s - s ν ) di mana
sV kebohongan dekat dengan titik balik iν 2 di kiri setengah dari pesawat kompleks. (Itu
harus berada di bagian kiri bidang kompleks untuk melestarikan kausalitas.) Artinya, kita
tulis ulang (2.13) dengan r = 1 sebagai berikut:

Dari asumsi R  ν  ( 1 , t) = 0 untuk t ≤ 0 dan sifat standar

Transformasi Laplace, kami memperoleh kondisi batas nonreflecting yang tepat dalam
bentuk berikut:

di mana fungsi C ν : [0 , ∞ ) → C didefinisikan dengan rumus

dan sekarang menjadi fungsi yang tepat.

Catatan 2.2 . Nilai yang tepat dari s ν tidak memiliki makna besar asalkan tidak bertepatan
dengan salah satu nol dari K ν (√ is) . Tepatnya, kita menetapkan s ν = (iν2 - ik  2v.1)/ 2, di
mana ik 2,v. 1 (didefinisikan oleh (A.19) dalam Lemma A.3) adalah nol terdekat dari K ν(√ is
)   adalah) ke titik iν2.

3 Perkiraan Kernel Konvolusi

Pada bagian ini, kami akan menunjukkan bahwa konvolusi kernel C ν (t) didefinisikan oleh
(2.17)
dapat didekati secara seragam dengan jumlah fungsi eksponensial yang menurun untuk
t ≥ delta> 0. Kami melakukannya dengan pendekatan rasional

.
Hasil utama kami adalah Teorema 3.4, yang menyatakan bahwa di setengah bidang kanan
fungsi C  ν dapat didekati dengan sejumlah tiang dengan jumlah kutub d = O ( log ( 1 /
ε) · ( log ν + log ( 1 / ε))) dalam setiap presisi ditentukan ε . Meskipun buktinya agak teknis,
ide dasarnya agak sederhana. Itu adalah, kami pertama kali mewakili C  ν  (s) sebagai jumlah
dari kutub (diskrit dan kontinyu) dengan menggunakan teorema residu dengan kontur yang
dipilih dengan benar. Kemudian kami memperkirakannya jauh lebih sedikit jumlah kutub
dengan tingkat konvergensi eksponensial di wilayah yang baik dipisahkan dari lokasi kutub,
menggunakan ide yang terkait dengan multikutub cepat metode [10].
Kita mulai dengan representasi yang agak rumit dari C ν (z) yang kebetulan paling cocok
untuk analisis pendekatan rasionalnya (mengikuti berlatih dalam analisis kompleks, mulai
sekarang kita akan menggunakan z alih-alih s untuk menunjukkan argumen dari fungsi C ν ).

T HEOREM 3.1 Misalkan q v ditentukan seperti di Lema A.6 untuk v ≥ ½ dan θ0  

= . Membiarkanm k ν, 1 , ..., kν,P v menjadi nol dari K ν (z) dengan π / 2 < arg k ν,
i <q  ν  / 2 + π / 4 , i = 1 , ..., P v . Maka fungsi C ν (z) mengakui representasi
F GAMBAR 3.1. Integrasi kontur γ dipilih sehingga titik-titik z
dan s  ν dan kutub – ik2v, j , J = 1 , ..., P ν kebohongan dalam γ 

untuk z ∈ { z : z ∈ C , - π < arg z <q ν } \ {0 , s ν , - ik 2 ν, 1 , ..., - ik 2 ν, P ν } , dimana
w  ν  adalah ditentukan oleh rumus

PROOF : Kita perhatikan integral kontur berikut:

dan, di mana γ dipilih untuk menjadi kurva tertutup sederhana ditunjukkan pada Gambar 3.1,
yang pro
Ceeds berlawanan sepanjang lingkaran C R jari-jari R berpusat pada titik asal dari arg z =
- π untuk q ν , untuk segmen z = ρe  iθ ν , ρ ∈ [ r, R ], ke lingkaran C r jari-jari r berpusat di
asal dari arg z = q v ke - π , untuk segmen z = ρe - πi, Ρ ∈ [ r, R ], dan kembali ke lingkaran
pertama. Kemudian (3.2) mengikuti dari aplikasi residu teorema, Lemma A.4, dan fakta-fakta
berikut:
Representasi (3,2) sudah mengungkapkan C  ν  (z) sebagai penjumlahan (diskrit dan contin-
uous) kutub di mana semua kutub terletak di setengah bidang kiri C. Untuk menemukan yang
efektif pendekatan rasional C ν (z) dengan tiang jauh lebih sedikit ketika z terletak pada
setengah kanan bidang, kita memanggil Lemma A.1 untuk suku kedua (3.2) dan Lemma A.2
untuk dua suku terakhir dari (3.2).
L EMMA 3.2 Untuk setiap cukup kecil ε> 0 dan v ≥ ½ , fungsi

menerima aproksimasi g(z) yang merupakan jumlah kutub d = O( log ν · log ( 1 /ϵ)), dengan

asalkan Re (z) 0 .
P ATAP : Dengan Lemma A.3, kita jelas bisa menutupi semua kutub ik 2 ν, 1 , ..., - ik 2 ν,
P ν
oleh n = O( log ) disk, di mana masing-masing dipisahkan dengan baik dari sumbu imajiner
oleh radiusnya.
Kemudian, oleh Lema A.1, fungsi p ν (z) mengakui perkiraan g (z) untuk Re (z) 0 yang
merupakan jumlah dari m · n kutub dengan galat dibatasi oleh
Menggunakan Lemma A.3 lagi, kami memiliki perkiraan berikut:

untuk Re (z) ≥ 0 dan n = 1 , ..., P ν . Kemudian

(3.16)

.
Oleh karena itu, pilihan

cukup untuk memberi (3.10).

L EMMA 3.3 Untuk sembarang > 0 dan bilangan bulat positif atau setengah an .

yang cukup kecil bilangan bulat ganjil, fungsi

dan

mengakui pendekatan g 1 (z) dan g 2 (z), masing-masing, yang merupakan jumlah dari d =
O ( log ( 1 / ε) · ( log ν + log ( 1 / ε))) kutub, dengan

asalkan Re (z) 0 .
P ATAP : Misalkan I o = ( 0 , 2 - m ) , saya j = ( 2 j , 2 j +1 ) untuk j = - m, ..., n - 1, dan
Saya ∞ = ( 2 n , ∞ ) . Kami membagi integral menjadi tiga bagian sesuai:

dimana q 0ν, q 1ν , Dan q 2 ν ditentukan oleh rumus

Kami sekarang memilih m dan n sehingga q 0 ν dan q  2 ν dapat diabaikan dan kemudian
gunakan Lemma A.2 untuk mendekati q 1 ν. Dari (A.27) dan fakta bahwa ν positif, kita
memiliki

Mari kita sekarang menulis q 0ν (z) secara eksplisit sebagai

Dengan Lemma A.3 dan Remark 2.2, s ν sangat dekat dengan titik iν 2 . Karenanya

untuk beberapa konstanta C . Juga, karena kita mengasumsikan bahwa Re (z) 0, kita memiliki

Menggabungkan (3,24), (3,25), (3,26), dan (3,27), kami memperoleh

Oleh karena itu pilihan

cukup untuk menjamin

Dengan menggunakan (A.28) dan dengan asumsi n cukup besar, kita peroleh

Oleh karena itu pilihan

cukup untuk menjamin

Sekarang oleh Lemma A.2, q  1 ν (z) mengakui perkiraan g (z) untuk Re (z) ≥ 0 yang

merupakan
jumlah kutub p · (m + n) dengan galat dibatasi oleh

Dengan menggunakan Lemmas A.4, A.5, dan A.6 kita peroleh

untuk beberapa konstanta C  1 dan C  2 . Oleh karena itu pilihan

cukup untuk menjamin

Kesimpulan untuk q ν (z) berikut. Bukti untuk r ν (z) hampir identik dengan di atas, kecuali

sekarang kita memiliki | r – ze - iθ  v | ≥ r 2 bukannya | r + z | ≥ r . Ini mempunyai tidak
berpengaruh pada kesimpulan kami.
Menggabungkan Teorema 3.1 dan Lemmas 3.2 dan 3.3, kita memperoleh pendekatan kutub
mation untuk C ν (z) .

T HEOREM 3.4 Biarkan menjadi bilangan bulat positif atau setengah bilangan bulat ganjil
positif.  Misalkan > 0 menjadi presisi yang diinginkan. Maka ada bilangan bulat positif d
dengan

dan bilangan kompleks w 1 ,...,w d dan z 1 ,..., z d , bergantung pada dan , sehingga
fungsinya

mendekati fungsi C ν (z) dengan terikat

asalkan Re (z) 0 
Karena perilaku asimtotik khusus di asal, kasus ν = 0 membutuhkan perlakuan yang agak
berbeda. Pada prinsipnya, kita masih dapat menemukan pendekatan kutub dari C 0 (z) untuk
Re (z) ≥ 0. Tapi menunjukkan derivasi yang sama bahwa sangat besar jumlah tiang yang
dibutuhkan. Oleh karena itu kami bersantai kondisi Re (z) ≥ 0 Re (z) ≥ > 0. Dengan argumen
yang sama seperti pada [2], ini akan menghasilkan perkiraan yang akurat dari konvolusi
untuk waktu T ≤ n -1
.
T HEOREM 3.5 Untuk setiap > 0 dan > 0 yang cukup kecil , terdapat positif bilangan bulat
d dengan

dan bilangan kompleks w 1 ,...,w d  dan z 1 ,..., z d , bergantung pada dan , sehingga
fungsinya

mendekati fungsi C 0 (z) dengan terikat

asalkan Re (z) ≥ n.
P ROOF : Dengan (3.2), kita hanya perlu mempertimbangkan pendekatan berikut:
integral:

Kami membagi integral menjadi dua bagian

di mana

Dengan menggunakan (A.28) dan dengan asumsi m cukup besar, kita peroleh

Oleh karena itu pilihan

cukup untuk menjamin

Sekarang aplikasi Lemma A.2 menunjukkan ada fungsi g(z) yang merupakan jumlah

dari p · m kutub sedemikian rupa sehingga

Sebuah pilihan

cukup untuk menjamin

dan teorema berikut. Kami sekarang dalam posisi untuk menyajikan hasil analisis utama
kami.
T HEOREM 3.6 Biarkan menjadi bilangan bulat positif atau setengah dari bilangan bulat
ganjil positif.  Untuk apa saja cukup kecil > 0 dan > 0 , terdapat bilangan bulat positif d
dengan

dan bilangan kompleks w 1 ,...,w d  dan z 1 ,..., z d , bergantung pada , , dan , seperti
bahwa fungsinya

mendekati konvolusi kernel C ν (t) didefinisikan oleh (2,17) dengan terikat

asalkan t ≥ delta.
d'
wn
PROOF : Berdasarkan Teorema 3.4, diberikan ϵ’ > 0 terdapat fungsi g  ,ϵ  (z) =∑ ,
n z−z n
Yang merupakan jumlah dari d = O ( log ( 1 / ε) · ( log ν + log ( 1 / ε))) kutub seperti itu

untuk Re (z) 0. Sekarang tentukan fungsi G ,ϵ (t) dengan

Dengan menggunakan (2.4) dan (2.17) kita memiliki

di mana I 1 , I 2 , dan I 3 didefinisikan oleh rumus saya 1 =

Perkiraan untuk I 1 segera mengikuti dari (3,56),

Dari perilaku asimtotik dari C ν , kita memiliki

dan

Minimum dari sisi kanan dicapai ketika

Karenanya
dan teorema berikut dari pengaturan ε = ε 3 δ 2 .

Catatan 3.7 . Perkiraan kesalahan di atas agak pesimistis. Sejak L » 1δ , NS

interval integrasi [− L, L ] mengandung banyak periode dari fungsi e iyt . Jadi integral
biasanya akan jauh lebih kecil dari Lϵ karena pembatalan yang disebabkan oleh integran yang
sangat berosilasi. (Sangat tidak mungkin bahwa fase fungsi C ν (iy) - g ν, ε  (iy) akan cocok
dengan e  IYT ) Oleh karena itu kami mengharapkan itu. Ε harus dari urutan εδ bukan ε 3 δ 2 ,
yang jauh lebih baik dari sudut pandang praktis.
Kedua, perkiraan di atas memang menyarankan metode numerik untuk menemukan jumlah
yang baik. of-eksponensial pendekatan untuk kernel C ν (t) . Yaitu, seseorang dapat mencoba
menemukan pendekatan rasional untuk C ν (z) selama suatu interval yang sangat besar [- iL,
iL ] sepanjang sumbu imajiner. Di sini L harus memenuhi kondisi L max (ν 2 , 1 δ ) sehingga
keduanya C ν (z) dan pendekatan rasional yang halus luar interval [- iL, iL ] dan pendekatan
eksponensial yang dihasilkan akan baik untuk t ≥ delta .
Teorema 3.5 lead juga untuk hasil berikut untuk ν = 0

T HEOREM 3,8 Let 0 <delta ≤ t ≤ T, dan biarkan ε> 0 menjadi presisi yang

diinginkan. Kemudian
ada bilangan bulat positif d dengan

dan bilangan kompleks w 1 ,...,w d  dan z 1 ,..., z d , bergantung pada , , dan T , seperti
bahwa fungsinya

mendekati kernel konvolusi C 0 (t) dengan batas

.
Kami telah merancang metode numerik yang cukup kuat untuk menghitung jumlah
representasi kutub (lihat [13] untuk detailnya). Jelas, menemukan jumlah optimal representasi
kutub adalah masalah yang sangat tidak berkondisi. Untuk mengatasi penyakit ini
pengkondisian, pertama-tama kita mengekstrak kutub terdekat yang dekat dengan sumbu
imajiner di bidang kompleks dan dekat dengan titik tunggal kernel dengan menerapkan
algoritma kuadrat terkecil di [2] pada interval kecil yang berpusat di sekitar singular titik
inti. Kami kemudian membentuk fungsi baru yang merupakan perbedaannya dari kernel asli
dengan jumlah kutub yang baru saja kita temukan. Fungsi baru ini kurang singular dari kernel
asli, dan kemudian kita dapat menerapkan kuadrat terkecil algoritma untuk menemukan
representasi jumlah kutubnya pada interval yang lebih besar. Dengan mengulang prosedur ini
berturut-turut, kita akan dapat menemukan representasi jumlah kutub dari kernel asli pada
interval yang jauh lebih besar. Gambar 3.3 plot jumlah kutub versus indeks kernel ν . Di sini
kita memilih interval dibahas dalam Remark 3,7 menjadi [-10 8i, 10 8i ] dan
mengatur L  2 norma eratnya presisi tive menjadi ε = 10-12. Jumlah perkiraan eksponensial
yang dihasilkan

mencapai akurasi 12 digit untuk 10 -8≤ t ≤ 10 8 dan 0 ≤ v ≤ 1024, yang merupakan suffi-
efisien untuk sebagian besar tujuan praktis. Representasi jumlah kutub diperoleh dari
algoritma kami sama sekali tidak optimal. Namun, dari Gambar 3.3, kita melihat bahwa rata-
rata jumlah tiang yang dibutuhkan kurang dari 80, dan cukup memuaskan mengesampingkan
sifat masalah yang sangat tidak berkondisi. (Bobot dan tiang
lokasi tersedia untuk diunduh secara publik; lihat [13].)
Pembaca akan mencatat bahwa plot jumlah tiang yang dibutuhkan pada Gambar 3.3 agak
bising. Hal ini disebabkan oleh fakta bahwa algoritma numerik kami untuk menemukan
kutub pendekatan memperlakukan setiap ν secara terpisah. Algoritma yang lebih global akan
mungkin lebih baik dalam menghasilkan rangkaian kutub yang lebih efisien dan kurva yang
lebih halus di Gambar 3.3.
Akhirnya, Gambar 3.4 menunjukkan lokasi dari tiang yang digunakan untuk
mendekati C  200 (s) , yang agak khas untuk 0 ≤ v ≤ 1024.

Catatan 3.9 . Ukuran ekstrim dari lokasi tiang yang ditunjukkan pada Gambar 3.4 disebabkan
oleh fakta bahwa algoritma numerik kami untuk pendekatan kutub tidak optimal. Namun, itu
tidak akan menyebabkan pembatasan langkah waktu buatan atau kekakuan yang tidak perlu.
Kutub z i dengan bagian real negatif yang sangat besar sesuai dalam ruang fisik dengan ex-
fungsi ponensial e z i t yang meluruh sangat cepat dan dengan demikian memberikan
kontribusi yang sangat kecil untuk proses penjumlahan. Mereka bukan "mode numerik" yang
diintegrasikan oleh yang terbatas pendekatan perbedaan. Dengan demikian, mereka
menyebabkan beberapa inefisiensi, tetapi bukan ketidakstabilan.
Faktanya, seseorang dapat menghapus kutub-kutub ini jika | e z saya t | berada di bawah
presisi yang diinginkan untuk a langkah waktu  t .
4 Bagian Lokal dari Konvolusi
t

Perhitungan bagian lokal, yaitu, ∫ C v ( t−τ ) R v ( 1 , τ ) dτ, terdiri dari dua langkah. Pertama, kita
t −δ
harus menghitung C ν (t) untuk 0 <t ≤ δ langsung dari rumus C  ν  (t) = L-1( C ν )
(t) . Kemudian kita perlu mengganti integral dengan aturan kuadratur. Oleh
(2.4), invers transformasi Laplace dapat dilihat sebagai transformasi Fourier untuk
Fungsi C  ν (iy) , yaitu,

Kami membagi integral di atas menjadi tiga bagian:

di mana L ν adalah beberapa nomor besar, katakanlah 2 ν 2 , sehingga tidak ada

kutub C ν terletak pada wilayah tersebut { z C : Re (z) < 0 , |Im (z) | > L ν }.
Karena t sangat kecil, e iyt berosilasi perlahan dan integral pertama dapat menjadi dihitung
dengan integrasi adaptif standar dengan sangat akurat. Kami menggunakan laguerre quad-
ukuran [6] untuk menghitung dua integral terakhir karena integrannya adalah eksponensial
pembusukan.
Catatan 4.1 . Karena evaluasi C ν (t) dengan metode di atas sangat-tuduhannya tingkat, kita
dapat menggunakannya sebagai referensi untuk memeriksa keakuratan jumlah eksponensial
perkiraan. Untuk membedakan bagian lokal dari konvolusi, pertama-tama kita perhatikan
bahwa asimtotik perluasan C ν (t) sebagai t → 0 adalah dari
bentuk c  1 /√t + c 2 + c 3√t +···. Ini bisa
mudah disimpulkan dari perilaku asimtotik dari C ν (z) sebagai z → ∞. Sejak R  ν  (t)
terdiferensialkan terhadap t , kita akan memperoleh akurasi orde 2 . 5 jika aturan kuadratur
dapat mengintegrasikan fungsi f dari bentuk c 1 / √ t + c 2 + c 3 √ t + c 4 t
tepat. Kesulitannya di sini adalah bahwa koefisien c i tidak tersedia dan fungsi f hanya dapat
dievaluasi secara toto . Untungnya, Gaussian yang digeneralisasikan
aturan kuadratur untuk sistem fungsi arbitrer yang dikembangkan oleh Ma, Rokhlin, dan
Wandzura [18] ideal untuk masalah kita. Sebuah aplikasi sederhana dari algoritma di [18]
memberi kita aturan kuadratur dua titik berikut:

dimana { f  k }={1 , 1 / √x, x,√x }, w 1 , 2 = ( 1 ±√1 / 3 ) / 2, dan x i = w 2 saya untuk saya =

1 , 2.

Kami akan menggunakan aturan ini (setelah penskalaan) untuk mengevaluasi bagian lokal
dari konvolusi.

5 Diskritisasi
Untuk kemudahan implementasi, kami menggunakan varian metode pemisahan sebagai
dasarnya skema berbaris. Semidiscretization dalam waktu dilakukan dengan menggunakan
Strang splitting
yang memiliki akurasi orde kedua. Dengan kata lain, untuk setiap langkah waktu, kami
melakukan tiga langkah berikut:

Langkah pertama dan ketiga dapat dilakukan di dalam unit disk tanpa kesulitan karena
operator e- (i / 2 ) dt V
hanyalah sebuah operator perkalian dalam fisika ruang ik. Untuk langkah kedua, kami
mencatat bahwa karena V memiliki dukungan kompak di piringan satuan, u(t + dt) = u 2 pada
lingkaran satuan. Oleh karena itu u 2 memenuhi persis sama kondisi batas yang tidak
mencerminkan sebagai u(t + dt) . Jadi, ketika memecahkan u 2 , penuh deskripsi masalah
yang akan dipecahkan adalah

di mana B adalah operator kondisi batas yang tidak mencerminkan. Kami menggunakan

trapesium
memerintah dalam waktu. Untuk diskritisasi spasial, kita menggunakan M θ × N r jaringan
kutub. Dengan memperluas u 2 dalam deret Fourier

persamaan diferensial parsial (5.1) diubah menjadi himpunan diferensial biasa persamaan
untuk setiap fungsi radial R k . Kami memecahkan batas dua titik yang kaku ini masalah nilai
menggunakan metode berbasis persamaan integral cepat yang dikembangkan oleh Lee dan
Greengard [16]. CPU asimtotik dan persyaratan penyimpanan dari algoritme lengkap adalah
sekarang mudah untuk dianalisis. Untuk setiap langkah waktu, O (M θ N r ) pekerjaan
dibutuhkan untuk operator perkalian e - (i / 2 ) dt V. Dengan menggunakan transformasi
Fourier cepat, kita,menghitung bahwa O (M q log M θ N r ) pekerjaan yang diperlukan
untuk mengkonversi u 2 menjadi co- Fourier efisien (dan sebaliknya). O
(M  θ N  r  ) pekerjaan yang diperlukan untuk memecahkan dua yang diperlukan masalah nilai
batas titik menggunakan solver [16]. Akhirnya, usaha O(C k ) adalah diperlukan untuk
mengevaluasi istilah konvolusi dalam kondisi batas yang tidak mencerminkan untuk setiap
koefisien Fourier R  k , di mana C  k adalah jumlah eksponensial yang diperlukan untuk
mendekati kernel konvolusi C k . Dengan demikian total biaya evaluasi kondisi batas
nonreflecting adalah dari urutan O (CM θ  ) di mana

Sejak C < 80 untuk M  q ≤ 2048, yang cukup untuk kebanyakan aplikasi, jelas bahwa biaya
penerapan kondisi batas yang tepat dapat diabaikan dibandingkan dengan bahwa dari
pemecah domain interior. Seperti untuk penyimpanan, kami mencatat bahwa O
(CM  θ ) nilai-nilai
diperlukan untuk melacak lokasi dan bobot kutub dan bagian sejarah dari konvolusi.
6 Contoh Numerik Untuk menguji kualitas ENRBC, kami mempertimbangkan Schrödinger .
yang homogen persamaan dengan data awal

yaitu, produk dari dua paket gelombang Gaussian satu dimensi. Solusi yang tepat
diperoleh dengan mudah:

Kami menetapkan α x = 0 . 01, α y = 0 . 01, k x = 5, dan k y = 5 dan mengembangkan solusi

tion dari waktu t = 0 sampai T = 0 . 5 (gelombang hampir sepenuhnya keluar dari domain
komputasi di T ).
Kami mengambil M θ = 41 dan N r = 70. Gambar 6.1 menunjukkan waktu evolusi L 2 norma
kesalahan relatif untuk t = 0 . 002. Pola serupa terlihat pada satu- kasus dimensi [14]. Untuk
skema kami, kesalahan komputasi didominasi oleh diskritisasi waktu. Gambar 6.2
menunjukkan maksimum L 2 norma relatif error seperti fungsi dari langkah waktu t , dari
mana kita melihat bahwa skema kita adalah orde kedua akurat dalam waktu. Dengan kata
lain, kondisi batas yang tidak mencerminkan bekerja seperti yang diharapkan dengan presisi
yang diuji.
7 Kesimpulan
Kami telah membuktikan bahwa kernel batas nonreflecting untuk dua dimensi Persamaan
Schrödinger dapat didekati dengan sejumlah kecil eksponensial ke tinggi
presisi. Kami percaya bahwa pendekatan kami akan bernilai di beberapa bidang aplikasi.
fisika berlapis, termasuk simulasi perangkat semikonduktor, yang sebagian terdiri dari
hamburan kuantum partikel tunggal dari potensial tertentu, dan serat optik, yang persamaan
Schrödinger nonlinier sering digunakan untuk menggambarkan transmisi melalui jarak yang
jauh.
Beberapa masalah matematika terbuka tetap ada, termasuk analisis ketat dari kesiapan yang
baik untuk menggabungkan kondisi batas yang tidak mencerminkan secara tepat ke spasial
skema diskritisasi. Kami bermaksud untuk menjawab pertanyaan ini, serta beberapa dari
aplikasi yang disebutkan di atas, di kemudian hari.
Lampiran
Dalam lampiran ini, kami merangkum beberapa hasil dari analisis klasik menjadi digunakan
dalam kertas.
A.1 Dua Lemmas dari Alpert, Greengard, dan Hagstrom [2]
Pada Bagian 3, kita telah sering menggunakan lemma 3.4 dan 3.5 in [2]. Untuk
kepentingan kelengkapannya, kami sertakan kedua lemma tersebut di bawah ini.
L EMMA A.1 (Lemma 3.4 in [2]) Misalkan n dan p adalah bilangan bulat positif,
q  1 ,...,q n adalah bilangan kompleks, dan z 1 ,..., z n adalah bilangan kompleks yang
terdapat dalam disk D 1 ,..., D  p dari jari-jari r 1 ,...,r p , masing-masing berpusat di

c 1 ,...,c p  . Fungsinya
dapat didekati untuk z memuaskan Re (z - c i ) ≥ ar i > r i untuk i = 1 , ..., p oleh
m · ekspansi kutub p

dimana  ij didefinisikan oleh

dengan Kesalahan aproksimasi dibatasi oleh

 .
L EMMA A.2 (Lemma 3,5 in [2]) Misalkan kutub-kutub diskrit di atas lemma diganti
dengan q kepadatan didefinisikan pada kurva C dengan C ⊂ U p = D 1 ···∪ D p ; secara
khusus,

dan, yang berhingga untuk z di luar U p , dan g m didefinisikan

oleh (A.2) dengan ij didefinisikan oleh

dengan   Kemudian ikatan (A.4) berlaku seperti sebelumnya.

A.2 Fungsi Bessel yang Dimodifikasi
Bessel fungsi yang dimodifikasi K ν (z) dan saya ν (z) adalah dua independen linear solusi
persamaan diferensial

Ekspansi asimtotik dari fungsi Bessel yang dimodifikasi dan turunannya (lihat,
misalnya, [1, 9.6]) diberikan oleh rumus
Saya v (z) ~
di mana μ = 4 ν 2 .
Nol dari K v telah dipelajari dengan sangat rinci dalam literatur; pengikut lemma merangkum
beberapa fakta mengenai distribusi mereka untuk digunakan subse-secara berurutan.
L EMMA A.3 (The Zero dari K ν (z) , ν ≥ 0, | arg z | ≤ π ) K  ν  (z) tidak memiliki angka nol
untuk yang |arg z | ≤ π2. Jika z adalah nol K ν (z), maka ¯ z juga nol dari K  ν  (z). Jika ν – 12
adalah bilangan bulat, maka jumlah angka nol tepat ν – 12 .  Jika tidak, nomor dari nol
adalah bahkan integer terdekat untuk ν - 12
dan tidak ada angka nol pada garis arg z = ± .
Selanjutnya, angka nol dari K v (z) di wilayah π 2 < |arg z | ≤ π diberikan oleh ekspansi
asimtotik

seragam dalam n, di mana n  didefinisikan oleh persamaan

z(ζ ) diperoleh dari membalik persamaan

di mana cabang dipilih sehingga nyata ketika z adalah imajiner positif, dan n adalah
nol negatif ke- n  dari fungsi Airy Ai yang ekspansi asimtotiknya diberikan
dengan persamaan

Oleh karena itu, nol skala (k ν, n / ν) dari K ν (z) terletak dekat kurva yang parametrik
persamaannya adalah

untuk t [0 ,t 0 ] , di mana t 0 = 1 . 19968 ... adalah akar positif dari t = coth t. angka nol
di kuadran ketiga memenuhi pertidaksamaan

Jarak antara dua nol yang berdekatan di setiap kuadran berkurang ke arah
sumbu real negatif untuk besar. Akhirnya, nol terdekat dengan titik balik iν adalah
diberikan oleh persamaan

,
dimana  1 2 . 338 .
P ROOF : Semua hasil ini dapat ditemukan dalam literatur [1, 2, 20, 27], kecuali satu tentang
jarak antara dua nol yang berdekatan. Untuk membuktikan klaim itu, kita substitusi (A.16)
dan (A.14) ke (A.15) dan memasukkan variabel baru x n =
(n - 1
4 )/ν . Kami kemudian memperoleh

dengan z n = z(ζ n ) . Membedakan persamaan di atas memberi kita

Untuk besar ν , kita dapat mengganti dx n ≃ x n - x n -1 = 1 / ν dan dz n ≃ z n - z n -1 ke

(A.21) untuk mendapatkan

Klaim sekarang mengikuti fakta bahwa | z/√1 + z 2 | menurun sepanjang kurva (A.17) di
setiap kuadran mendekati sumbu real negatif. Akhirnya, kami mengamati bahwa
menggabungkan (A.17) dan (A.22) mengarah ke

dengan c bilangan positif.
A.3 Logaritma Derivatif dari 

Kita sekarang mendefinisikan fungsi v ν , w  ν : C → C dengan rumus

dengan memotong cabang yang dipilih sepanjang nyata sumbu negatif dan - π
< arg z ≤ π . NS sifat fungsi v  ν telah dipelajari secara rinci dalam [2]. Di sini kita akan
menerapkan mereka untuk mempelajari fungsi w ν . Lemma berikutnya mengumpulkan
beberapa fakta tentang w  ν menjadi digunakan selanjutnya. Ini segera mengikuti dari Lemma
A.3 dan [2, teorema 4.1].
L EMMA A.4 Let k ν, 1 , ..., k ν, N ν masing menunjukkan angka nol dari K ν (z).  Biarkan
k ν, 1 , ..., k  ν, M v menjadi nol itu dengan π 2 < arg k ν, i  ≤ 3 π 4 , I = 1 , ..., M v . Maka
fungsi w ν (z) anak mengatakan sebuah representasi

untuk . Selain itu, bentuk membatasi w ν , sebagai

z → 0 , adalah

dimana adalah konstanta Euler. Sebagai z →0 ,

Terakhir, fungsi w ν memenuhi hubungan terulangnya

Akhirnya, kita perlu memiliki analisis yang lebih rinci dari dua istilah terakhir tentang sisi
kanan (A.26).

L EMMA A.5 
(A.30)

Maka jika = k + ½ untuk k terpisahkan ( yaitu, setengah dari integer ganjil ) , f ν (z) =

0 .  Jika adalah
bilangan bulat tak negatif, maka | f ν (z) | ≤ c, di mana c adalah independen dari ν dan z.
P ROOF : Jika ν = k + ½ untuk integral k , maka

Karena nol dari K v selalu datang ke pasangan konjugasi dalam hal ini (Lemma A.3), kami
memiliki Im (v ν (re - πi )) = 0. Pernyataan pertama di lemma berikut. Untuk bilangan bulat
positif ν , oleh lemma 4.2 di [2], kita memiliki

Untuk - π < arg z ≤ π , kita memiliki -π4 < arg e πi / 4 √ z ≤ 3 π 4 , dan perkiraan sederhana
memberi kita

Karenanya

Ruas kanan pertidaksamaan di atas berhingga menurut (A.33) dan (A.34). Untuk melihat
bahwa ini terikat independen dari ν , kami menerapkan perubahan variabel r = νx dan
pengganti (A.35) ke dalam integran untuk besar ν untuk mendapatkan
sebagai v → ∞, di mana x* adalah satu-satunya nol positif dari (x) . Pernyataan kedua
mengikuti.
L EMMA A.6 Mari

.
Kemudian h 0 (z) = 0 dan diberi ν 0 > 0 , h ν (z) memenuhi ketidaksamaan

untuk ν> ν  0 dan - π ≤ arg z ≤ π/ 2 . 

Selain itu, terdapat q v dengan 35 π 36 ≤ q v <π seperti yang untuk semua ν dengan ν>
ν 0 dan semua z dengan arg z = q ν .
P ROOF : Klaim bahwa h  0 (z) = 0 mengikuti fakta bahwa K 0 (z) tidak memiliki nol
sepanjang cabang yang telah kita pilih. (A.41) diambil dari lemma 4,5 in [2]. Untuk
membuktikan pernyataan terakhir, mari kita memilih q  ν menjadi arg k  ν, M ν + arg k ν,
M  ν -1 – π/ 2 , di mana k  ν, M  ν ditentukan dalam Lema A.4 sebagai nol terdekat ray
arg z = 3 π /4 dari atas. Maka (A.42) adalah sepele kecuali untuk | √ z/ν | 1. Tapi Lemma A.3
menunjukkan itu

sejak z kebohongan antara dua angka nol yang berdekatan dari K ν (lihat (A.23)). Oleh

karena itu, untuk |

Pengakuan. Pekerjaan ini didukung sebagian oleh kontrak DEFG0288- ER25053 melalui

Program Ilmu Matematika Terapan De- bagian Energi. Para penulis ingin mengucapkan
terima kasih kepada Dr. Bradley Alpert dan Prof. Thomas Hagstrom atas komentar dan
sarannya yang sangat bermanfaat