57,249 research outputs found
Mechanisms in Dynamically Complex Systems
In recent debates mechanisms are often discussed in the context of âcomplex systemsâ which are understood as having a complicated compositional structure. I want to draw the attention to another, radically different kind of complex system, in fact one that many scientists regard as the only genuine kind of complex system. Instead of being compositionally complex these systems rather exhibit highly non-trivial dynamical patterns on the basis of structurally simple arrangements of large numbers of non-linearly interacting constituents. The characteristic dynamical patterns in what I call âdynamically complex systemsâ arise from the interaction of the systemâs parts largely irrespective of many properties of these parts. Dynamically complex systems can exhibit surprising statistical characteristics, the robustness of which calls for an explanation in terms of underlying generating mechanisms. However, I want to argue, dynamically complex systems are not sufficiently covered by the available conceptions of mechanisms. I will explore how the notion of a mechanism has to be modified to accommodate this case. Moreover, I will show under which conditions the widespread, if not inflationary talk about mechanisms in (dynamically) complex systems stretches the notion of mechanisms beyond its reasonable limits and is no longer legitimate
Parameter identification in a semilinear hyperbolic system
We consider the identification of a nonlinear friction law in a
one-dimensional damped wave equation from additional boundary measurements.
Well-posedness of the governing semilinear hyperbolic system is established via
semigroup theory and contraction arguments. We then investigte the inverse
problem of recovering the unknown nonlinear damping law from additional
boundary measurements of the pressure drop along the pipe. This coefficient
inverse problem is shown to be ill-posed and a variational regularization
method is considered for its stable solution. We prove existence of minimizers
for the Tikhonov functional and discuss the convergence of the regularized
solutions under an approximate source condition. The meaning of this condition
and some arguments for its validity are discussed in detail and numerical
results are presented for illustration of the theoretical findings
On the uniqueness of nonlinear diffusion coefficients in the presence of lower order terms
We consider the identification of nonlinear diffusion coefficients of the
form or in quasi-linear parabolic and elliptic equations.
Uniqueness for this inverse problem is established under very general
assumptions using partial knowledge of the Dirichlet-to-Neumann map. The proof
of our main result relies on the construction of a series of appropriate
Dirichlet data and test functions with a particular singular behavior at the
boundary. This allows us to localize the analysis and to separate the principal
part of the equation from the remaining terms. We therefore do not require
specific knowledge of lower order terms or initial data which allows to apply
our results to a variety of applications. This is illustrated by discussing
some typical examples in detail
Towards the Formalization of Fractional Calculus in Higher-Order Logic
Fractional calculus is a generalization of classical theories of integration
and differentiation to arbitrary order (i.e., real or complex numbers). In the
last two decades, this new mathematical modeling approach has been widely used
to analyze a wide class of physical systems in various fields of science and
engineering. In this paper, we describe an ongoing project which aims at
formalizing the basic theories of fractional calculus in the HOL Light theorem
prover. Mainly, we present the motivation and application of such formalization
efforts, a roadmap to achieve our goals, current status of the project and
future milestones.Comment: 9 page
- âŠ