Proof Of Existence Research Articles

Language is a “quite useless” tool: A rejoinder to Fedorenko, Piantadosi, and Gibson’s “Language is primarily a tool for communication rather than thought”

Contrary to the prevailing assumption that language is “primarily a tool for communication rather than thought”, I argue that language is, to invoke Oscar Wilde, “quite useless”. Arguing from aesthetic philosophy and the minimalist program for linguistic theory, I conject that language, like art, is not “for” anything—it simply is, conforming to aesthetic rather than utilitarian principles. Of course, like art, language can be a powerful instrument of communication, but its function is not that of expressing thought; it creates thoughts, “primarily” for communicating with oneself, engaging in Popperian critical rationalism, making thoughts (e.g., sentences, constructive proofs) to match Platonic objects (e.g., propositions, classical proofs).

The Mean Value Theorem and It’s Application

The Mean Value Theorem (MVT) is the central theorem of differential Calculus. It’s the major tool to research on function, also bridging the gap between function and derivative. There are lot of researchers focus on it from ancient times until now. This article introduces details about two mean theorems include the Rolle’s Theorem and Lagrange Theorem. This paper uses the sample question and refutation to explain the conditions of the theorems, thus addressing the questions that many students will ask when learning definitions of these theorems. The article later examines the application of the MVT. The proof of the unique existence of roots and the inequality is included. The Mean Value Theorem reveals the link between the macroscopic, overall properties for a function on an interval and the microscopic, localized properties of the function at a point. The significance of the application for the mean value theorem is profound, not only promoting the development of mathematical analysis theory, but also playing an important role in multiple fields

Extracting efficient exact real number computation from proofs in constructive type theory

Abstract Exact real computation is an alternative to floating-point arithmetic where operations on real numbers are performed exactly, without the introduction of rounding errors. When proving the correctness of an implementation, one can focus solely on the mathematical properties of the problem without thinking about the subtleties of representing real numbers. We propose a new axiomatization of the real numbers in a dependent type theory with the goal of extracting certified exact real computation programs from constructive proofs. Our formalization differs from similar approaches, in that we formalize the reals in a conceptually similar way as some mature implementations of exact real computation. Primitive operations on reals can be extracted directly to the corresponding operations in such an implementation, producing more efficient programs. We particularly focus on the formalization of partial and nondeterministic computation, which is essential in exact real computation. We prove the soundness of our formalization with regards to the standard realizability interpretation from computable analysis and show how to relate our theory to a classical formalization of the reals. We demonstrate the feasibility of our theory by implementing it in the Coq proof assistant and present several natural examples. From the examples we have automatically extracted Haskell programs that use the exact real computation framework AERN for efficiently performing exact operations on real numbers. In experiments, the extracted programs behave similarly to native implementations in AERN in terms of running time and memory usage.

Noncompact self-shrinkers for mean curvature flow with arbitrary genus

Abstract In his lecture notes on mean curvature flow, Ilmanen conjectured the existence of noncompact self-shrinkers with arbitrary genus. Here, we employ min-max techniques to give a rigorous existence proof for these surfaces. Conjecturally, the self-shrinkers that we obtain have precisely one (asymptotically conical) end. We confirm this for large genus via a precise analysis of the limiting object of sequences of such self-shrinkers for which the genus tends to infinity. Finally, we provide numerical evidence for a further family of noncompact self-shrinkers with odd genus and two asymptotically conical ends.

On Existence Proofs, Mathematical Norms, and Professional Obligations

On Existence Proofs, Mathematical Norms, and Professional Obligations

SOME APPLICATIONS OF WEYL CALCULUS TO BURCHNALL-CHAUNDY THEORY, III

We show how Weyl calculus can be applied to the following problem. Suppose that are differential operators with polynomial coefficients and they commute. Then there is a polynomial such that . We use Weyl calculus, but Kohn-Nirenberg calculus also can be used. In this paper, we give the proof of existence of in general case, prove that the ideal of all such is the principal ideal, and give an algorithm for finding generator of in some particular cases.

Partitioning the projective plane into two incidence‐rich parts

AbstractAn internal or friendly partition of a vertex set of a graph is a partition to two nonempty sets such that every vertex has at least as many neighbours in its own class as in the other one. Motivated by Diwan's existence proof on internal partitions of graphs with high girth, we give constructive proofs for the existence of internal partitions in the incidence graph of projective planes and discuss its geometric properties. In addition, we determine exactly the maximum possible difference between the sizes of the neighbour set in its own class and the neighbour set of the other class that can be attained for all vertices at the same time for the incidence graphs of Desarguesian planes of square order.

Analysis of Caputo fractional variable order multi-point initial value problems: existence, uniqueness, and stability

In this paper, we examine the existence, uniqueness, and stability of solutions for a Caputo variable order ϑ-initial value problem (ϑ-IVP) with multi-point initial conditions. The proofs for uniqueness and existence leverage Sadovski’s and Banach’s fixed point theorems, along with the Kuratowski measure of noncompactness. Furthermore, we explore the Ulam–Hyers–Rassias (UHR) stability of the solution. To validate our findings, we present a numerical example.

Numerical simulation of an effective transform mechanism with convergence analysis of the fractional diffusion-wave equations

In the current study, we solve two very important mathematical models, such as the time fractional-order space-fractional telegraph and diffusion-wave equations using a reliable technique called the Adomian decomposition natural method (ADNM), which combines Adomian decomposition and natural transform. The diffusion wave equation describes the flood wave propagation, which is used in solving overland and open channel flow problems. For this reason, it is critical to fully understand and effectively solve the diffusion wave equations. Because telegraph equations are crucial for modeling and developing voltage or frequency transmission, they are widely used in physics and engineering. Furthermore, the designing process is greatly impacted by the uncertainty in the system parameters. For nonlinear ordinary differential equations based on the theorem of Banach fixed point, we provide existence and uniqueness theorem proofs. The present approach has been successfully used to explore exact solutions for time fractional-order and space fractional-order applications. The results show how effective and valuable the ADNM. This paper presents a methodology that will be used in future work to address similar nonlinear problems related to fractional calculus.

Invariant idempotent ⁎-measures generated by iterated function systems

It is known that every continuous t-norm ⁎ generates a functor of the so-called ⁎-measures in the category of compact Hausdorff spaces. Similarly to the case of the hyperspace functor and the probability measure functors one can define the notion of invariant ⁎-measure for iterated function systems of contractions on compact metric spaces.We provide a simple proof of existence and uniqueness of invariant ⁎-measures. Some examples of invariant ⁎-measures, for different t-norms ⁎, are presented.

An Alternate Form of Merino-Mǐcka-Mütze’s Solution to a Knuth’s Combinatorial Generation Problem

A modification of Merino-Mǐcka-Mütze’s solution to a combinatorial generation problem of Knuth is proposed in this survey. The resulting alternate form to such solution is compatible with a reinterpretation by the author of a proof of existence of Hamilton cycles in the middle-levels graphs. Such reinterpretation is given in terms of a dihedral quotient graph associated to each middle-levels graph. The vertices of such quotient graph represent Dyck words and their associated ordered trees. Those Dyck words are linearly ordered via a rooted tree that covers all their tight, or irreducible, forms, offering an universal reference point of view to express and integrate the periodic paths, or blocks, whose concatenation leads to Hamilton cycles resulting from the said solution.

Super Metric Space and Fixed Point Results

Banach contraction principle is the beginning of the Metric fixed point theory. This principle gives existence and uniqueness of fixed points and methods for obtaining approximate fixed points. It is the basic tool of finding fixed points of all contraction type maps. It has a constructive proof which makes the theorem worthy because it yields an algorithm for computing a fixed point. Banach fixed point result has been extended by various authors in many directions either by weakening the conditions of contraction mapping or by changing the abstract structure. Several generalizations and extensions of metric spaces have been introduced. Among these, the prominent extensions are b-metric space, fuzzy metric space, partial metric space and a lot more of their combinations. In particular, a new structure namely Super metric space is introduced. In the present paper, we generalize and extend the fixed point results of fixed point theory in literature in the framework of super metric space.

Radiation of the energy-critical wave equation with compact support

We prove exterior energy lower bounds for (nonradial) solutions to the energy-critical nonlinear wave equation in space dimensions 3≤d≤5, with compactly supported initial data. In particular, it is shown that nontrivial global solutions with compact spatial support must be radiative in a sharp sense. In space dimensions 3 and 4, a nontrivial soliton background is also considered. As an application, we obtain partial results on the rigidity conjecture concerning solutions with the compactness property, including a new proof for the global existence of such solutions.

Construction Theorems and Constructive Proofs in Geometry

Construction Theorems and Constructive Proofs in Geometry

Elastic Localization With Particular Reference to Tape-Springs

Abstract Many elastic systems localize under applied displacement, precipitating into regions of lower and higher strain; further displacement is accommodated by growth of the high strain region at a constant load. Such systems can be studied as propagating instabilities, focusing on the work required to propagate the high strain region, or as two-phase energy minimization problems. It is shown that the Maxwell “equal-areas” construction, and the related common tangent construction, provide the solution to either approach. A new, graphical, proof of the Maxwell equal-areas construction using total strain energy diagrams is presented. Tape-springs are investigated as a case study, with localization presenting as the formation of elastic folds—developable regions with high curvature. One notable property of tape-spring folds is that the fold radius is approximately equal to the initial transverse radius. This result was first proven by Rimrott, and later improved by Calladine and Seffen. A further improvement is obtained here by application of the common tangent construction, and all solutions are shown to be approximations to the Maxwell equal-areas construction in the limit of zero thickness.

Self-organization in computation and chemistry: Return to AlChemy.

How do complex adaptive systems, such as life, emerge from simple constituent parts? In the 1990s, Walter Fontana and Leo Buss proposed a novel modeling approach to this question, based on a formal model of computation known as the λ calculus. The model demonstrated how simple rules, embedded in a combinatorially large space of possibilities, could yield complex, dynamically stable organizations, reminiscent of biochemical reaction networks. Here, we revisit this classic model, called AlChemy, which has been understudied over the past 30 years. We reproduce the original results and study the robustness of those results using the greater computing resources available today. Our analysis reveals several unanticipated features of the system, demonstrating a surprising mix of dynamical robustness and fragility. Specifically, we find that complex, stable organizations emerge more frequently than previously expected, that these organizations are robust against collapse into trivial fixed points, but that these stable organizations cannot be easily combined into higher order entities. We also study the role played by the random generators used in the model, characterizing the initial distribution of objects produced by two random expression generators, and their consequences on the results. Finally, we provide a constructive proof that shows how an extension of the model, based on the typed λ calculus, could simulate transitions between arbitrary states in any possible chemical reaction network, thus indicating a concrete connection between AlChemy and chemical reaction networks. We conclude with a discussion of possible applications of AlChemy to self-organization in modern programming languages and quantitative approaches to the origin of life.

Weighted Hardy factorizations in terms of Multilinear Calderón-Zygmund and fractional integral operators

The foundational paper of Coifman-Rochberg-Weiss provided a constructive proof of the weak factorizations of the classical Hardy space in terms of Riesz transforms. In this paper, we establish the factorization theorems for the weighted Hardy spaces. The results are also extended to the multilinear setting. Furthermore, we show that the weighted BMO space and weighted Lipschitz spaces are necessary for the weighted boundedness of commutators of the multilinear Calderón-Zygmund and fractional integral operators, respectively.

D-algebraic functions

Differentially-algebraic (D-algebraic) functions are solutions of polynomial equations in the function, its derivatives, and the independent variables. We revisit closure properties of these functions by providing constructive proofs. We present algorithms to compute algebraic differential equations for compositions and arithmetic manipulations of univariate D-algebraic functions and derive bounds for the order of the resulting differential equations. We apply our methods to examples in the sciences.

Stability of fronts in the diffusive Rosenzweig–MacArthur model

AbstractWe consider a diffusive Rosenzweig–MacArthur predator–prey model in the situation when the prey diffuses at a rate much smaller than that of the predator. In a certain parameter regime, the existence of fronts in the system is known: the underlying dynamical system in a singular limit is reduced to a scalar Fisher–KPP (Kolmogorov–Petrovski–Piskunov) equation and the fronts supported by the full system are small perturbations of the Fisher–KPP fronts. The existence proof is based on the application of the Geometric Singular Perturbation Theory with respect to two small parameters. This paper is focused on the stability of the fronts. We show that, for some parameter regime, the fronts are spectrally and asymptotically stable using energy estimates, exponential dichotomies, the Evans function calculation, and a technique that involves constructing unstable augmented bundles. The energy estimates provide bounds on the unstable spectrum which depend on the small parameters of the system; the bounds are inversely proportional to these parameters. We further improve these estimates by showing that the eigenvalue problem is a small perturbation of some limiting (as the modulus of the eigenvalue parameter goes to infinity) system and that the limiting system has exponential dichotomies. Persistence of the exponential dichotomies then leads to bounds uniform in the small parameters. The main novelty of this approach is related to the fact that the limit of the eigenvalue problem is not autonomous. We then use the concept of the unstable augmented bundles and by treating these as multiscale topological structures with respect to the same two small parameters consequently as in the existence proof, we show that the stability of the fronts is also governed by the scalar Fisher–KPP equation. Furthermore, we perform numerical computations of the Evans function to explicitly identify regions in the parameter space where the fronts are spectrally stable.

Revisiting Maximum Log-Likelihood Parameter Estimation for Two-Parameter Weibull Distributions: Theory and Applications

In this article, we reexamine properties of maximum log-likelihood parameter estimation for two-parameter Weibull distributions which have been applied in many different sciences. Finding reasons for this popularity is a key question. Our main contribution is a thorough existence and uniqueness proof for a global maximizer with respect to the parameter space. We first provide existence and uniqueness of local maximizers by Schauder’s first fixed point theorem, monotony arguments and local concavity of its Hessian matrix. Thus, we can prove our main result of existence and uniqueness of a global maximizer by considering all limiting cases with respect to the parameter space. We finally strengthen our theoretical findings on four data sets. On the one hand, two synthetic data sets underline our need for our data assumptions while, on the other hand, we choose two data sets from wind engineering and reliability engineering to demonstrate usefulness in real-world applications.