Searcharxiv⌕ Search

arXiv subjects

Michal Beneš

Publications and source records attributed to Michal Beneš.

15 recordsLinked to original sources

Trajectory Surfaces of Framed Curvature Flow

This work introduces the framed curvature flow, a generalization of both the curve shortening flow and the vortex filament equation. Here, the magnitude of the velocity vector is still determined by the curvature, but its direction is given by an associated time-dependent moving frame. After establishing local existence and global estimates, we analyze the trajectory surfaces generated by different variations of this flow, specifically those leading to surfaces of constant mean or Gaussian curvature.

math.DG↗

Long-term behavior of curve shortening flow in $\mathbb{R}^3$

Space curve motion describes dynamics of material defects or interfaces, can be found in image processing or vortex dynamics. This article analyses some properties of space curves evolved by the curve shortening flow. In contrast to the classical case of shrinking planar curves, space curves do not obey the Avoidance principle in general. They can lose their convexity or develop non-circular singularities even if they are simple. In the first part of the text, we show that even though the convexity of space curves is not preserved during the motion, their orthogonal projections remain convex. In the second part, the Avoidance principle for spherical curves under the curve shortening flow in $\mathbb{R}^3$ is shown by generalizing the arguments developed by Hamilton and Gage.

math.DG↗

Focusing the Latent Heat Release in 3D Phase Field Simulations of Dendritic Crystal Growth

We investigate a family of phase field models for simulating dendritic growth of a pure supercooled substance. The central object of interest is the reaction term in the Allen-Cahn equation, which is responsible for spatial distribution of latent heat release during solidification. In this context, several existing forms of the reaction term are analyzed. Inspired by the known conclusions of matched asymptotic analysis, we propose new variants that are simple enough to allow mathematical and numerical analysis and robust enough to be applicable to solidification under very large supercooling. The resulting models are tested in a number of numerical simulations focusing on mesh-dependence and model parameter settings. Despite the phase interface thickness being relatively large to make numerical computations feasible, the obtained results exhibit a good quantitative agreement with experimental data from rapid solidification of nickel melts.

physics.comp-ph↗

Convergence of the Finite Volume Method on Unstructured Meshes for a 3D Phase Field Model of Solidification

We present a convergence result for the finite volume method applied to a particular phase field problem suitable for simulation of pure substance solidification. The model consists of the heat equation and the phase field equation with a general form of the reaction term which encompasses a variety of existing models governing dendrite growth and elementary interface tracking problems. We apply the well known compact embedding techniques in the context of the finite volume method on admissible unstructured polyhedral meshes. We develop the necessary interpolation theory and derive an a priori estimate to obtain boundedness of the key terms. Based on this estimate, we conclude the convergence of all of the terms in the equation system.

math.NA↗

Homogenization of degenerate coupled transport processes in porous media with memory terms

In this paper we establish a homogenization result for a doubly nonlinear parabolic system arising from the hygro-thermo-chemical processes in porous media taking into account memory phenomena. We present a meso-scale model of the composite (heterogeneous) material where each component is considered as a porous system and the voids of the skeleton are partially saturated with liquid water. It is shown that the solution of the meso-scale problem is two-scale convergent to that of the upscaled problem as the spatial parameter goes to zero.

math.AP↗

On degenerate coupled transport processes in porous media with memory phenomena

In this paper we prove the existence of weak solutions to degenerate parabolic systems arising from the fully coupled moisture movement, solute transport of dissolved species and heat transfer through porous materials. Physically relevant mixed Dirichlet-Neumann boundary conditions and initial conditions are considered. Existence of a global weak solution of the problem is proved by means of semidiscretization in time, proving necessary uniform estimates and by passing to the limit from discrete approximations. Degeneration occurs in the nonlinear transport coefficients which are not assumed to be bounded below and above by positive constants. Degeneracies in transport coefficients are overcome by proving suitable a-priori $L^{\infty}$-estimates based on De Giorgi and Moser iteration technique.

math.AP↗

Global weak solutions to degenerate coupled diffusion-convection-dispersion processes and heat transport in porous media

In this contribution we prove the existence of weak solutions to degenerate parabolic systems arising from the coupled moisture movement, transport of dissolved species and heat transfer through partially saturated porous materials. Physically motivated mixed Dirichlet-Neumann boundary conditions and initial conditions are considered. Existence of a global weak solution of the problem is proved by means of semidiscretization in time and by passing to the limit from discrete approximations. Degeneration occurs in the nonlinear transport coefficients which are not assumed to be bounded below and above by positive constants. Degeneracies in all transport coefficients are overcome by proving suitable a-priori $L^{\infty}$-estimates for the approximations of primary unknowns of the system.

math.AP↗

Hygro-thermo-mechanical analysis of spalling in concrete walls at high temperatures as a moving boundary problem

A mathematical model allowing coupled hygro-thermo-mechanical analysis of spalling in concrete walls at high temperatures by means of the moving boundary problem is presented. A simplified mechanical approach to account for effects of thermal stresses and pore pressure build-up on spalling is incorporated into the model. The numerical algorithm based on finite element discretization in space and the semi-implicit method for discretization in time is presented. The validity of the developed model is carefully examined by a comparison between experimental tests performed by Kalifa et al. (2000) and Mindeguia (2009) on concrete prismatic specimens under unidirectional heating of temperature of 600 $°$C and ISO 834 fire curve and the results obtained from the numerical model.

cs.CE↗

On existence of thermally coupled incompressible flows in a system of three dimensional pipes

We study an initial-boundary-value problem for time-dependent flows of heat-conducting viscous incompressible fluids in a system of three-dimensional pipes on a time interval $(0,T)$. Here we are motivated by the bounded domain approach with "do-nothing" boundary conditions. In terms of the velocity, pressure and enthalpy of the fluid, such flows are described by a parabolic system with strong nonlinearities and including the artificial boundary conditions for the velocity and nonlinear boundary conditions for the so called enthalpy of the fluid. The present analysis is devoted to the proof of the existence of weak solutions for the above problem. In addition, we deal with some regularity for the velocity of the fluid.

math.AP↗

Solutions to the Navier-Stokes Equations with Mixed Boundary Conditions in Two-Dimensional Bounded Domains

In this paper we consider the system of the non-steady Navier-Stokes equations with mixed boundary conditions. We study the existence and uniqueness of a solution of this system. We define Banach spaces $X$ and $Y$, respectively, to be the space of "possible" solutions of this problem and the space of its data. We define the operator $\mathcal{N}:X\rightarrow Y$ and formulate our problem in terms of operator equations. Let $\mathbf{u}\in X$ and ${{\mathcal G}_{\mathcal P}}_{\mathbf{u}}: X\rightarrow Y$ be the Frechet derivative of $\mathcal{N}$ at $\mathbf{u}$. We prove that ${{\mathcal G}_{\mathcal P}}_{\mathbf{u}}$ is one-to-one and onto $Y$. Consequently, suppose that the system is solvable with some given data (the initial velocity and the right hand side). Then there exists a unique solution of this system for data which are small perturbations of the previous ones. Next result proved in the Appendix of this paper is $W^{2,2}$- regularity of solutions of steady Stokes system with mixed boundary condition for sufficiently smooth data.

math.AP↗

Global weak solutions for coupled transport processes in concrete walls at high temperatures

We consider an initial-boundary value problem for a fully nonlinear coupled parabolic system with nonlinear boundary conditions modelling hygro-thermal behavior of concrete at high temperatures. We prove a global existence of a weak solution to this system on an arbitrary time interval. The main result is proved by an approximation procedure. This consists in proving the existence of solutions to mollified problems using the Leray-Schauder theorem, for which a priori estimates are obtained. The limit then provides a weak solution for the original problem. A practical example illustrates a performance of the model for a problem of a concrete segment exposed to transient heating according to three different fire scenarios. Here, the focus is on the short-term pore pressure build up, which can lead to explosive spalling of concrete and catastrophic failures of concrete structures.

math-ph↗

Some properties of strong solutions to nonlinear heat and moisture transport in multi-layer porous structures

The present paper deals with mathematical models of heat and moisture transport in layered building envelopes. The study of such processes generates a system of two doubly nonlinear evolution partial differential equations with appropriate initial and boundary conditions. The existence of the strong solution in two dimensions on a (short) time interval is proven. The proof rests on regularity results for elliptic transmission problem for isotropic composite-like materials.

math.AP↗

Strong Solutions to Non-Stationary Channel Flows of Heat-Conducting Viscous Incompressible Fluids with Dissipative Heating

We study an initial-boundary-value problem for time-dependent flows of heat-conducting viscous incompressible fluids in channel-like domains on a time interval $(0,T)$. For the parabolic system with strong nonlinearities and including the artificial (the so called "do nothing") boundary conditions, we prove the local in time existence, global uniqueness and smoothness of the solution on a time interval $(0,T^*)$, where $0< T^* \leq T$.

math-ph↗

A Note on Doubly Nonlinear Parabolic Systems with Unilateral Constraint

We prove the existence and uniqueness of the solution to the doubly nonlinear parabolic systems with mixed boundary conditions. Due to the unilateral constraint the problem comes as a variational inequality. We apply the penalty method and Gronwall's technique to prove the existence and uniqueness of the variational solution.

math.AP↗

Analysis of coupled transport phenomena in concrete at elevated temperatures

In this paper, we study a non-linear numerical scheme arising from the implicit time discretization of the Bažant-Thonguthai model for hygro-thermal behavior of concrete at high temperatures. Existence and uniqueness of the time-discrete solution in two dimensions is established using the theory of pseudomonotone operators in Banach spaces. Next, the spatial discretization is accomplished by the conforming finite element method. An illustrative numerical example shows that the numerical model reproduces well the rapid increase of pore pressure in wet concrete due to extreme heating. Such phenomenon is of particular interest for the safety assessment of concrete structures prone to thermally-induced spalling.

math.AP↗