scholarly journals Boolean-Valued Set-Theoretic Systems: General Formalism and Basic Technique

Mathematics ◽  
2021 ◽  
Vol 9 (9) ◽  
pp. 1056
Author(s):  
Alexander Gutman

This article is devoted to the study of the Boolean-valued universe as an algebraic system. We start with the logical backgrounds of the notion and present the formalism of extending the syntax of Boolean truth values by the use of definable symbols, internal classes, outer terms and external Boolean-valued classes. Next, we enrich the collection of Boolean-valued research tools with the technique of partial elements and the corresponding joins, mixings and ascents. Passing on to the set-theoretic signature, we prove that bounded formulas are absolute for transitive Boolean-valued subsystems. We also introduce and study intensional, predicative, cyclic and regular Boolean-valued systems, examine the maximum principle, and analyze its relationship with the ascent and mixing principles. The main applications relate to the universe over an arbitrary extensional Booleanvalued system. A close interrelation is established between such a universe and the intensional hierarchy. We prove the existence and uniqueness of the Boolean-valued universe up to a unique isomorphism and show that the conditions in the corresponding axiomatic characterization are logically independent. We also describe the structure of the universe by means of several cumulative hierarchies. Another application, based on the quantifier hierarchy of formulas, improves the transfer principle for the canonical embedding in the Boolean-valued universe.

2012 ◽  
Vol 2012 ◽  
pp. 1-11
Author(s):  
Jin Liang ◽  
Huan Zhu

This paper is about a problem concerning nonlinear Yamabe-type operators of negative admissible metrics. We first give a result onσkYamabe problem of negative admissible metrics by virtue of the degree theory in nonlinear functional analysis and the maximum principle and then establish an existence and uniqueness theorem for the solutions to the problem.


2017 ◽  
Vol 2 (1) ◽  
pp. 249-258 ◽  
Author(s):  
Luis Maire

AbstractWe extend Theorem 1.1 of [J. Math. Anal. Appl. 435 (2016), 1738-1752] to show the uniqueness of large solutions for the system of (1) in star-shaped domains. This result is due to the maximum principle for cooperative systems of [J. López-Gómez and M. Molina-Meyer, Diff. Int. Eq. 7 (1994), 383-398], which allows us to establish the uniqueness without invoking to the blow-up rates of the solutions.


2020 ◽  
Vol 10 (1) ◽  
pp. 895-921
Author(s):  
Daniele Cassani ◽  
Luca Vilasi ◽  
Youjun Wang

Abstract In this paper we study a class of one-parameter family of elliptic equations which combines local and nonlocal operators, namely the Laplacian and the fractional Laplacian. We analyze spectral properties, establish the validity of the maximum principle, prove existence, nonexistence, symmetry and regularity results for weak solutions. The asymptotic behavior of weak solutions as the coupling parameter vanishes (which turns the problem into a purely nonlocal one) or goes to infinity (reducing the problem to the classical semilinear Laplace equation) is also investigated.


Mathematics ◽  
2021 ◽  
Vol 9 (4) ◽  
pp. 405
Author(s):  
Alexander Yeliseev ◽  
Tatiana Ratnikova ◽  
Daria Shaposhnikova

The aim of this study is to develop a regularization method for boundary value problems for a parabolic equation. A singularly perturbed boundary value problem on the semiaxis is considered in the case of a “simple” rational turning point. To prove the asymptotic convergence of the series, the maximum principle is used.


1986 ◽  
Vol 108 (4) ◽  
pp. 330-339 ◽  
Author(s):  
M. A. Townsend ◽  
D. B. Cherchas ◽  
A. Abdelmessih

This study considers the optimal control of dry bulb temperature and moisture content in a single zone, to be accomplished in such a way as to be implementable in any zone of a multi-zone system. Optimality is determined in terms of appropriate cost and performance functions and subject to practical limits using the maximum principle. Several candidate optimal control strategies are investigated. It is shown that a bang-bang switching control which is theoretically periodic is a least cost practical control. In addition, specific attributes of this class of problem are explored.


2008 ◽  
Vol 18 (04) ◽  
pp. 511-541 ◽  
Author(s):  
WENLIANG GAO ◽  
CHANGJIANG ZHU

In this paper, we consider the asymptotic decay rate towards the planar rarefaction waves to the Cauchy problem for a hyperbolic–elliptic coupled system called as a model system of the radiating gas in two dimensions. The analysis based on the standard L2-energy method, L1-estimate and the monotonicity of profile obtained by the maximum principle.


Sign in / Sign up

Export Citation Format

Share Document