Related papers: Accurate method of verified computing for solution…
In this paper, we propose a numerical method for verifying the positiveness of solutions to semilinear elliptic equations. We provide a sufficient condition for a solution to an elliptic equation to be positive in the domain of the…
We present a family of integral equation-based solvers for the linear or semilinear heat equation in complicated moving (or stationary) geometries. This approach has significant advantages over more standard finite element or finite…
In this paper, we present a numerical verification method of solutions for nonlinear parabolic initial boundary value problems. Decomposing the problem into a nonlinear part and an initial value part, we apply Nakao's projection method,…
We present a class of new explicit and stable numerical algorithms to solve the spatially discretized linear heat or diffusion equation. After discretizing the space and the time variables like conventional finite difference methods, we do…
We provide a numerical validation method of blow-up solutions for finite dimensional vector fields admitting asymptotic quasi-homogeneity at infinity. Our methodology is based on quasi-homogeneous compactifications containing a new…
We study the existence of solutions to the fractional semilinear heat equation with a singular inhomogeneous term. For this aim, we establish decay estimates of the fractional heat semigroup in several uniformly local Zygumnd spaces.…
This paper provides a methodology of verified computing for solutions to 1-dimensional advection equations with variable coefficients. The advection equation is typical partial differential equations (PDEs) of hyperbolic type. There are few…
This study aims to present the error and numerical blow up analyses of a finite element method for computing the radially symmetric solutions of semilinear heat equations. In particular, this study establishes optimal order error estimates…
Code verification plays an important role in establishing the credibility of computational simulations by assessing the correctness of the implementation of the underlying numerical methods. In computational electromagnetics, the numerical…
Existence of strong solutions to a nonlocal semilinear heat equation is shown. The main feature of the equation is that the nonlocal term depends on the unknown on the whole time interval of existence, the latter being given a priori. The…
We present exact mixed-integer linear programming formulations for verifying the performance of first-order methods for parametric quadratic optimization. We formulate the verification problem as a mixed-integer linear program where the…
In this paper, we introduce a method for computing rigorous local inclusions of solutions of Cauchy problems for nonlinear heat equations for complex time values. Using a solution map operator, we construct a simplified Newton operator and…
Writing accurate numerical software is hard because of many sources of unavoidable uncertainties, including finite numerical precision of implementations. We present a programming model where the user writes a program in a real-valued…
Formal verification of complex algorithms is challenging. Verifying their implementations goes beyond the state of the art of current automatic verification tools and usually involves intricate mathematical theorems. Certifying algorithms…
A reliable method for characterizing quantum operations that is suitable for improving and validating their accuracies is indispensable for realizing a practical quantum computer. Known methods are still not sufficient because they lack…
Schauder's fixed point theorem is used to derive the existence of solutions to a semilinear heat equation. The equation features a nonlinear term that depends on the time-integral of the unknown on the whole, a priori given, interval of…
We introduce a novel explicit and stable numerical algorithm to solve the spatially discretized heat or diffusion equation. We compare the performance of the new method with analytical and numerical solutions. We show that the method is…
We analyze some exact and approximate solutions to nonlinear equations for heat transfer models. We prove that recent results derived from a method based on Lie algebras are either trivial or wrong. We test a simple analytical expression…
We present a novel approach for designing complex approximate arithmetic circuits that trade correctness for power consumption and play important role in many energy-aware applications. Our approach integrates in a unique way formal methods…
The purpose of this paper is to propose methods for verifying the positivity of a weak solution $ u $ of an elliptic problem assuming $ H^1_0 $-error estimation $ \left\|u-\hat{u}\right\|_{H_{0}^{1}} \leq \rho $ given some numerical…