Search results for "Modeling and simulation"
showing 10 items of 1561 documents
Global functorial hypergestures over general skeleta for musical performance
2016
Musical performance theory using Lagrangian formalism, inspired by physical string theory, has been described in previous research. That approach was restricted to zero-addressed hypergestures of local character, and also to digraph skeleta of simple arrow type. In this article, we extend the theory to hypergestures that are defined functorially over general topological categories as addresses, are global, and are also defined for general skeleta. We also prove several versions of the important Escher Theorem for this general setup. This extension is highly motivated by theoretical and practical musical performance requirements of which we give concrete examples.
Characteristic numbers of non‐autonomous emden‐fowler type equations
2006
We consider the Emden‐Fowler equation x” = ‐q(t)|x|2εx, ε > 0, in the interval [a,b]. The coefficient q(t) is a positive valued continuous function. The Nehari characteristic number An associated with the Emden‐Fowler equation coincides with a minimal value of the functional [] over all solutions of the boundary value problem x” = ‐q(t)|x|2εx, x(a) = x(b) = 0, x(t) has exactly (n ‐ 1) zeros in (a, b). The respective solution is called the Nehari solution. We construct an example which shows that the Nehari extremal problem may have more than one solution. First Published Online: 14 Oct 2010
Unique continuation property and Poincar�� inequality for higher order fractional Laplacians with applications in inverse problems
2020
We prove a unique continuation property for the fractional Laplacian $(-\Delta)^s$ when $s \in (-n/2,\infty)\setminus \mathbb{Z}$. In addition, we study Poincar\'e-type inequalities for the operator $(-\Delta)^s$ when $s\geq 0$. We apply the results to show that one can uniquely recover, up to a gauge, electric and magnetic potentials from the Dirichlet-to-Neumann map associated to the higher order fractional magnetic Schr\"odinger equation. We also study the higher order fractional Schr\"odinger equation with singular electric potential. In both cases, we obtain a Runge approximation property for the equation. Furthermore, we prove a uniqueness result for a partial data problem of the $d$-…
Superconductive and insulating inclusions for linear and non-linear conductivity equations
2015
We detect an inclusion with infinite conductivity from boundary measurements represented by the Dirichlet-to-Neumann map for the conductivity equation. We use both the enclosure method and the probe method. We use the enclosure method to prove partial results when the underlying equation is the quasilinear $p$-Laplace equation. Further, we rigorously treat the forward problem for the partial differential equation $\operatorname{div}(\sigma\lvert\nabla u\rvert^{p-2}\nabla u)=0$ where the measurable conductivity $\sigma\colon\Omega\to[0,\infty]$ is zero or infinity in large sets and $1<p<\infty$.
Singularities of rational Bézier curves
2001
We prove that if an nth degree rational Bezier curve has a singular point, then it belongs to the two (n − 1)th degree rational Bezier curves defined in the (n − 1)th step of the de Casteljau algorithm. Moreover, both curves are tangent at the singular point. A procedure to construct Bezier curves with singularities of any order is given. 2001 Elsevier Science B.V. All rights reserved.
OBSTACLE PROBLEMS FOR DEGENERATE ELLIPTIC EQUATIONS WITH NONHOMOGENEOUS NONLINEAR BOUNDARY CONDITIONS
2008
In this paper we study the questions of existence and uniqueness of solutions for equations of type - div a(x,Du) + γ(u) ∋ ϕ, posed in an open bounded subset Ω of ℝN, with nonlinear boundary conditions of the form a(x,Du) · η + β(u) ∋ ψ. The nonlinear elliptic operator div a(x,Du) modeled on the p-Laplacian operator Δp(u) = div (|Du|p-2Du), with p > 1, γ and β maximal monotone graphs in ℝ2 such that 0 ∈ γ(0) ∩ β(0), [Formula: see text] and the data ϕ ∈ L1(Ω) and ψ ∈ L1(∂ Ω). Since D(γ) ≠ ℝ, we are dealing with obstacle problems. For this kind of problems the existence of weak solution, in the usual sense, fails to be true for nonhomogeneous boundary conditions, so a new concept of solut…
Remark on integrable Hamiltonian systems
1980
An extension ton degrees of freedom of the fact is established that forn=1 the time and the energy constant are canonically conjugate variables. This extension is useful in some cases to get action-angle variables from the general solution of a given integrable Hamiltonian system. As an example the Delaunay variables are proved to be canonical.
Qualitative analysis of matrix splitting methods
2001
Abstract Qualitative properties of matrix splitting methods for linear systems with tridiagonal and block tridiagonal Stieltjes-Toeplitz matrices are studied. Two particular splittings, the so-called symmetric tridiagonal splittings and the bidiagonal splittings, are considered, and conditions for qualitative properties like nonnegativity and shape preservation are shown for them. Special attention is paid to their close relation to the well-known splitting techniques like regular and weak regular splitting methods. Extensions to block tridiagonal matrices are given, and their relation to algebraic representations of domain decomposition methods is discussed. The paper is concluded with ill…
An isoperimetric type problem for primitive Pythagorean hodograph curves
2012
An isoperimetric type problem for primitive Pythagorean hodograph curves is studied. We show how to compute, for each possible degree, the Pythagorean hodograph curve of a given perimeter enclosing the greatest area. We also discuss the existence and construction of smooth solutions, obtaining a relationship with an interesting sequence of Appell polynomials.
Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.
2014
This short paper just considers the possibility of a new view for posing and proving the Aristotle’s Principles of Non-Contradiction and Excluded-Middle. It is done by means of their refutability, or deducibility, respectively, under Tarski’s Consequence Operators.