Related papers: Time discretization of an abstract problem applyin…
We investigate a discretization of a class of stochastic heat equations on the unit sphere with multiplicative noises. A spectral method is used for the spatial discretization and the truncation of the Wiener process, while an implicit…
We present a unified framework for the analysis of space-time methods based on Galerkin-type time discretizations for parabolic and hyperbolic problems. Crucially, the stability analysis relies on a suitable choice of test functions to…
We study solution techniques for an evolution equation involving second order derivative in time and the spectral fractional powers, of order $s \in (0,1)$, of symmetric, coercive, linear, elliptic, second-order operators in bounded domains…
The long-standing problem of time in canonical quantum gravity is the source of several conceptual and technical issues. Here, recent mathematical results are used to provide a consistent algebraic formulation of dynamical symplectic…
This paper considers one-dimensional heat transfer in a media with temperature-dependent thermal conductivity. To model the transient behavior of the system, we solve numerically the one-dimensional unsteady heat conduction equation with…
We apply functional analytical and variational methods in order to study well-posedness and qualitative properties of evolution equations on product Hilbert spaces. To this aim we introduce an algebraic formalism for matrices of…
We study a nonlinear evolutionary partial differential equation that can be viewed as a generalization of the heat equation where the temperature gradient is a~priori bounded but the heat flux provides merely \mbox{$L^1$-coercivity}.…
In the present paper, a discrete differential calculus is introduced and used to describe dynamical systems over arbitrary graphs. The discretization of space and time allows the derivation of Heisenberg-like uncertainty inequalities and of…
A coupled BEM/FEM formulation for the transient interaction between an acoustic field and a piezoelectric scatterer is proposed. The scattered part of the acoustic wave is represented in terms of retarded layer potentials while the elastic…
We study a class of models for nonlinear acoustics, including the well-known Westervelt and Kuznetsov equations, as well as a model of Rasmussen that can be seen as a thermodynamically consistent modification of the latter. Using…
We focus in this work on the numerical discretization of the one dimensional aggregation equation $\pa_t\rho + \pa_x (v\rho)=0$, $v=a(W'*\rho)$, in the attractive case. Finite time blow up of smooth initial data occurs for potential $W$…
We present an algorithm for solving stochastic heat equations, whose key ingredient is a non-uniform time discretization of the driving Brownian motion $W$. For this algorithm we derive an error bound in terms of its number of evaluations…
We introduce a nonperturbative, first-principles approach to time-dependent problems in quantum field theory. In this approach, the time-evolution of quantum field configurations is calculated in real time and at the amplitude level. This…
Solving the 4-d Einstein equations as evolution in time requires solving equations of two types: the four elliptic initial data (constraint) equations, followed by the six second order evolution equations. Analytically the constraint…
A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves…
This paper revisits the classical notion of sampling in the setting of real-time temporal logics for the modeling and analysis of systems. The relationship between the satisfiability of Metric Temporal Logic (MTL) formulas over…
This course introduces the use of semigroup methods in the solution of linear and nonlinear (quasi-linear) hyperbolic partial differential equations, with particular application to wave equations and Hermitian hyperbolic systems. Throughout…
We propose an improved model explaining the occurrence of high stresses due to the difference in specific volumes during phase transitions between water and ice. The unknowns of the resulting evolution problem are the absolute temperature,…
In this work we study one problem of mathematical interest for their applications in several topics in Applied Science. We study simultaneous controllability of a pair of systems which model the evolution of sound in a compressible ow…
The solution of the continuous time filtering problem can be represented as a ratio of two expectations of certain functionals of the signal process that are parametrized by the observation path. We introduce a new time discretisation of…