(Français) Computable reliable bounds for Poincaré–Friedrichs constants via Čech–de-Rham complexes
Sorry, this entry is only available in French.
Computable reliable bounds for Poincaré–Friedrichs constants via Čech–de-Rham complexes
Martin Licht: Thursday, 25th April at 11:00 Abstract: We derive computable and reliable upper bounds for Poincaré–Friedrichs constants of classical Sobolev spaces and, more generally, Sobolev de-Rham complexes. The upper bounds are in terms of local Poincaré–Friedrichs constants over subdomains and the smallest singular value of a finite-dimensional operator that is easily assembled from the geometric setting. Thus we reduce the computational effort when computing the Poincaré–Friedrichs constant of finite de-Rham complexes, and we provide computable reliable bounds even for the original Sobolev de-Rham complex. The reduction to a finite-dimensional system uses diagram chasing within a Čech–de-Rham complex.
(Français) Homogeneous multigrid for hybrid discretizations: application to HHO methods
Sorry, this entry is only available in French.
Homogeneous multigrid for hybrid discretizations: application to HHO methods
Andreas Rupp： Tuesday, 2nd April at 14:00 Abstract: We prove the uniform convergence of the geometric multigrid V-cycle for hybrid high-order (HHO) and other discontinuous skeletal methods. Our results generalize previously established results for HDG methods, and our multigrid method uses standard smoothers and local solvers that are bounded, convergent, and consistent. We use a weak version of elliptic regularity in our proofs. Numerical experiments confirm our theoretical results.
(Français) A localized orthogonal decomposition strategy for hybrid discontinuous Galerkin methods
Sorry, this entry is only available in French.
A localized orthogonal decomposition strategy for hybrid discontinuous Galerkin methods
Roland Maier： Thursday, 4th April at 11:00 Abstract: We formulate and analyze a multiscale method for an elliptic problem with an oscillatory coefficient based on a skeletal (hybrid) formulation. More precisely, we employ hybrid discontinuous Galerkin approaches and combine them with the localized orthogonal decomposition methodology to obtain a coarse-scale skeletal method that effectively includes fine-scale information. This work is a first step to reliably merge hybrid skeletal formulations and localized orthogonal decomposition and unite the advantages of both strategies. Numerical experiments are presented to illustrate the theoretical findings.
(Français) Modeling some biological phenomena via the porous media approach
Sorry, this entry is only available in French.
Modeling some biological phenomena via the porous media approach
Zoubida Mghazli： Thursday, 18rd Jan at 14:00 Abstract: Many biological systems can be modeled by the ”porous medium approach”, such as the diffusion of nutrients and other macromolecules through and in biological tissues. In this presentation, after a brief introduction to the ”porous medium approach”, we present some biological systems viewed through this approach. This will mainly concern the process of biodegradation of household waste, the Trichoderma fungi and the flow of water in the plant root.
(Français) Computer-assisted proofs of radial solutions of elliptic systems on R^d
Sorry, this entry is only available in French.
Computer-assisted proofs of radial solutions of elliptic systems on R^d
Olivier Hénot： Thursday 23rd Nov at 11:00 Abstract: The talk presents recent work on the rigorous computation of localized radial solutions of semilinear elliptic systems. While there are comprehensive results for scalar equations and some specific classes of elliptic systems, much less is known about these solutions in generic systems of nonlinear elliptic equations. These radial solutions are described by systems of non-autonomous ordinary differential equations. Using an appropriate Lyapunov-Perron operator, we rigorously enclose the centre-stable manifold, which contains the asymptotic behaviour of the profile. We then formulate, as a zero-finding problem, a shooting scheme from the set of initial conditions onto the invariant manifold. By means of a Newton-Kantorovich-type theorem, we obtain sufficient conditions to prove the existence and local uniqueness of a zero in the vicinity of a numerical approximation. We apply this method to prove ground state solutions for the Klein-Gordon equation on R^3, the Swift-Hohenberg equation on R^2, and a FitzHugh-Nagumo system on R^2.
