Half Space and Quarter Space Dirichlet Problems for the Partial Differential Equation

A customary, heuristic, method, by which the Poisson integral formula for the Dirichlet problem, for the half space, for Laplace's equation is obtained, involves Green's function, and Kelvin's method of images. Although this heuristic method leads one to guess the correct result, this Poisson formula still has to be verified directly, independently of the method by which it was arrived at, in order to be absolutely certain that a solution of the Dirichlet problem for the half space, for Laplace's equation, has been actually obtained. A similar heuristic method, as seems to be generally known, could be followed in solving the Dirichlet problem, for the half space, for the equation where is a real constant. However, in Part 1, a different, labor-saving, method is used to study Dirichlet problems for the equation. This method is essentially based on what Hadamard called the method of descent. Indeed, it is shown that he who has solved the half space Dirichlet problem for Laplace's equation has already solved the half space Dirichlet problem for the equation In Part 2, the solution formula for the quarter space Dirichlet problem for Laplace's equation is obtained from the Poisson integral formula for the half space Dirichlet problem for Laplace's equation. A representation theorem for harmonic functions in the quarter space is deduced. The method of descent is used, in Part 3, to obtain the solution formula for the quarter space Dirichlet problem for the equation by means of the solution formula for the quarter space Dirichlet problem for Laplace's equation. So that, indeed, it is also shown that he who has solved the quarter space Dirichlet problem for Laplace's equation has already solved the quarter space Dirichlet problem for the " equation" For the sake of completeness and clarity, and for the convenience of the reader, the appendix, at the end of Part 3, contains a detailed proof that the Poisson integral formula solves the half space Dirichlet problem for Laplace's equation. The Bibliography for Parts 1,2, 3 is to be found at the end of Part 1.     

On bounds for the mode and median of the generalized hyperbolic and related distributions

Except for certain parameter values, a closed form formula for the mode of the generalized hyperbolic (GH) distribution is not available. In this paper, we exploit results from the literature on modified Bessel functions and their ratios to obtain simple but tight two-sided inequalities for the mode of the GH distribution for general parameter values. As a special case, we deduce tight two-sided inequalities for the mode of the variance-gamma (VG) distribution, and through a similar approach we also obtain tight two-sided inequalities for the mode of the McKay Type I distribution. The analogous problem for the median is more challenging, but we conjecture some monotonicity results for the median of the VG and McKay Type I distributions, from we which we conjecture some tight two-sided inequalities for their medians. Numerical experiments support these conjectures and also lead us to a conjectured tight lower bound for the median of the GH distribution.     

Distribution of Bids for Buildings and Roads Contracts

This paper describes the analysis of data relating to bids for 535 contracts to determine the distribution of these bids. The findings are that bids for building contracts can be treated as samples from a normal distribution and that for roads, although the assumption is statistically less valid, it is adequate for practical purposes. The tests for normality used were the studentized range and the Anderson-Darling statistic. Comments on the uses of these distributions in testing for unrealistic bids and for predicting the lowest bid are given.     

Incompressible limit of solutions of multidimensional steady compressible Euler equations

A compactness framework is formulated for the incompressible limit of approximate solutions with weak uniform bounds with respect to the adiabatic exponent for the steady Euler equations for compressible fluids in any dimension. One of our main observations is that the compactness can be achieved by using only natural weak estimates for the mass conservation and the vorticity. Another observation is that the incompressibility of the limit for the homentropic Euler flow is directly from the continuity equation, while the incompressibility of the limit for the full Euler flow is from a combination of all the Euler equations. As direct applications of the compactness framework, we establish two incompressible limit theorems for multidimensional steady Euler flows through infinitely long nozzles, which lead to two new existence theorems for the corresponding problems for multidimensional steady incompressible Euler equations.     

Computing the nonabelian tensor squares of polycyclic groups

In this paper we develop a theory for computing the nonabelian tensor square and related computations for finitely presented groups and specialize it to polycyclic groups. This theory provides a framework for making nonabelian tensor square computations for polycyclic groups and is the basis of an algorithm for computing the nonabelian tensor square for any polycyclic group.     

Estimates for norms of matrix-valued and operator-valued functions and some of their applications

A survey is presented of estimates for a norm of matrix-valued and operator-valued functions obtained by the author. These estimates improve the Gel'fand-Shilov estimate for regular functions of matrices and Carleman's estimates for resolvents of matrices and compact operators.From the estimates for resolvents, the well-known result for spectrum perturbations of self-adjoint operators is extended to quasi-Hermitian operators. In addition, the classical Schur and Brown's inequalities for eigenvalues of matrices are improved.From estimates for the exponential function (semigroups), bounds for solution norms of nonlinear differential equations are derived. These bounds give the stability criteria which make it possible to avoid the construction of Lyapunov functions in appropriate situations.     

Lower Bounds for the Rate of Convergence of Dynamic Reconstruction Algorithms for Distributed-Parameter Systems

We obtain lower bounds for the rate of convergence of reconstruction algorithms for distributed-parameter systems of parabolic type. In the case of a pointwise constraint on control for known reconstruction algorithms, we establish a lower bound on the rate of convergence, which shows that, given certain conditions, for each solution of the system one can choose such a collection of measurements so that the reconstruction error will not be less than a certain value. In the case of unbounded controls, we obtain lower bounds for a possible reconstruction error for each trajectory as well as for a given set of trajectories. For a system of special form, we construct an algorithm for which we obtain upper and lower bounds for accuracy having identical order for a specific choice of matching of the parameters.     

Conservation laws via the partial Lagrangian and group invariant solutions for radial and two-dimensional free jets

The conservation laws for Prandtl’s boundary layer equations for an incompressible fluid governing the flow in radial and two-dimensional jets are investigated. For both radial and two-dimensional jets the partial Lagrangian method is used to derive conservation laws for the system of two differential equations for the velocity components. The Lie point symmetries are calculated for both cases and a symmetry is associated with the conserved vector that is used to establish the conserved quantity for the jet. This associated symmetry is then used to derive the group invariant solution for the system governing the flow in the free jet.     

The shape of the hazard function for cancer incidence

A population-based cohort consisting of 126,141 men and 122,208 women born between 1874 and 1931 and at risk for breast or colorectal cancer after 1965 was identified by linking the Utah Population Data Base and the Utah Cancer Registry. The hazard function for cancer incidence is estimated from left truncated and right censored data based on the conditional likelihood. Four estimation procedures based on the conditional likelihood are used to estimate the age-specific hazard function from the data; these were the life-table method, a kernel method based on the Nelson Aalen estimator, a spline estimate, and a proportional hazards estimate based on splines with birth year as sole covariate.The results are consistent with an increasing hazard for both breast and colorectal cancer through age 85 or 90. After age 85 or 90, the hazard function for female breast and colorectal cancer may reach a plateua or decrease, although the hazard function for male colorectal cancer appears to continue to rise through age 105. The hazard function for both breast and colorectal cancer appears to be higher for more recent birth cohorts, with a more pronounced birth-cohort effect for breast cancer than for colorectal cancer. The age specific for colorectal cancer appears to be higher for men than for women. The shape of the hazard function for both breast and colorectal cancer appear to be consistent with a two-stage model for spontaneous carcinogenesis in which the initiation rate is constant or increasing. Inheritance of initiated cells appears to play a minor role.     

Fast Algorithms for Identification and Comparison of Braids

A method for constructing algorithms solving the word and comparison problems for mapping class groups (in particular, for the braid group) is presented, and a family of one-side invariant orderings on the mapping class group of a surface with boundary is described. A method for constructing comparison algorithms for all finite orderings on the mapping class group of any surface with boundary is described, a fast and simple comparison algorithm for the Dehornoy order on the braid group is presented, examples of normal forms for braid groups are given, and algorithms for finding the forms are indicated. Bibliography: 15 titles.     

Nonlocal boundary-value problems for abstract parabolic equations: well-posedness in Bochner spaces

The well-posedness of the nonlocal boundary-value problem for abstract parabolic differential equations in Bochner spaces is established. The first and second order of accuracy difference schemes for the approximate solutions of this problem are considered. The coercive inequalities for the solutions of these difference schemes are established. In applications, the almost coercive stability and coercive stability estimates for the solutions of difference schemes for the approximate solutions of the nonlocal boundary-value problem for parabolic equation are obtained.     

Various motivations for managerial (mis)reporting – an experimental study

In the experiment we model all possible consequences from misreporting for both the shareholder and for the manager, since we are interested in patterns in reporting behaviour resulting from different motivations for potential misrepresentation. This allows for examining the stability of the (mis)reporting behaviour in different treatments. Agents are primarily driven by the consequences for themselves rather than by the consequences for the principal, while deciding on misreporting. Participants are willing to sacrifice a small gain for themselves in order to prevent a greater loss for the principal. If agents misreport, they do it in order to generate positive rather than negative consequences for themselves. Reports in favour of the principal, but fruitless or even costly for the agent are very rare. The experiment indicates also that pro-social agents report more truthfully than pro-self agents.     

The Axiom of Choice in Second-Order Predicate Logic

The present article deals with the power of the axiom of choice (AC) within the second-order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in Henkin models of the one-sorted second-order predicate logic with identity without operation variables. The construction of models follows the ideas of Fraenkel and Mostowski. It is e. g. shown that the well-ordering theorem for unary predicates is independent from AC for binary predicates and from the trichotomy law for unary predicates. Moreover, we show that the AC for binary predicates follows neither from the trichotomy law for unary predicates nor from Zorn's lemma for unary predicates nor from the formalization of the axiom of choice for disjoint families of sets for binary predicates, and that the trichotomy law for unary predicates does not follow from AC for binary predicates. Mathematics Subject Classification: 03B15, 03E25, 04A25.     

High-order computational methods for option valuation under multifactor models

Many of the different numerical techniques in the partial differential equations framework for solving option pricing problems have employed only standard second-order discretization schemes. A higher-order discretization has the advantage of producing low size matrix systems for computing sufficiently accurate option prices and this paper proposes new computational schemes yielding high-order convergence rates for the solution of multi-factor option problems. These new schemes employ Galerkin finite element discretizations with quadratic basis functions for the approximation of the spatial derivatives in the pricing equations for stochastic volatility and two-asset option problems and time integration of the resulting semi-discrete systems requires the computation of a single matrix exponential. The computations indicate that this combination of high-order finite elements and exponential time integration leads to efficient algorithms for multi-factor problems. Highly accurate European prices are obtained with relatively coarse meshes and high-order convergence rates are also observed for options with the American early exercise feature. Various numerical examples are provided for illustrating the accuracy of the option prices for Heston’s and Bates stochastic volatility models and for two-asset problems under Merton’s jump-diffusion model.     

Convergence in competition models with small diffusion coefficients

It is well known that for reaction-diffusion 2-species Lotka-Volterra competition models with spatially independent reaction terms, global stability of an equilibrium for the reaction system implies global stability for the reaction-diffusion system. This is not in general true for spatially inhomogeneous models. We show here that for an important range of such models, for small enough diffusion coefficients, global convergence to an equilibrium holds for the reaction-diffusion system, if for each point in space the reaction system has a globally attracting hyperbolic equilibrium. This work is planned as an initial step towards understanding the connection between the asymptotics of reaction-diffusion systems with small diffusion coefficients and that of the corresponding reaction systems.     

An approximation of stochastic hyperbolic equations: case with Wiener process

In the present paper, the two‐step difference scheme for the Cauchy problem for the stochastic hyperbolic equation is presented. The convergence estimate for the solution of the difference scheme is established. In applications, the convergence estimates for the solution of difference schemes for the numerical solution of four problems for hyperbolic equations are obtained. The theoretical statements for the solution of this difference scheme are supported by the results of the numerical experiment. Copyright © 2012 John Wiley & Sons, Ltd.     

Error estimates for shooting methods in two-point boundary value problems for second-order equations

This paper is concerned with a procedure for estimating the global discretization error arising when a boundary value problem for a system of second order differential equations is solved by the simple shooting method, without transforming the original problem in an equivalent first order problem. Expressions of the global discretization error are derived for both linear and nonlinear boundary value problems, which reduce the error estimation for a boundary value problem to that for an initial value problem of same dimension. The procedure extends to second order equations a technique for global error estimation given elsewhere for first order equations. As a practical result the accuracy of the estimates for a second order problem is increased compared with the estimates for the equivalent first order problem.     

Asymptotic for the cumulative distribution function of the degrees and homomorphism densities for random graphs sampled from a graphon

We give asymptotics for the cumulative distribution function (CDF) for degrees of large dense random graphs sampled from a graphon. The proof is based on precise asymptotics for binomial random variables. This result is a first step for giving a nonparametric test for identifying the degree function of a large random graph. Replacing the indicator function in the empirical CDF by a smoother function, we get general asymptotic results for functionals of homomorphism densities for partially labeled graphs. This general setting allows to recover recent results on asymptotics for homomorphism densities of sampled graphon.     

Some results on the controllability of forward stochastic heat equations with control on the drift

In this paper, we establish the null/approximate controllability for forward stochastic heat equations with control on the drift. The null controllability is obtained by a time iteration method and an observability estimate on partial sums of eigenfunctions for elliptic operators. As a consequence of the null controllability, we obtain the observability estimate for backward stochastic heat equations, which leads to a unique continuation property for backward stochastic heat equations, and hence the desired approximate controllability for forward stochastic heat equations. It deserves to point out that one needs to introduce a little stronger assumption on the controller for the approximate controllability of forward stochastic heat equations than that for the null controllability. This is a new phenomenon arising in the study of the controllability problem for stochastic heat equations.     

非强制混合向量变分不等式解的存在性研究

本文利用例外簇方法研究非强制混合向量变分不等式的弱有效解的存在性:首先证明若混合向量变分不等式问题不存在例外簇,则混合向量变分不等式问题的弱有效解集为非空集合:利用向量值映射的渐近映射给出自反Banach空间中非强制混合向量变分不等式的弱有效解集不存在例外簇的充分条件,从而得到混合向量变分不等式问题的弱有效解的存在性结果;我们研究了当算子为余正仿射算子时,给出混合仿射向量变分不等式不存在例外簇的充分条件,得到混合仿射向量变分不等式弱有效解的存在性,给出了混合仿射向量变分不等式的弱有效解集为非空紧致集的充分条件.将Iusem等人(2019)在有限维空间中标量混合变分不等式解的存在性结果推广到自反Banach空间中混合向量变分不等式.