Search results for "Mathematical proof"

Congruence-based proofs of the recognizability theorems for free many-sorted algebras

2020

Abstract We generalize several recognizability theorems for free single-sorted algebras to free many-sorted algebras and provide, in a uniform way and without using either regular tree grammars or tree automata, purely algebraic proofs of them based on congruences.

Hitchhiker's guide to the fractional Sobolev spaces

2012

AbstractThis paper deals with the fractional Sobolev spaces Ws,p. We analyze the relations among some of their possible definitions and their role in the trace theory. We prove continuous and compact embeddings, investigating the problem of the extension domains and other regularity results.Most of the results we present here are probably well known to the experts, but we believe that our proofs are original and we do not make use of any interpolation techniques nor pass through the theory of Besov spaces. We also present some counterexamples in non-Lipschitz domains.

Maximal regularity via reverse Hölder inequalities for elliptic systems of n-Laplace type involving measures

2008

In this note, we consider the regularity of solutions of the nonlinear elliptic systems of n-Laplacian type involving measures, and prove that the gradients of the solutions are in the weak Lebesgue space Ln,∞. We also obtain the a priori global and local estimates for the Ln,∞-norm of the gradients of the solutions without using BMO-estimates. The proofs are based on a new lemma on the higher integrability of functions.

Entropy, Lyapunov exponents, and rigidity of group actions

2018

This text is an expanded series of lecture notes based on a 5-hour course given at the workshop entitled "Workshop for young researchers: Groups acting on manifolds" held in Teres\'opolis, Brazil in June 2016. The course introduced a number of classical tools in smooth ergodic theory -- particularly Lyapunov exponents and metric entropy -- as tools to study rigidity properties of group actions on manifolds. We do not present comprehensive treatment of group actions or general rigidity programs. Rather, we focus on two rigidity results in higher-rank dynamics: the measure rigidity theorem for affine Anosov abelian actions on tori due to A. Katok and R. Spatzier [Ergodic Theory Dynam. Systems…

Rectifiability of RCD(K,N) spaces via δ-splitting maps

2021

In this note we give simplified proofs of rectifiability of RCD(K,N) spaces as metric measure spaces and lower semicontinuity of the essential dimension, via -splitting maps. The arguments are inspired by the Cheeger-Colding theory for Ricci limits and rely on the second order differential calculus developed by Gigli and on the convergence and stability results by Ambrosio-Honda. peerReviewed

Existence of a unique solution for a third-order boundary value problem with nonlocal conditions of integral type

2021

The existence of a unique solution for a third-order boundary value problem with integral condition is proved in several ways. The main tools in the proofs are the Banach fixed point theorem and the Rus’s fixed point theorem. To compare the applicability of the obtained results, some examples are considered.

Razonamientos no rigurosos y demostraciones asistidas por ordenador

2007

RESUMENPresentamos la contribución de Th. Tymoczko a la filosofía de la matemática y analizamos y evaluamos las demostraciones asistidas por ordenador y los razonamientos no rigurosos en la matemática experimental, con particular referencia al Teorema de los Cuatro Colores.PALABRAS CLAVETYMOCZKO – CUASI-EMPIRISMO – MATEMÁTICA EXPERIMENTAL – RAZONAMIENTO NO RIGUROSO – DEMOSTRACIONES ASISTIDAS POR ORDENADORABSTRACTWe present Th. Tymoczko’s contribution to the philosophy of mathematics, and we analyze and evaluate the computer-assisted proofs and the non-rigorous reasonings in the experimental mathematics, particularly in reference to the Four-Colour Theorem.KEYWORDTYMOCZKO – QUASI-EMPIRICISM …

Heuristics and Memory Strategies Used by Mathematicians

1996

The study of the cognitive processes involved in learning and acquisition of technically complex material is a main focus of interest for basic and applied research. Our research program tries to identh memory aids and heuristic training strategies useful for improving mathematics performance. Part of the effectiveness of a course, designed by taking into account knowledge about the cognitive system, has to do with the development of an adequate relationship with the belief system of the learner. As a first step in that direction, we present a survey of the opinions of a group of mathematicians about the dd€iculty of their subjecr matter, the strategies they use spontaneously to overcome di…

Science and logic

2009

Multiple Canard Cycles in Generalized Liénard Equations

2001

AbstractThe paper treats multiple limit cycle bifurcations in singular perturbation problems of planar vector fields. The results deal with any number of parameters. Proofs are based on the techniques introduced in “Canard Cycles and Center Manifolds” (F. Dumortier and R. Roussarie, 1996, Mem. Amer. Math. Soc., 121). The presentation is limited to generalized Liénard equations εx+α(x, c)x+β(x, c)=0.