Skip to main content Accessibility help
×
Home

Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof

  • ANAÏS CORREC (a1) and JEAN-PHILIPPE LESSARD (a1)

Abstract

In this paper, Chebyshev series and rigorous numerics are combined to compute solutions of the Euler-Lagrange equations for the one-dimensional Ginzburg-Landau model of superconductivity. The idea is to recast solutions as fixed points of a Newton-like operator defined on a Banach space of rapidly decaying Chebyshev coefficients. Analytic estimates, the radii polynomials and the contraction mapping theorem are combined to show existence of solutions near numerical approximations. Coexistence of as many as seven nontrivial solutions is proved.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
      Available formats
      ×

      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
      Available formats
      ×

      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
      Available formats
      ×

Copyright

References

Hide All
[1]Ginzburg, V. L. & Landau, L. D. (1965) On the theory of superconductivity. J. ETP 20, 10641082.
[2]Chapman, S. J., Howison, S. D. & Ockendon, J. R. (1992) Macroscopic models for superconductivity. SIAM Rev. 34 (4), 529560.
[3]Marcus, P. M. (1964) Exact solution of the Ginzburg-Landau equations for slabs in tangential magnetic fields. Rev. Mod. Phys. 36, 294299.
[4]Odeh, F. (1967) Existence and bifurcation theorems for the ginzburglandau equations. J. Math. Phys. 8 (12), 23512356.
[5]Seydel, R. (1983) Branch switching in bifurcation problems for ordinary differential equations. Numer. Math. 41 (1), 93116.
[6]Yang, Y. S. (1990) Boundary value problems of the Ginzburg-Landau equations. Proc. R. Soc. Edinburgh A 114 (3–4), 355365.
[7]Wang, S. & Yang, Y. S. (1992) Symmetric superconducting states in thin films. SIAM J. Appl. Math. 52 (3), 614629.
[8]Hastings, S. P., Kwong, M. K. & Troy, W. C. (1996) The existence of multiple solutions for a Ginzburg-Landau type model of superconductivity. Eur. J. Appl. Math. 7 (6), 559574.
[9]Aftalion, A. (1997) On the minimizers of the Ginzburg-Landau energy for high kappa: The one-dimensional case. Eur. J. Appl. Math. 8 (4), 331345.
[10]Aftalion, A. & Chapman, S. J. (1999) Asymptotic analysis of the bifurcation diagram for symmetric one-dimensional solutions of the Ginzburg-Landau equations. Eur. J. Appl. Math. 10 (5), 477495.
[11]Aftalion, A. & Chapman, S. J. (2000) Asymptotic analysis of a secondary bifurcation of the one-dimensional Ginzburg-Landau equations of superconductivity. SIAM J. Appl. Math. 60 (4), 11571176.
[12]Dancer, E. N. & Hastings, S. P. (2000) On the global bifurcation diagram for the one-dimensional Ginzburg-Landau model of superconductivity. Eur. J. Appl. Math. 11 (3), 271291.
[13]Aftalion, A. & Troy, W. C. (1999) On the solutions of the one-dimensional Ginzburg-Landau equations for superconductivity. Physica D 132 (1–2), 214232.
[14]Hastings, S. P. & Troy, W. C. (1999) There are asymmetric minimizers for the one-dimensional Ginzburg-Landau model of superconductivity. SIAM J. Math. Anal. 30 (1), 118.
[15]Aftalion, A. & Troy, W. C. (2000) On the uniqueness of solutions of the Ginzburg-Landau system for thin films. Eur. J. Appl. Math. 11 (4), 365380.
[16]Aftalion, A. & Du, Q. (2002) The bifurcation diagrams for the Ginzburg-Landau system of superconductivity. Physica D 163 (1-2), 94105.
[17]Du, Y. & Pan, X. B. (2005) Multiple states and hysteresis for type I superconductors. J. Math. Phys. 46 (7), 073301, 34.
[18]Du, Q. (2005) Numerical approximations of the Ginzburg-Landau models for superconductivity. J. Math. Phys. 46 (9), 095109, 22.
[19]Du, Q., Gunzburger, M. D. & Peterson, J. S. (1992) Analysis and approximation of the Ginzburg-Landau model of superconductivity. SIAM Rev. 34 (1), 5481.
[20]Day, S., Lessard, J.-P. & Mischaikow, K. (2007) Validated continuation for equilibria of PDEs. SIAM J. Numer. Anal. 45 (4), 13981424.
[21]van den Berg, J. B., Mireles-James, J. D., Lessard, J.-P. & Mischaikow, K. (2011) Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation. SIAM J. Math. Anal. 43 (4), 15571594.
[22]van den Berg, J. B. & Lessard, J.-P. (2008) Chaotic braided solutions via rigorous numerics: chaos in the Swift-Hohenberg equation. SIAM J. Appl. Dyn. Syst. 7 (3), 9881031.
[23]Gameiro, M. & Lessard, J.-P. (2010) Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs. J. Differ. Equ. 249 (9), 22372268.
[24]van den Berg, J. B., Lessard, J.-P. & Mischaikow, K. (2010) Global smooth solution curves using rigorous branch following. Math. Comput. 79 (271), 15651584.
[25]Lessard, J.-P. & Reinhardt, C. (2014) Rigorous numerics for nonlinear differential equations using chebyshev series. SIAM J. Numer. Anal. 52 (1), 122.
[26]Moore, R. E. (1966) Interval Analysis, Prentice-Hall Inc., Englewood Cliffs, N.J.
[27]Boyd, J. P. (2001) Chebyshev and Fourier Spectral Methods, 2nd edition, Dover Publications Inc., Mineola, NY.
[28]Gameiro, M. & Lessard, J.-P. (2013) Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates. SIAM J. Numer. Anal. 51 (4), 20632087.
[29]Breden, M., Lessard, J.-P. & Vanicat, M. (2013) Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: A 3-component reaction-diffusion system. Acta Appl. Math. 128, 113152.
[30]Gameiro, M., Lessard, J.-P. && Mischaikow, K. (2008) Validated continuation over large parameter ranges for equilibria of PDEs. Math. Comput. Simul. 79 (4), 13681382.
[31]Rump, S. M. (1999) INTLAB - INTerval LABoratory. In: Csendes, T. (ed.), Developments in Reliable Computing, Kluwer Academic Publishers, Dordrecht, pages 77104. http://www.ti3.tu-harburg.de/rump/.
[32]Arioli, G. & Koch, H. (2010) Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation. Arch. Ration. Mech. Anal. 197 (3), 10331051.
[33]Correc, A. & Lessard, J.-P. MATLAB codes to perform the proofs. http://archimede.mat.ulaval.ca/jplessard/GinzburgLandau

Keywords

Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof

  • ANAÏS CORREC (a1) and JEAN-PHILIPPE LESSARD (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed