Operator Almost Mathieu - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-25T17:57:52Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 25 Agustus 2026 17.57
Baris 1:		Baris 1:
	'''Operator Almost Mathieu''' merupakan operator dalam [[Fisika matematis\|fisika matematika]] yang berkaitan dengan studi [[efek Hall kuantum]]. Operator ini dinamai berdasarkan kemiripannya dengan Operator Mathieu'''' yang diperkenalkan oleh Émile Léonard Mathieu. Operator tersebut didefinisikan oleh persamaan		'''Operator Almost Mathieu''' merupakan operator dalam [[Fisika matematis\|fisika matematika]] yang berkaitan dengan studi [[efek Hall kuantum]]. Operator ini dinamai berdasarkan kemiripannya dengan Operator Mathieu''<ref>Barry Simon. ''Almost periodic Schrodinger operators: a review''. ''Advances in Applied Mathematics''. 1982. Vol. 3 (4). hlm. 463–490. doi:10.1016/S0196-8858(82)80018-3.</ref>'' yang diperkenalkan oleh Émile Léonard Mathieu.<ref>[https://encyclopediaofmath.org/wiki/Mathieu_equation Mathieu equation]. ''Encyclopedia of Mathematics''. Springer.</ref> Operator tersebut didefinisikan oleh persamaan

	: <math> [H^{\lambda,\alpha}_\omega u](n) = u(n+1) + u(n-1) + 2 \lambda \cos(2\pi (\omega + n\alpha)) u(n), \, </math>		: <math> [H^{\lambda,\alpha}_\omega u](n) = u(n+1) + u(n-1) + 2 \lambda \cos(2\pi (\omega + n\alpha)) u(n), \, </math>

	bertindak sebagai operator swa-adjung (''self-adjoint operator'') pada [[ruang Hilbert]] ℓ2(Z). Parameter yang digunakan terdiri atas α,ω∈T serta λ>0. Dalam [[matematika murni]], operator ini menjadi salah satu contoh [[operator Schrödinger ergodik]] yang telah dianalisis secara luas. Tiga masalah dalam daftar lima belas masalah Schrödinger menurut Barry Simon berkaitan langsung dengan operator ini. Dalam fisika, operator Almost Mathieu digunakan dalam pemodelan transisi logam–isolator, termasuk dalam Model Aubry-André. Untuk kasus λ=1, operator ini sering disebut sebagai persamaan Harper.		bertindak sebagai operator swa-adjung (''self-adjoint operator'') pada [[ruang Hilbert]] ℓ2(Z). Parameter yang digunakan terdiri atas α,ω∈T serta λ>0. Dalam [[matematika murni]], operator ini menjadi salah satu contoh [[operator Schrödinger ergodik]] yang telah dianalisis secara luas. Tiga masalah dalam daftar lima belas masalah Schrödinger menurut Barry Simon berkaitan langsung dengan operator ini. Dalam fisika, operator Almost Mathieu digunakan dalam pemodelan transisi logam–isolator, termasuk dalam Model Aubry-André. Untuk kasus λ=1, operator ini sering disebut sebagai persamaan Harper.<ref>Barry Simon. ''Mathematical Physics 2000''. Imp. Coll. Press. 2000. hlm. 283–288. ISBN 978-1860942303.</ref>

	== Masalah sepuluh martini ==		== Masalah sepuluh martini ==
	Struktur spektrum operator Almost Mathieu menjadi dasar ''Ten Martini Problem''. Dugaan awalnya diajukan oleh [[Mark Kac]] yang menawarkan hadiah berupa sepuluh martini untuk pembuktian dugaan berikut:		Struktur spektrum operator Almost Mathieu menjadi dasar ''Ten Martini Problem''. Dugaan awalnya diajukan oleh [[Mark Kac]] yang menawarkan hadiah berupa sepuluh martini untuk pembuktian dugaan berikut:

			Dugaan ini kemudian dikenal sebagai ''Dry Ten Martini Problem'' oleh Barry Simon karena sifatnya lebih kuat daripada versi lemahnya.<ref>Barry Simon. ''Almost periodic Schrodinger operators: a review''. ''Advances in Applied Mathematics''. 1982. Vol. 3 (4). hlm. 463–490. doi:10.1016/S0196-8858(82)80018-3.</ref> Versi lemah dugaan tersebut, yaitu ''Ten Martini Problem'', menyatakan bahwa
	Dugaan ini kemudian dikenal sebagai ''Dry Ten Martini Problem'' oleh Barry Simon karena sifatnya lebih kuat daripada versi lemahnya. Versi lemah dugaan tersebut, yaitu ''Ten Martini Problem'', menyatakan bahwa

	== Tipe Spektral ==		== Tipe Spektral ==
Baris 16:		Baris 15:
	Jika <math>\alpha</math> merupakan [[bilangan irasional]], transformasi <math>\omega \mapsto \omega + \alpha</math> bersifat minimal sehingga spektrum operator tidak bergantung pada <math> \omega </math>. Berdasarkan sifat ergodik, dukungan bagi bagian spektrum absolut kontinu, kontinyu singular, dan titik murni hampir pasti tidak bergantung pada <math> \omega </math>. Hasil-hasil yang telah diperoleh meliputi :		Jika <math>\alpha</math> merupakan [[bilangan irasional]], transformasi <math>\omega \mapsto \omega + \alpha</math> bersifat minimal sehingga spektrum operator tidak bergantung pada <math> \omega </math>. Berdasarkan sifat ergodik, dukungan bagi bagian spektrum absolut kontinu, kontinyu singular, dan titik murni hampir pasti tidak bergantung pada <math> \omega </math>. Hasil-hasil yang telah diperoleh meliputi :

	* Untuk <math>0 < \lambda < 1</math> , <math>H^{\lambda,\alpha}_\omega</math> spektrum hampir pasti absolut kontinu. (merupakan salah satu masalah Simon)		* Untuk <math>0 < \lambda < 1</math> , <math>H^{\lambda,\alpha}_\omega</math> spektrum hampir pasti absolut kontinu.<ref>A. Avila. ''The absolutely continuous spectrum of the almost Mathieu operator''. 2008.</ref> (merupakan salah satu masalah Simon)
	* Untuk <math>\lambda= 1</math> , <math>H^{\lambda,\alpha}_\omega</math>spektrum hampir pasti kontinyu singular bagi setiap α irasional.		* Untuk <math>\lambda= 1</math> , <math>H^{\lambda,\alpha}_\omega</math>spektrum hampir pasti kontinyu singular bagi setiap α irasional.<ref>S. Jitomirskaya. [https://www.math.uci.edu/~mathphysics/preprints/point.pdf On point spectrum of critical almost Mathieu operators]. ''Advances in Mathematics''. 2021. Vol. 392. hlm. 6. doi:10.1016/j.aim.2021.107997.</ref>
	* Untuk <math>\lambda > 1</math> , <math>H^{\lambda,\alpha}_\omega</math> spektrum hampir pasti titik murni dan menampilkan lokalisasi Anderson. Lokalisasi Anderson. (Di ketahui bahwa hampir pasti tidak dapat digantikan dengan pasti.)		* Untuk <math>\lambda > 1</math> , <math>H^{\lambda,\alpha}_\omega</math> spektrum hampir pasti titik murni dan menampilkan lokalisasi Anderson. Lokalisasi Anderson.<ref>Svetlana Ya. Jitomirskaya. [https://archive.org/details/sim_annals-of-mathematics_1999-11_150_3/page/1159 Metal-insulator transition for the almost Mathieu operator]. ''Ann. of Math''. 1999. Vol. 150 (3). hlm. 1159–1175. doi:10.2307/121066.</ref> (Di ketahui bahwa hampir pasti tidak dapat digantikan dengan pasti.) <ref>J. Avron. ''Singular continuous spectrum for a class of almost periodic Jacobi matrices''. ''Bull. Amer. Math. Soc''. 1982. Vol. 6 (1). hlm. 81–85. doi:10.1090/s0273-0979-1982-14971-0.</ref><ref>S. Jitomirskaya. [http://www.math.caltech.edu/papers/bsimon/p235.pdf Operators with singular continuous spectrum, III. Almost periodic Schrödinger operators]. ''Comm. Math. Phys''. 1994. Vol. 165 (1). hlm. 201–205. doi:10.1007/bf02099743.</ref>

	Keadaan spektrum yang bersifat singular untuk <math>\lambda \geq 1 </math> berikut (melalui karya Yoram Last dan Simon) mengikuti batas bawah [[eksponen Lyapunov]] <math> \gamma(E) </math>:		Keadaan spektrum yang bersifat singular untuk <math>\lambda \geq 1 </math> berikut (melalui karya Yoram Last dan Simon)<ref>Y. Last. [https://archive.org/details/sim_inventiones-mathematicae_1999-02_135_2/page/329 Eigenfunctions, transfer matrices, and absolutely continuous spectrum of one-dimensional Schrödinger operators]. ''Invent. Math''. 1999. Vol. 135 (2). hlm. 329–367. doi:10.1007/s002220050288.</ref> mengikuti batas bawah [[eksponen Lyapunov]] <math> \gamma(E) </math>:

	: <math>\gamma(E) \geq \max \{0,\log(\lambda)\}. \,</math>		: <math>\gamma(E) \geq \max \{0,\log(\lambda)\}. \,</math>

	Untuk nilai E dalam spektrum, batas bawah ini menjadi persamaan yang dikenal sebagai rumus Aubry–André, dibuktikan oleh Jean Bourgain dan [[Svetlana Jitomirskaya]].		Untuk nilai E dalam spektrum, batas bawah ini menjadi persamaan yang dikenal sebagai rumus Aubry–André, dibuktikan oleh Jean Bourgain dan [[Svetlana Jitomirskaya]].<ref>J. Bourgain. ''Continuity of the Lyapunov exponent for quasiperiodic operators with analytic potential''. ''Journal of Statistical Physics''. 2002. Vol. 108 (5–6). hlm. 1203–1218. doi:10.1023/A:1019751801035.</ref>

	== Struktur spektrum ==		== Struktur spektrum ==
			Operator Almost Mathieu memiliki spektrum berbentuk [[himpunan Cantor]] untuk setiap α irasional dan λ>0. Pernyataan ini dibuktikan oleh [[Artur Avila\|Avila]] dan [[Svetlana Jitomirskaya\|Jitomirskaya]] sebagai penyelesaian ''Ten Martini Problem''.<ref>A. Avila. ''The Ten Martini problem''. 2005. Vol. 690. hlm. 5–16. doi:10.1007/3-540-34273-7_2. ISBN 978-3-540-31026-6.</ref> Sebelum pembuktian tersebut, sejumlah hasil parsial telah diperoleh secara generik<ref>J. Bellissard. ''Cantor spectrum for the almost Mathieu equation''. ''J. Funct. Anal''. 1982. Vol. 48 (3). hlm. 408–419. doi:10.1016/0022-1236(82)90094-5.</ref> maupun hampir pasti terhadap parameter.<ref>Joaquim Puig. ''Cantor spectrum for the almost Mathieu operator''. ''Comm. Math. Phys''. 2004. Vol. 244 (2). hlm. 297–309. doi:10.1007/s00220-003-0977-3.</ref>
	Operator Almost Mathieu memiliki spektrum berbentuk [[himpunan Cantor]] untuk setiap α irasional dan λ>0. Pernyataan ini dibuktikan oleh [[Artur Avila\|Avila]] dan [[Svetlana Jitomirskaya\|Jitomirskaya]] sebagai penyelesaian ''Ten Martini Problem''. Sebelum pembuktian tersebut, sejumlah hasil parsial telah diperoleh secara generik maupun hampir pasti terhadap parameter.

	[[Ukuran Lebesgue]] dari spektrum operator almost Mathieu diketahui memenuhi:		[[Ukuran Lebesgue]] dari spektrum operator almost Mathieu diketahui memenuhi:
Baris 34:		Baris 32:
	: <math> \operatorname{Leb}(\sigma(H^{\lambda,\alpha}_\omega)) = \|4 - 4 \lambda\| \, </math>		: <math> \operatorname{Leb}(\sigma(H^{\lambda,\alpha}_\omega)) = \|4 - 4 \lambda\| \, </math>

	untuk setiap <math> \lambda > 0 </math>. Untuk <math> \lambda = 1 </math> hasil ini menyatakan bahwa spektrum memiliki ukuran nol, suatu usulan yang pertama kali diajukan oleh Douglas Hofstadter. Untuk <math> \lambda \neq 1 </math>, rumus tersebut ditemukan secara numerik oleh Aubry dan André dan dibuktikan secara formal oleh Jitomirskaya dan Krasovsky serta sebagian oleh Last untuk sebagian besar parameter. Kajian spektrum untuk <math> \lambda = 1 </math> menghasilkan visualisasi yang dikenal sebagai kupu-kupu Hofstadter atau ''Hofstadter’s butterfly'', yang merepresentasikan struktur spektrum sebagai suatu himpunan fraktal.		untuk setiap <math> \lambda > 0 </math>. Untuk <math> \lambda = 1 </math> hasil ini menyatakan bahwa spektrum memiliki ukuran nol, suatu usulan yang pertama kali diajukan oleh Douglas Hofstadter.<ref>A. Avila. [https://archive.org/details/sim_annals-of-mathematics_2006-11_164_3/page/911 Reducibility or non-uniform hyperbolicity for quasiperiodic Schrödinger cocycles]. ''Annals of Mathematics''. 2006. Vol. 164 (3). hlm. 911–940. doi:10.4007/annals.2006.164.911.</ref> Untuk <math> \lambda \neq 1 </math>, rumus tersebut ditemukan secara numerik oleh Aubry dan André dan dibuktikan secara formal oleh Jitomirskaya dan Krasovsky serta sebagian oleh Last untuk sebagian besar parameter.<ref>Y. Last. [http://projecteuclid.org/euclid.cmp/1104252049 A relation between a.c. spectrum of ergodic Jacobi matrices and the spectra of periodic approximants]. ''Comm. Math. Phys''. 1993. Vol. 151 (1). hlm. 183–192. doi:10.1007/BF02096752.</ref><ref>Y. Last. [http://projecteuclid.org/euclid.cmp/1104270838 Zero measure spectrum for the almost Mathieu operator]. ''Comm. Math. Phys''. 1994. Vol. 164 (2). hlm. 421–432. doi:10.1007/BF02101708.</ref> Kajian spektrum untuk <math> \lambda = 1 </math> menghasilkan visualisasi yang dikenal sebagai kupu-kupu Hofstadter atau ''Hofstadter’s butterfly'', yang merepresentasikan struktur spektrum sebagai suatu himpunan fraktal.

	== Referensi ==		== Referensi ==
			<references />


	== Sumber dan atribusi ==		== Sumber dan atribusi ==

	Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Operator+Almost+Mathieu&oldid=29573457 Wikipedia bahasa Indonesia], revisi 29573457 (2026-08-13T21:10:38Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.		Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Operator+Almost+Mathieu&oldid=29573457 Wikipedia bahasa Indonesia], revisi 29573457 (2026-08-13T21:10:38Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

			<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29573457; atribusi sumber disertakan.

2026-08-25T17:19:06Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29573457; atribusi sumber disertakan.

Halaman baru

'''Operator Almost Mathieu''' merupakan operator dalam [[Fisika matematis|fisika matematika]] yang berkaitan dengan studi [[efek Hall kuantum]]. Operator ini dinamai berdasarkan kemiripannya dengan Operator Mathieu'''' yang diperkenalkan oleh Émile Léonard Mathieu. Operator tersebut didefinisikan oleh persamaan

: <math> [H^{\lambda,\alpha}_\omega u](n) = u(n+1) + u(n-1) + 2 \lambda \cos(2\pi (\omega + n\alpha)) u(n), \, </math>

bertindak sebagai operator swa-adjung (''self-adjoint operator'') pada [[ruang Hilbert]] ℓ2(Z). Parameter yang digunakan terdiri atas α,ω∈T serta λ>0. Dalam [[matematika murni]], operator ini menjadi salah satu contoh [[operator Schrödinger ergodik]] yang telah dianalisis secara luas. Tiga masalah dalam daftar lima belas masalah Schrödinger menurut Barry Simon berkaitan langsung dengan operator ini. Dalam fisika, operator Almost Mathieu digunakan dalam pemodelan transisi logam–isolator, termasuk dalam Model Aubry-André. Untuk kasus λ=1, operator ini sering disebut sebagai persamaan Harper.

== Masalah sepuluh martini ==
Struktur spektrum operator Almost Mathieu menjadi dasar ''Ten Martini Problem''. Dugaan awalnya diajukan oleh [[Mark Kac]] yang menawarkan hadiah berupa sepuluh martini untuk pembuktian dugaan berikut:

Dugaan ini kemudian dikenal sebagai ''Dry Ten Martini Problem'' oleh Barry Simon karena sifatnya lebih kuat daripada versi lemahnya. Versi lemah dugaan tersebut, yaitu ''Ten Martini Problem'', menyatakan bahwa

== Tipe Spektral ==
Jika <math>\alpha</math> merupakan [[bilangan rasional]], operator <math>H^{\lambda,\alpha}_\omega</math>bersifat periodik. Berdasarkan teori Floquet, spektrumnya dalam kasus ini sepenuhnya absolut kontinu.

Jika <math>\alpha</math> merupakan [[bilangan irasional]], transformasi <math>\omega \mapsto \omega + \alpha</math> bersifat minimal sehingga spektrum operator tidak bergantung pada <math> \omega </math>. Berdasarkan sifat ergodik, dukungan bagi bagian spektrum absolut kontinu, kontinyu singular, dan titik murni hampir pasti tidak bergantung pada <math> \omega </math>. Hasil-hasil yang telah diperoleh meliputi :

* Untuk <math>0 < \lambda < 1</math> , <math>H^{\lambda,\alpha}_\omega</math> spektrum hampir pasti absolut kontinu. (merupakan salah satu masalah Simon)
* Untuk <math>\lambda= 1</math> , <math>H^{\lambda,\alpha}_\omega</math>spektrum hampir pasti kontinyu singular bagi setiap α irasional.
* Untuk <math>\lambda > 1</math> , <math>H^{\lambda,\alpha}_\omega</math> spektrum hampir pasti titik murni dan menampilkan lokalisasi Anderson. Lokalisasi Anderson. (Di ketahui bahwa hampir pasti tidak dapat digantikan dengan pasti.)

Keadaan spektrum yang bersifat singular untuk <math>\lambda \geq 1 </math> berikut (melalui karya Yoram Last dan Simon) mengikuti batas bawah [[eksponen Lyapunov]] <math> \gamma(E) </math>:

: <math>\gamma(E) \geq \max \{0,\log(\lambda)\}. \,</math>

Untuk nilai E dalam spektrum, batas bawah ini menjadi persamaan yang dikenal sebagai rumus Aubry–André, dibuktikan oleh Jean Bourgain dan [[Svetlana Jitomirskaya]].

== Struktur spektrum ==

Operator Almost Mathieu memiliki spektrum berbentuk [[himpunan Cantor]] untuk setiap α irasional dan λ>0. Pernyataan ini dibuktikan oleh [[Artur Avila|Avila]] dan [[Svetlana Jitomirskaya|Jitomirskaya]] sebagai penyelesaian ''Ten Martini Problem''. Sebelum pembuktian tersebut, sejumlah hasil parsial telah diperoleh secara generik maupun hampir pasti terhadap parameter.

[[Ukuran Lebesgue]] dari spektrum operator almost Mathieu diketahui memenuhi:

: <math> \operatorname{Leb}(\sigma(H^{\lambda,\alpha}_\omega)) = |4 - 4 \lambda| \, </math>

untuk setiap <math> \lambda > 0 </math>. Untuk <math> \lambda = 1 </math> hasil ini menyatakan bahwa spektrum memiliki ukuran nol, suatu usulan yang pertama kali diajukan oleh Douglas Hofstadter. Untuk <math> \lambda \neq 1 </math>, rumus tersebut ditemukan secara numerik oleh Aubry dan André dan dibuktikan secara formal oleh Jitomirskaya dan Krasovsky serta sebagian oleh Last untuk sebagian besar parameter. Kajian spektrum untuk <math> \lambda = 1 </math> menghasilkan visualisasi yang dikenal sebagai kupu-kupu Hofstadter atau ''Hofstadter’s butterfly'', yang merepresentasikan struktur spektrum sebagai suatu himpunan fraktal.

== Referensi ==

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Operator+Almost+Mathieu&oldid=29573457 Wikipedia bahasa Indonesia], revisi 29573457 (2026-08-13T21:10:38Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.