Master study programme Mathematical Modelling in Physics and Technology is designed for students of mathematics. (The programme for students of physics is called Matematical and Computational Modelling in Physics, details concerning this study programme can be found here.)
- 1 Contacts
- 2 Admission
- 3 Curriculum
- 4 Thesis topics
- 5 State exam
- 5.1 Oral part
- 5.1.1 Partial differential equations
- 188.8.131.52 Sobolev spaces
- 184.108.40.206 Weak solution of linear elliptic partial differential equations in bounded domain
- 220.127.116.11 Weak solution of nonlinear elliptic partial differential equations in bounded domain
- 18.104.22.168 Second order linear parabolic partial differential equations
- 22.214.171.124 Second order linear hyperbolic partial differential equations
- 5.1.2 Numerical mathematics
- 5.1.3 Functional analysis
- 5.1.4 Continuum mechanics
- 5.1.1 Partial differential equations
- 5.1 Oral part
Concerning the general overview of the admission procedure, please see the webpages of the Faculty of Mathematics and Physics. If you are not yet familiar with advanced subjects such as functional analysis but you are still strongly motivated to study mathematical modelling, please contact us, and we will try to recommend you textbooks and other material for self-study.
Note also, that if you have a sufficiently strong academic record, you can apply for the exemption from the entrance examination.
It is expected that you have sufficient knowledge of the following topics.
- Differential and integral calculus (single variable and multivariable). Limits, derivatives, line, surface and volume integrals. Foundations of calculus of variations.
- Foundations of measure theory, Lebesgue integral. These topics are taught, for example, in the undergraduate course Measure nad Integration Theory I, see the course syllabus for what is in this case meant by “foundations”.
- Foundations of linear algebra. Vector spaces, matrices, determinants, Jordan canonical form, orthogonalization, eigenfunctions and eigenvalues, multilinear algebra, quadratic forms.
- Foundations of numerical solution of systems of linear algebraic equations. Schur theorem, QR decomposition, LU decomposition, singular value decomposition, least squares method, conjugate gradient method, GMRES, backward error, sensitivity and numerical stability. These topics are taught, for example, in the undergraduate course Analysis of Matrix Calculations I, see the course syllabus for what is in this case meant by “foundations”.
- Foundations of complex analysis. Cauchy theorem, residue theorem, conformal mapping, Laplace transform. These topics are taught, for example, in the undergraduate course Introduction to Complex Analysis, see the course syllabus for what is in this case meant by “foundations”.
- Foundations of functional analysis and theory of metric spaces. Banach and Hilbert spaces, operators and functionals, Hahn-Banach theorem, dual spaces, bounded operators, compact operators, theory of distributions. These topics are taught, for example, in the undergraduate course Introduction to Functional Analysis, see the course syllabus for what is in this case meant by “foundations”.
- Foundation of theory of ordinary differential equations. Existence of solution, maximal solution, systems of linear ordinary differential equations, elements of stability theory. These topics are taught, for example, in the undergraduate course Ordinary Differential Equations, see the course syllabus for what is in this case meant by “foundations”.
- Foundations of the classical theory of partial differential equations. Quasilinear equations of the first order, Laplace equation and heat equation – fundamental solutions and maximum principle, wave equation – fundamental solution, finite differences method. These topics are taught, for example, in the undergraduate course Introduction to Partial Differential Equations, see the course syllabus for what is in this case meant by “foundations”.
- Foundations of classical mechanics. Newton laws of motion, Lagrange equation, Hamilton equations, variational principles, rigid body dynamics. These topics are taught, for example, in the undergraduate course Theoretical Mechanics, see the course syllabus for what is in this case meant by “foundations”.
The expected length of the study is two years. You are expected to choose the topic of your thesis during the first year of your study. There are three sets of courses: compulsory, compulsory elective and optional.
Concerning the compulsory courses you must complete all of them. The strange term compulsory elective means that you must complete some of these courses. (The term “some” means that you need certain number of credits from these subjects, see faculty webpages for details.) The choice is yours, but it should reflect the topic of your thesis. Talk to your thesis supervisor if you want to check which courses are suitable for you! The choice of the optional courses is completely up to you. Ask your thesis supervisor, classmates or the people responsible for the study programme, see contacts, for a hint.
You must complete all these courses. The next to the last column indicates the recommended year of study. Besides the courses listed below you must also complete three “virtual” one semester courses called “Diploma Thesis Seminar”. You will get the credit for this course provided that your thesis supervisor confirms that you work on the thesis.
|Functional Analysis 1||topological spaces, weak topology, vector integration, spectral theory||1st||winter|
|Continuum Mechanics||introduction to continuum mechanics, kinematics, balance equations, linearized elasticity, Navier–Stokes fluid||1st||winter|
|Finite Element Method 1||foundations of the theory of finite element method, linear elliptic equations||1st||winter|
|Partial Differential Equations 1||notion of the weak solution, Lebesgue spaces, Sobolev spaces, linear elliptic equations||1st||winter|
|Thermodynamics and Statistical Physics||basic concepts, methods and results of classical thermodynamics and statistical physics||1st||winter|
|Partial Differential Equations 2||Bochner spaces, parabolic and linear hyperbolic equations of the second order||1st||summer|
|Computer Solutions of Problems in Continuum Mechanics||basic commercial/open source software for numerical computation (Matlab, Femlab, FEniCS) and its application to solution of partial differential equations, basic numerical libraries (Blas, Lapack, Petsc), finite element libraries (Feat, Featflow), libraries for parallel computation (MPI, OpenMP)||1st||summer|
|Thermodynamics and Mechanics of non-Newtonian Fluids||non-Newtonian phenomena, constitutive relations for non-Newtonian fluids, thermodynamics of non-Newtonian fluids||1st||summer|
|Thermodynamics and Mechanics of Solids||mechanics and thermodynamics of nonlinear solids, constitutive relations for non-linear solids||1st||summer|
|Matrix Iterative Methods||iterative methods, Krylov subspace methods||2nd||winter|
Compulsory elective courses
The courses are grouped into three categories — physic, theory of partial differential equations and numerical mathematics. You must complete some of these courses. (The term “some” means that you need certain number of credits from these subjects, see faculty webpages for details.) The choice is yours, but it should reflect the topic of your thesis. Talk to your thesis supervisor if you want to check which courses are suitable for you!
|Ordinary Differential Equations 2||dynamical systems, Poincaré-Bendixson theory, Carathéodory theory, optimal control, Pontryagin maximum principle, bifurcations, stable, unstable and central manifolds||1st||winter|
|Classical Electrodynamics||Maxwell equations, steady and quasisteady approximations, electromagnetic waves||1st||summer|
|Classical Problems in Continuum Mechanics||thermal convection, boundary layer theory, stability of fluid flows||1st||summer|
|Biothermodynamics||application of some thermodynamical concepts to the living systems and their compartments, for exmaple membranes, cells, muscles, bones||1st||summer|
|Mathematical Methods in Mechanics of non-Newtonian Fluids||mathematical tools and techniques for establishing the existence, uniqueness, regularity and large time behaviour of weak solutions to partial differential equations governing the motion of non-Newtonian fluids||2nd||winter|
|Mathematical Methods in Mechanics of Solids||mathematical methods for analysis of boundary and initial value problems arising in mechanics and thermomechanics of solids||2nd||winter|
|Nonlinear Differential Equations and Inequalities 1||pseudomonotone and monotone operators, set-valued mappings and applications to nonlinear elliptic partial differential equations and inequalities||2nd||winter|
|Numerical Methods in Mechanics of Fluids 1||Stokes problem, Oseen problem, steady and unsteady Navier-Stokes equations, solvability of the discrete systems, Babuška-Brezzi condition||2nd||winter|
|Numerical Software 1||implementation of numerical methods||2nd||winter|
|Solution of Nonlinear Algebraic Equations||Newton method, quasi-Newton methods, root finding, convergence, global convergence, continuation methods||2nd||winter|
|Saddle Point Problems and Their Solution||saddle point problems, iterative methods, preconditioning, implementation, numerical stability||2nd||winter|
|Mixture Theory||mechanics and thermodynamics of mixtures||2nd||winter|
|Electromagneic Field and Special Theory of Relativity||electrostatics, magnetostatics, electromagnetism (Maxwell equations, Lorentz force, electromagnetic waves, electric circuits), Minkowski spacetime, Lorentz transformation, relativistic particle dynamics, relativistic formulation of the theory of electromagnetic field||2nd||summer|
|Mathematical Theory of Navier-Stokes Equations||mathematical tools and techniques for establishing the existence, uniqueness, regularity and large time behaviour of weak solutions to partial differential equations governing the motion of incompressible Navier-Stokes fluid||2nd||summer|
|Mathematical Theory of Compressible Fluids||mathematical tools and techniques for establishing the existence, uniqueness, regularity and large time behaviour of weak solutions to partial differential equations governing the motion of compressible fluids||2nd||summer|
|Nonlinear Differential Equations and Inequalities 2||pseudomonotone and monotone operators, set-valued mappings and applications to nonlinear parabolic partial differential equations and inequalities||2nd||summer|
|Numerical Methods in Mechanics of Fluids 2||Euler equations, Cauchy problem for Euler equations, weak solution, finite volume method, construction of numerical fluxes, Godunov method||2nd||summer|
|Numerical Software 2||implementation of numerical methods||2nd||summer|
|Parallel Matrix Computations||dense and sparse matrices, data structures, parallelization of direct methods for sparse matrices, parallel preconditioned Krylov subspace methods, domain decomposition||2nd||summer|
|Partial Differential Equations 3||linear and nonlinear evolution equations, semigroup theory, asymptotic behaviour of the solutions to differential equations, pptimal control of evolution equations||2nd||winter|
The choice of the optional courses is completely up to you, you can choose any course taught at Charles University. Ask your thesis supervisor, classmates or the people responsible for the study programme, see contacts, for hint. We think that you should take into consideration these courses.
|Qualitative Properties of Weak Solutions to Partial Differential Equations||classical results about regularity and qualitative properties of weak solutions to partial differential equations||2nd||winter|
|Regularity of Solutions of Navier-Stokes Equations||recent results in the theory of evolutionary Navier-Stokes equations, special attention to the regularity of the solution in three space dimensions||2nd||winter|
|Regularity of Weak Solutions to Partial Differential Equations||classical results concerning regularity of weak solutions to elliptic partial differential equations||2nd||summer|
|Seminar on Partial Differential Equations||discussion of recent results in the theory of partial differential equations||both||both|
|Seminar on Continuum Mechanics||traditional seminar founded by professor Jindřich Nečas, discussion of recent results in mathematical theory of continuous media||both||both|
|GENERIC — Non-equilibrium Thermodynamics||Thermodynamics in GENERIC (General Equation for Non-equilibrium Reversible-Irreversible Coupling) formalism.||2nd||winter|
See the Study Information System for a list of thesis topics. You can also directly contact members of the Division of Mathematical Modelling or scientists from the other institutions participating on the study programme, and ask them to propose a new thesis topic.
After two years the study is completed by the state exam that has two parts — thesis defense and oral part. The oral part of state exam consists of answering several question concerning the topics specific for the given study programme. In principle you should expect questions on the level of the compulsory courses listed in the curriculum above.
The oral part of the state exam proceeds as follows. The student answers, after preparation, six questions from theory of partial differential equations (one question), functional analysis (one question), finite element method (one question), theory of solution of systems of algebraic equations (one question), continuum kinematics and dynamics (one question) and theory of constitutive relations (one question). Answering one question is expected to take ten minutes. Detailed list of the topics for the state exam is listed below.
Partial differential equations
The topics are covered in courses Partial differential equations 1 a Partial differential equations 2. It is expected that the student is also familiar with the classical theory of partial differential equations at the level of the course Introduction to partial differential equations. (See Admission.)
Weak derivative, definition and basic properties of Sobolev spaces Wk,p — reflexivity, separability, density of smooth function, extension operator for W1,p functions and domain with Lipschitz boundary. Theorems concerning the continuous and compact embedding of Sobolev spaces into Lebesgue and Hölder spaces. Definition of the trace operator for functions in Sobolev spaces, trace theorem, inverse trace theorem.
Weak solution of linear elliptic partial differential equations in bounded domain
Definition of the weak solution to linear elliptic partial differential equation with various boundary conditions. Existence of a solution via Riesz representation theorem (symmetric operator), via Lax–Milgram lemma and via Galerkin method. Compactness of the solution operator, eigenvalues and eigenvectors. Fredholm alternative and its applications. Maximum principle for the weak solution. W2,2 regularity via finite differences technique. Selfadjoint operator, equivalence with the minimization problem for a quadratic functional.
Weak solution of nonlinear elliptic partial differential equations in bounded domain
Fundamental of calculus of variations, fundamental theorem of calculus of variations, dual formulation, relation to convexity. Existence and uniqueness of the solution to nonlinear problems via fixed point theorems (nonlinear Lax–Milgram). Existence via Galerkin method and Minty trick — monotone operator and semilinear term.
Second order linear parabolic partial differential equations
Bochner spaces and their basic properties, Gelfand triple, Aubin–Lions lemma. Definition of the weak solution. Initial conditions. Existence of a solution via Galerkin method, uniqueness and regularity of the solution (spatial and temporal), smoothing property, maximum principle.
Second order linear hyperbolic partial differential equations
Definition of the weak solution. Initial conditions. Existence of a solution via Galerkin method, uniqueness, regularity (spatial and temporal), finite propagation speed.
The topics are covered in courses Finite element method and Matrix iterative methods 1. It is expected that the student is also familiar with fundamentals of numerical mathematics at the level of the course Analysis of matrix calculations 1 and Fundamentals of numerical mathematics. (See Admission.)
Finite element method for solution of linear elliptic partial differential equations
Galerkin and Ritz methods for solution of abstract linear elliptic equations. Estimate on the discretization error, Céa lemma. Defintion of the abstract finite element, simple examples of finite elements of Lagrange and Hermite type. Approximation theory in Sobolev spaces, approximation properties of polynomial preserving operators. Application of these results to Lagrange and Hermite type finite elements. Rate of convergence of approximate solutions to linear elliptic partial differential equations. Estimate of the rate of convergence in L2 norm, Nitsche lemma.
Fundamentals of numerical integration in finite element method.
Solution of systems of algebraic equations and eigenvalues computation
Methods for solution of systems of linear algebraic equations and eigenvalues computation. Spectral decomposition of operators and matrices. Invariant subspaces and spectral information, normality. Comparison of direct and iterative methods for solution of systems of linear algebraic equations. Projection process and the problem of moments. Description of the convergence of the iterative methods. Relation between iterative methods for linear equations and methods for eigenvalues computation. Comparison of methods for solution of linear and nonlinear systems of algebraic equations. Numerical stability and description of the algebraic error with respect to the problems in mathematical modelling.
The topics are partially covered in course Functional analysis I. Theory of function spaces is also partially discussed in courses Partial differential equations 1 and Partial differential equations 2. It is expected that the student is also familiar with fundamental of functional analysis at the level of the course Inroduction to functional analysis. (See Admission.)
Hilbert and Banach spaces
Definition, norm, scalar product, examples. Linear functionals. Hahn-Banach theorem. Dual space, representations of some dual spaces (Hilbert spaces, Lebesgue spaces). Riesz representation theorem. Weak and weak-* topology. Banach-Alaoglu theorem. Weak compactness. Reflexivity.
Continuous linear operators
Definition, basic properties, norm, space of linear operators, adjoint operator. Spectrum and its basic properties, spectral radius, Gelfand-Mazur theorem. Compact operators, unbounded operators (symmetric operator, selfadjoint operator, closure, closed operator), definition and properties of adjoint operator (including unbounded operators), properties of the spectrum of unbounded operators.
Definition, basic properties, norm, space of linear operators, adjoint operator. Spectrum and its basic properties, spectral radius, Gelfand-Mazur theorem. Compact operators, symmetric operator, selfadjoint operator, closure, closed operator, definition and properties of adjoint operator. Eigenvalues and eigenvectors of symmetric elliptic operators.
Fixed point theorems
Banach theorem, Brouwer theorem, Schauder theorem.
Integral transformations and fundamentals of the theory of distributions
Definition of Fourier transform in L1 and its basic properties, Fourier inversion theorem, Fourier transform of convolution and derivative. Space of test functions, characterization of a distribution, order of a distribution, operations with distributions (derivative, multiplication), Schwarz space and tempered distributions, Fourier transformation for functions in Schwarz space and tempered distributions, its basic properties. Fourier transform in L2.
The topics are covered in courses Continuum mechanics, Themrmodynamics and mechanics of nonnewtonian fluids and Thermodynamics and mechanics of solids.
Description of the motion of continuous media. Deformation of line, surface and volume elements, deformation, deformation gradient, polar decomposition of deformation gradient and its interpretation, right and left Cauchy–Green tensor, Green–Saint-Venant tensor. Rate of deformation of line, surface and volume elements. Velocity, velocity gradient, symmetric velocity gradient, material time derivative. Streamlines and pathlines. Kinematic condition for material surface. Lagrange and Euler description. Compatibility conditions. Isotropic tensor functions, representation theorem for isotropic tensor functions.
Balance equations (mass, momentum, angular momentum, total energy) in Euler and Lagrange description. Integral form for the balance equations, localization principle. Cauchy stress tensor, first Piola–Kirchhoff stress tensor. Balance equations in non-inertial reference frame.
Simple constitutive relations
Compressible and incompressible Navier–Stokes model, linearized elasticity. Boundary conditions. Geometric linearization.
Continuum thermodynamics, balance equations. Entropy. Rate of entropy production. Incompressibility. Maximization of the rate of entropy production and its applicability in theory of constitutive relations. Nonnewtonian phenomena. Viscosity as a function of symmetric part of the velocity gradient and the pressure, normal stress differences, activation/deactivation criteria, stress relaxation, non-linear creep. Principle of frame indifference and its consequences. Frame-indifferent time derivatives. Representation theorem for isotropic tensorial functions. Classical constitutive relations. Differential, integral and rate type models. Power law fluid, fluid with pressure dependent viscosity, Bingham type fluids.
Principle of frame indifference and its consequences. Finite strain theory, linearized elasticity, incompressible materials in finite elasticity and linearized elasticity, hyperelasticity, properties with respect to the determinant of the deformation gradient. First Piola–Kirchhoff tensor for hyperelastic material. Material models in finite elasticity, elastic constants for hyperelastic materials, homogenoeus/inhomogeneous material.
Rheological models. Kelvin–Voigt, Maxwell, viscous heat conducting materials, thermoelastic materials, adiabatic materials. Clausius–Duhem inequality and its consequences for constitutive relations.