35 results on '"Lax–Milgram theorem"'
Search Results
2. Adaptation of an Eddy Current Model for Characterizing Subsurface Defects in CFRP Plates Using FEM Analysis Based on Energy Functional.
- Author
-
Versaci, Mario, Laganà, Filippo, Morabito, Francesco Carlo, Palumbo, Annunziata, and Angiulli, Giovanni
- Subjects
- *
MAGNETIC flux density , *CARBON fiber-reinforced plastics , *STRAINS & stresses (Mechanics) , *ELECTRIC conductivity , *NONDESTRUCTIVE testing - Abstract
In this work, a known Eddy Current (EC) model is adapted to characterize subsurface defects in carbon fiber-reinforced polymer (CFRP) plates intended for the civil aerospace industry. The considered defects include delaminations, microcracks, porosity, fiber breakage, and the simultaneous presence of these defects. Each defect is modeled as an additive variation in the material's electrical conductivity tensor, allowing for a detailed mathematical representation of the defect's influence on the CFRP's electromagnetic behavior. The additivity of the variations in the conductivity tensor is justified by the assumption that the defects are not visible to the naked eye, implying that the material does not require non-destructive testing. The adapted EC model admits a unique and stable solution by verifying that all analytical steps are satisfied. To reconstruct 2D maps of the magnetic flux density amplitude, a FEM formulation is adopted, based on the energy functional because it ensures a stable and consistent numerical formulation given its coercivity. Moreover, the numerical approach allows precise and reliable numerical solutions, enhancing the capability to detect and quantify defects. The numerical results show that the obtained 2D maps are entirely superimposable on those highlighting the distribution of mechanical stress states known in the literature, offering a clear advantage in terms of detection costs. This approach provides an effective and economical solution for the non-destructive inspection of CFRP, ensuring accurate and timely defect diagnosis for maintaining structural integrity. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
3. Numeric Fem’s Solution for Space-Time Diffusion Partial Differential Equations with Caputo–Fabrizion and Riemann–Liouville Fractional Order’s Derivatives
- Author
-
Boutiba Malika, Baghli-Bendimerad Selma, and Fečkan Michal
- Subjects
finite element method ,partial differential equations ,new fractional derivative ,lax–milgram theorem ,numerical solution ,estimates ,26a33 ,65m12 ,65m15 ,65m60 ,Mathematics ,QA1-939 - Abstract
In this paper, we use the finite element method to solve the fractional space-time diffusion equation over finite fields. This equation is obtained from the standard diffusion equation by replacing the first temporal derivative with the new fractional derivative recently introduced by Caputo and Fabrizion and the second spatial derivative with the Riemann–Liouville fractional derivative. The existence and uniqueness of the numerical solution and the result of error estimation are given. Numerical examples are used to support the theoretical results.
- Published
- 2023
- Full Text
- View/download PDF
4. Variational methods to second-order Dirichlet boundary value problems with impulses on the half-line
- Author
-
Meriem Djibaoui and Toufik Moussaoui
- Subjects
dirichlet boundary value problem ,half-line ,lax-milgram theorem ,critical points ,impulsive differential equation ,Mathematics ,QA1-939 - Abstract
In this paper, the existence of solutions for a second-order impulsive differential equation with a parameter on the half-line is investigated. Applying Lax-Milgram Theorem, we deal with a linear Dirichlet impulsive problem, while the nonlinear case is established by using standard results of critical point theory.
- Published
- 2022
- Full Text
- View/download PDF
5. Existence and Regularity of Weak Solutions for ψ-Hilfer Fractional Boundary Value Problem.
- Author
-
Sousa, J. Vanterler da C., Pulido, M. Aurora P., and Oliveira, E. Capelas de
- Abstract
In the present paper, we investigate the existence and regularity of weak solutions for ψ -Hilfer fractional boundary value problem in C 2 α , β ; ψ and H (Hilbert space) spaces, using extension of the Lax–Milgram theorem. In this sense, to finalize the paper, we discuss the integration by parts for ψ -Riemann–Liouville fractional integral and ψ -Hilfer fractional derivative. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
6. Analytical Inversion of the Operator Matrix for the Problem of Diffraction by a Cylindrical Segment in Sobolev Spaces.
- Author
-
Eminov, S. I.
- Subjects
- *
SOBOLEV spaces , *INTEGRAL operators , *INTEGRO-differential equations , *FOURIER series , *MATRIX inversion , *EQUATIONS , *ANALYTIC spaces - Abstract
A vector problem of electromagnetic-wave diffraction by a cylinder is described by a system of two two-dimensional integro-differential equations. After expanding the unknown functions and the right-hand sides in Fourier series, the problem reduces to systems of one-dimensional equations. Analytical inversion of the principal operator of one-dimensional systems in Sobolev spaces is considered. Theorems on the boundedness and bounded invertibility of the principal operator are proved. The inverse operator is represented by series and in closed form: the elements of the inverse matrix are integral or integro-differential operators. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
7. Extensions of the Lax–Milgram theorem to Hilbert C∗-modules.
- Author
-
Eskandari, Rasoul, Frank, Michael, Manuilov, Vladimir M., and Moslehian, Mohammad Sal
- Subjects
HILBERT modules - Abstract
We present three versions of the Lax–Milgram theorem in the framework of Hilbert C ∗ -modules, two for self-dual ones over W ∗ -algebras and one for those over C ∗ -algebras of compact operators. It is remarkable that while the Riesz theorem is not valid for certain Hilbert C ∗ -modules over C ∗ -algebras of compact operators, however, the modular Lax–Milgram theorem turns out to be valid for all of them. We also give several examples to illustrate our results, in particular, we show that the main theorem is not true for Hilbert modules over arbitrary C ∗ -algebras. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
8. Mathematical analysis of hydrodynamics and tissue deformation inside an isolated solid tumor
- Author
-
Alam Meraj, Dey Bibaswan, and Raja Sekhar G.P.
- Subjects
isolated tumor ,biphasic mixture theory ,weak formulation ,inf-sup condition ,Lax-Milgram theorem ,Mechanics of engineering. Applied mechanics ,TA349-359 - Abstract
In this article, we present a biphasic mixture theory based mathematical model for the hydrodynamics of interstitial fluid motion and mechanical behavior of the solid phase inside a solid tumor. The tumor tissue considered here is an isolated deformable biological medium. The solid phase of the tumor is constituted by vasculature, tumor cells, and extracellular matrix, which are wet by a physiological extracellular fluid. Since the tumor is deformable in nature, the mass and momentum equations for both the phases are presented. The momentum equations are coupled due to the interaction (or drag) force term. These governing equations reduce to a one-way coupled system under the assumption of infinitesimal deformation of the solid phase. The well-posedness of this model is shown in the weak sense by using the inf-sup (Babuska–Brezzi) condition and Lax–Milgram theorem in 2D and 3D. Further, we discuss a one-dimensional spherical symmetry model and present some results on the stress fields and energy of the system based on 𝐿2 and Sobolev norms. We discuss the so-called phenomena of “necrosis” inside a solid tumor using the energy of the system.
- Published
- 2018
- Full Text
- View/download PDF
9. An extension of the Lax-Milgram theorem and its application to fractional differential equations
- Author
-
Nemat Nyamoradi and Mohammad Rassol Hamidi
- Subjects
Lax-Milgram theorem ,fractional differential equation ,Mathematics ,QA1-939 - Abstract
In this article, using an iterative technique, we introduce an extension of the Lax-Milgram theorem which can be used for proving the existence of solutions to boundary-value problems. Also, we apply of the obtained result to the fractional differential equation $$\displaylines{ {}_t D_T^{\alpha}{}_0 D_t^{\alpha}u(t)+u(t) =\lambda f (t, u(t)) \quad t \in (0,T),\cr u(0)=u(T)=0, }$$ where ${}_tD_T^\alpha$ and ${}_0D_t^\alpha$ are the right and left Riemann-Liouville fractional derivative of order $\frac{1}{2}< \alpha \leq 1$ respectively, $\lambda$ is a parameter and $f:[0,T]\times\mathbb{R}\to\mathbb{R}$ is a continuous function. Applying a regularity argument to this equation, we show that every weak solution is a classical solution.
- Published
- 2015
10. Poincaré inequalities for Sobolev spaces with matrix-valued weights and applications to degenerate partial differential equations.
- Author
-
Monticelli, Dario D., Payne, Kevin R., and Punzo, Fabio
- Abstract
For bounded domains Ω , we prove that the L
p -norm of a regular function with compact support is controlled by weighted Lp -norms of its gradient, where the weight belongs to a class of symmetric non-negative definite matrix-valued functions. The class of weights is defined by regularity assumptions and structural conditions on the degeneracy set , where the determinant vanishes. In particular, the weight A is assumed to have rank at least 1 when restricted to the normal bundle of the degeneracy set S. This generalization of the classical Poincaré inequality is then applied to develop a robust theory of first-order Lp -based Sobolev spaces with matrix-valued weight A. The Poincaré inequality and these Sobolev spaces are then applied to produce various results on existence, uniqueness and qualitative properties of weak solutions to boundary-value problems for degenerate elliptic , degenerate parabolic and degenerate hyperbolic partial differential equations (PDEs) of second order written in divergence form, where A is calibrated to the matrix of coefficients of the second-order spatial derivatives. The notion of weak solution is variational : the spatial states belong to the matrix-weighted Sobolev spaces with p = 2. For the degenerate elliptic PDEs, the Dirichlet problem is treated by the use of the Poincaré inequality and Lax–Milgram theorem, while the treatment of the Cauchy–Dirichlet problem for the degenerate evolution equations relies only on the Poincaré inequality and the parabolic and hyperbolic counterparts of the Lax–Milgram theorem. [ABSTRACT FROM AUTHOR]- Published
- 2019
- Full Text
- View/download PDF
11. On variational methods to non-instantaneous impulsive fractional differential equation.
- Author
-
Khaliq, Adnan and Rehman, Mujeeb ur
- Subjects
- *
FRACTIONAL differential equations , *VARIATIONAL approach (Mathematics) , *UNIQUENESS (Mathematics) , *EXISTENCE theorems , *CRITICAL point theory - Abstract
In this paper by using the variational methods for a class of impulsive differential equation of fractional order with non-instantaneous impulses, we setup sufficient conditions for the existence and uniqueness of weak solutions. The problem is reduced to an equivalent form such that the weak solutions of the problem are defined as the critical points of a functional. Main results of the present work are established by using Lax–Milgram Theorem. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
12. Variational approach to differential equations with not instantaneous impulses.
- Author
-
Bai, Liang and Nieto, Juan J.
- Subjects
- *
MATHEMATICAL equivalence , *DIRECTION field (Mathematics) , *MATHEMATICS , *DIFFERENTIAL equations - Abstract
In this note we introduce the concept of a weak solution for a linear equation with not instantaneous impulses. We use the classical Lax–Milgram Theorem to reveal the variational structure of the problem and get the existence and uniqueness of weak solutions as critical points. This will allow us in the future to deal with the corresponding nonlinear problems. [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
13. AN EXTENSION OF THE LAX-MILGRAM THEOREM AND ITS APPLICATION TO FRACTIONAL DIFFERENTIAL EQUATIONS.
- Author
-
NYAMORADI, NEMAT and RASSOL HAMIDI, MOHAMMAD
- Subjects
- *
ITERATIVE methods (Mathematics) , *BOUNDARY value problems , *FRACTIONAL differential equations , *EQUATIONS , *DERIVATIVES (Mathematics) - Abstract
In this article, using an iterative technique, we introduce an extension of the Lax-Milgram theorem which can be used for proving the existence of solutions to boundary-value problems. Also, we apply of the obtained result to the fractional differential equation tDΤα 0Dtα u(t) = u(t) + λƒ (t, u(t) t ∈ (0, Τ), u(0) = u(Τ) = 0, where tD Τα and 0Dtα are the right and left Riemann-Liouville fractional derivative of order ½ < α ≤ 1 respectively, λ is a parameter and ƒ:[0, Τ] x ℝ → ℝ is a continuous function. Applying a regularity argument to this equation, we show that every weak solution is a classical solution. [ABSTRACT FROM AUTHOR]
- Published
- 2015
14. Variational method to the second-order impulsive PDE with non-periodic boundary value problems (II).
- Author
-
Zhang, Bing, Guo, Jinting, Liu, Bo, and Li, Haichun
- Abstract
By using the critical point theory of variational method and Lax-Milgram theorem, we obtain the new results for the existence of the solution of the second-order impulsive elliptic differential equations with non-periodic boundary value problems. [ABSTRACT FROM PUBLISHER]
- Published
- 2012
15. Variational method to the second-order impulsive PDE with non-periodic boundary value problems (I).
- Author
-
Li, Haichun, Liu, Bo, and Zhao, Peiyu
- Abstract
By using the critical point theory of variational method and Lax-Milgram theorem, we obtain the new results for the existence of the solution of the second-order impulsive elliptic differential equations with non-periodic boundary value problems. [ABSTRACT FROM PUBLISHER]
- Published
- 2012
16. Galerkin schemes and inverse boundary value problems in reflexive Banach spaces.
- Author
-
Berenguer, M.I., Kunze, H., La Torre, D., and Ruiz Galán, M.
- Subjects
- *
GALERKIN methods , *INVERSE problems , *NUMERICAL analysis , *BANACH spaces , *DIMENSIONAL analysis , *BIORTHOGONAL systems - Abstract
We develop the Galerkin method for a recent version of the Lax–Milgram theorem. The generation of the corresponding finite-dimensional subspaces for concrete boundary value problems leads us to consider certain biorthogonal systems in the reflexive Banach spaces in question. In addition, we present an application to the numerical solution of inverse problems involving certain elliptic boundary value problems. [ABSTRACT FROM AUTHOR]
- Published
- 2015
- Full Text
- View/download PDF
17. Functional inequalities motivated by the Lax–Milgram theorem
- Author
-
Fechner, Włodzimierz
- Subjects
- *
MATHEMATICAL inequalities , *MODIFICATIONS , *PRESUPPOSITION (Logic) , *GENERALIZATION , *LINEAR statistical models , *MATHEMATICAL analysis - Abstract
Abstract: By adopting some ideas of the theory of functional inequalities we obtain a modification of the Lax–Milgram theorem. We drop linearity assumptions by assuming that respective inequalities hold true and we impose only a mild regularity assumption. Moreover, we do not assume the coercivity, however, as a consequence, our assertions are adequately weaker. One of our tools is a selection theorem for multifunctions. [Copyright &y& Elsevier]
- Published
- 2013
- Full Text
- View/download PDF
18. Variational method to the second-order impulsive partial differential equations with inconstant coefficients (I).
- Author
-
Li, Haichun
- Abstract
Abstract: In the paper, we consider the existence of the solution of the second-order impulsive differential equations with inconstant coefficients. We change the second-order impulsive partial differential equation into the equivalent equation by transformation. By using the critical point theory of variational method and Lax-Milgram theorem, we obtain new results for the existence of the solution of the impulsive partial differential equations. [Copyright &y& Elsevier]
- Published
- 2011
- Full Text
- View/download PDF
19. Mathematical analysis of hydrodynamics and tissue deformation inside an isolated solid tumor
- Author
-
Bibaswan Dey, G P Sekhar Raja, and Meraj Alam
- Subjects
weak formulation ,Quantitative Biology::Tissues and Organs ,Computational Mechanics ,isolated tumor ,Lax-Milgram theorem ,Weak formulation ,01 natural sciences ,Quantitative Biology::Cell Behavior ,Mixture theory ,Stress (mechanics) ,Momentum ,Phase (matter) ,biphasic mixture theory ,inf-sup condition ,0101 mathematics ,Physics ,Applied Mathematics ,Mechanical Engineering ,010102 general mathematics ,Mechanics ,010101 applied mathematics ,Sobolev space ,Drag ,Circular symmetry ,lcsh:Mechanics of engineering. Applied mechanics ,lcsh:TA349-359 - Abstract
In this article, we present a biphasic mixture theory based mathematical model for the hydrodynamics of interstitial fluid motion and mechanical behavior of the solid phase inside a solid tumor. The tumor tissue considered here is an isolated deformable biological medium. The solid phase of the tumor is constituted by vasculature, tumor cells, and extracellular matrix, which are wet by a physiological extracellular fluid. Since the tumor is deformable in nature, the mass and momentum equations for both the phases are presented. The momentum equations are coupled due to the interaction (or drag) force term. These governing equations reduce to a one-way coupled system under the assumption of infinitesimal deformation of the solid phase. The well-posedness of this model is shown in the weak sense by using the inf-sup (Babuska?Brezzi) condition and Lax?Milgram theorem in 2D and 3D. Further, we discuss a one-dimensional spherical symmetry model and present some results on the stress fields and energy of the system based on ??2 and Sobolev norms. We discuss the so-called phenomena of ?necrosis? inside a solid tumor using the energy of the system.
- Published
- 2018
- Full Text
- View/download PDF
20. Variational equations with constraints
- Author
-
Ruiz Galán, Manuel
- Subjects
- *
VARIATIONAL principles , *CONSTRAINED optimization , *ELLIPTIC functions , *BOUNDARY value problems , *BANACH spaces , *EXISTENCE theorems - Abstract
Abstract: In this work we deal with a constrained variational equation associated with the usual weak formulation of an elliptic boundary value problem in the context of Banach spaces, which generalizes the classical results of existence and uniqueness. Furthermore, we give a precise estimation of the norm of the solution. [Copyright &y& Elsevier]
- Published
- 2010
- Full Text
- View/download PDF
21. Existence and multiplicity of solutions for some Dirichlet problems with impulsive effects
- Author
-
Zhou, Jianwen and Li, Yongkun
- Subjects
- *
EXISTENCE theorems , *MULTIPLICITY (Mathematics) , *NUMERICAL solutions to the Dirichlet problem , *NUMERICAL solutions to partial differential equations , *CRITICAL point theory , *IMPULSIVE differential equations - Abstract
Abstract: In this paper, we consider the existence and multiplicity of solutions for some Dirichlet impulsive problems and some existence and multiplicity results are obtained. The solutions are sought by means of Lax–Milgram theorem and some critical theorems. [Copyright &y& Elsevier]
- Published
- 2009
- Full Text
- View/download PDF
22. Variational approach to impulsive differential equations
- Author
-
Nieto, Juan J. and O’Regan, Donal
- Subjects
- *
VARIATIONAL principles , *DIFFERENTIAL equations , *DIRICHLET problem , *CRITICAL point theory , *NONLINEAR boundary value problems , *MOUNTAIN pass theorem - Abstract
Abstract: Many dynamical systems have an impulsive dynamical behavior due to abrupt changes at certain instants during the evolution process. The mathematical description of these phenomena leads to impulsive differential equations. In this work we present a new approach via variational methods and critical point theory to obtain the existence of solutions to impulsive problems. We consider a linear Dirichlet problem and the solutions are found as critical points of a functional. We also study the nonlinear Dirichlet impulsive problem. [Copyright &y& Elsevier]
- Published
- 2009
- Full Text
- View/download PDF
23. Projection theorem for Banach and locally convex spaces.
- Author
-
Semenov, V.
- Subjects
- *
LOCALLY convex spaces , *LINEAR operators , *BILINEAR forms , *BANACH spaces , *ISOMORPHISM (Mathematics) , *SCHAUDER bases , *VECTOR topology , *NUMERICAL solutions to partial differential equations , *CONTROL theory (Engineering) - Abstract
The problem of representing linear functionals and linear operators using a given bilinear mapping is considered. For linear continuous functionals and linear compact operators that act in Banach and locally convex spaces, theorems on their representability using a given bilinear operator are formulated. Our results generalize the classical Lax-Milgram theorem. [ABSTRACT FROM AUTHOR]
- Published
- 2008
- Full Text
- View/download PDF
24. Nonlinear versions of Stampacchia and Lax–Milgram theorems and applications to -Laplace equations
- Author
-
Duc, Duong Minh, Loc, Nguyen Hoang, and Phi, Le Long
- Subjects
- *
PARTIAL differential equations , *NONLINEAR theories , *CALCULUS , *MATHEMATICAL analysis - Abstract
Abstract: We obtain the nonlinear versions of the Stampacchia theorem and the Lax–Milgram theorem. Our results are stronger than the classical ones even in the linear case. Applying these theorems we get nontrivial solutions of -Laplace elliptic and pseudo--Laplace problems. [Copyright &y& Elsevier]
- Published
- 2008
- Full Text
- View/download PDF
25. Variational Formulation of the Mixed Problem for an Integral-Differential Equation.
- Author
-
Martin, Olga
- Subjects
- *
FUNCTIONAL analysis , *DIFFERENTIAL equations , *BOUNDARY value problems , *CAUCHY problem , *MATHEMATICS - Abstract
Existence and uniqueness of the solution of a non-stationary transport equation subject to the boundary and the initial conditions are proved via the Hille-Yosida theory. [ABSTRACT FROM AUTHOR]
- Published
- 2007
26. Poincaré inequalities for Sobolev spaces with matrix-valued weights and applications to degenerate partial differential equations
- Author
-
Fabio Punzo, Kevin R. Payne, and Dario D. Monticelli
- Subjects
Pure mathematics ,General Mathematics ,MathematicsofComputing_NUMERICALANALYSIS ,Poincaré inequality ,parabolic and hyperbolic equations ,01 natural sciences ,010305 fluids & plasmas ,symbols.namesake ,0103 physical sciences ,degenerate elliptic equations ,Mathematics (all) ,Uniqueness ,010306 general physics ,Mathematics ,Dirichlet problem ,Partial differential equation ,Computer Science::Information Retrieval ,Weak solution ,Degenerate energy levels ,Poincaré inequalities ,Lax–Milgram theorem ,Sobolev space ,matrix-valued weights ,Sobolev spaces ,Bounded function ,symbols - Abstract
For bounded domains Ω, we prove that the Lp-norm of a regular function with compact support is controlled by weighted Lp-norms of its gradient, where the weight belongs to a class of symmetric non-negative definite matrix-valued functions. The class of weights is defined by regularity assumptions and structural conditions on the degeneracy set, where the determinant vanishes. In particular, the weight A is assumed to have rank at least 1 when restricted to the normal bundle of the degeneracy set S. This generalization of the classical Poincaré inequality is then applied to develop a robust theory of first-order Lp-based Sobolev spaces with matrix-valued weight A. The Poincaré inequality and these Sobolev spaces are then applied to produce various results on existence, uniqueness and qualitative properties of weak solutions to boundary-value problems for degenerate elliptic, degenerate parabolic and degenerate hyperbolic partial differential equations (PDEs) of second order written in divergence form, where A is calibrated to the matrix of coefficients of the second-order spatial derivatives. The notion of weak solution is variational: the spatial states belong to the matrix-weighted Sobolev spaces with p = 2. For the degenerate elliptic PDEs, the Dirichlet problem is treated by the use of the Poincaré inequality and Lax–Milgram theorem, while the treatment of the Cauchy–Dirichlet problem for the degenerate evolution equations relies only on the Poincaré inequality and the parabolic and hyperbolic counterparts of the Lax–Milgram theorem.
- Published
- 2019
27. Coerciveness of the linear gravimetric boundary-value problem and a geometrical interpretation.
- Author
-
Holota, P.
- Abstract
In this paper the linear gravimetric boundary-value problem is discussed in the sense of the so-called weak solution. For this purpose a Sobolev weight space was constructed for an unbounded domain representing the exterior of the Earth and quantitative estimates were deduced for the trace theorem and equivalent norms. In the generalized formulation of the problem a special decomposition of the Laplace operator was used to express the oblique derivative in the boundary condition which has to be met by the solution. The relation to the classical formulation was also shown. The main result concerns the coerciveness (ellipticity) of a bilinear form associated with the problem under consideration. The Lax-Milgram theorem was used to decide about the existence, uniqueness and stability of the weak solution of the problem. Finally, a clear geometrical interpretation was found for a constant in the coerciveness inequality, and the convergence of approximation solutions constructed by means of the Galerkin method was proved. [ABSTRACT FROM AUTHOR]
- Published
- 1997
- Full Text
- View/download PDF
28. Well-posedness and controllability of Kawahara equation in weighted Sobolev spaces.
- Author
-
Capistrano-Filho, Roberto de A. and Gomes, Milena Monique de S.
- Subjects
- *
SOBOLEV spaces , *KORTEWEG-de Vries equation , *CARLEMAN theorem , *EQUATIONS - Abstract
We consider the Kawahara equation, a fifth order Korteweg–de Vries type equation, posed on a bounded interval. The first result of the article is related to the well-posedness in weighted Sobolev spaces, which one was shown using a general version of the Lax–Milgram Theorem. With respect to the control problems, we will prove two results. First, if the control region is a neighborhood of the right endpoint, an exact controllability result in weighted Sobolev spaces is established. Lastly, we show that the Kawahara equation is controllable by regions on L 2 Sobolev space, the so-called regional controllability , that is, the state function is exact controlled on the left part of the complement of the control region and null controlled on the right part of the complement of the control region. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
29. Variational formulation of a damped Dirichlet impulsive problem
- Author
-
Nieto, Juan J.
- Subjects
- *
VARIATIONAL principles , *DAMPING (Mechanics) , *DIRICHLET problem , *CRITICAL point theory , *CONTINUOUS functions , *MATHEMATICAL analysis , *NUMERICAL solutions to linear differential equations - Abstract
Abstract: In this letter we introduce the concept of a weak solution for a damped linear equation with Dirichlet boundary conditions and impulses. We use the classical Lax–Milgram Theorem to reveal the variational structure of the problem and get the existence and uniqueness of weak solutions as critical points. This will allow us in the future to deal with the corresponding nonlinear problems and look for solutions as critical points of weakly lower semicontinuous functionals. [Copyright &y& Elsevier]
- Published
- 2010
- Full Text
- View/download PDF
30. A Coq formal proof of the Lax–Milgram theorem
- Author
-
Florian Faissole, Vincent Martin, François Clément, Sylvie Boldo, Micaela Mayero, Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Simulation for the Environment: Reliable and Efficient Numerical Algorithms (SERENA), Inria de Paris, Laboratoire de Mathématiques Appliquées de Compiègne (LMAC), Université de Technologie de Compiègne (UTC), Laboratoire d'Informatique de Paris-Nord (LIPN), Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS), Labex Digicosme, and Université Sorbonne Paris Cité (USPC)-Institut Galilée-Université Paris 13 (UP13)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Babuška–Lax–Milgram theorem ,Computer science ,finite element method ,Lax-Milgram theorem ,0102 computer and information sciences ,02 engineering and technology ,[MATH.MATH-FA]Mathematics [math]/Functional Analysis [math.FA] ,01 natural sciences ,Formal proof ,functional analysis ,symbols.namesake ,Lions–Lax–Milgram theorem ,020204 information systems ,Completeness (order theory) ,formal proof ,0202 electrical engineering, electronic engineering, information engineering ,Calculus ,Coq ,Uniqueness ,Soundness ,Hilbert space ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,010201 computation theory & mathematics ,Linear algebra ,symbols ,[MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA] - Abstract
International audience; The Finite Element Method is a widely-used method to solve numerical problems coming for instance from physics or biology. To obtain the highest confidence on the correction of numerical simulation programs implementing the Finite Element Method, one has to formalize the mathematical notions and results that allow to establish the sound-ness of the method. The Lax–Milgram theorem may be seen as one of those theoretical cornerstones: under some completeness and coercivity assumptions, it states existence and uniqueness of the solution to the weak formulation of some boundary value problems. This article presents the full formal proof of the Lax–Milgram theorem in Coq. It requires many results from linear algebra, geometry, functional analysis , and Hilbert spaces.
- Published
- 2017
- Full Text
- View/download PDF
31. Le théorème de Lax-Milgram. Une preuve détaillée en vue d'une formalisation en Coq
- Author
-
Clément, François, Martin, Vincent, Simulation for the Environment: Reliable and Efficient Numerical Algorithms (SERENA), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire de Mathématiques Appliquées de Compiègne (LMAC), Université de Technologie de Compiègne (UTC), GT ELFIC from Labex DigiCosme - Paris-Saclay, and Inria Paris
- Subjects
Méthode des éléments finis ,Formal proof in real analysis ,Finite element method ,Théorème de Lax-Milgram ,Detailed mathematical proof ,Preuve mathématique détaillée ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,Lax-Milgram theorem ,Preuve formelle en analyse réelle ,[MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA] - Abstract
To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and results that allow to establish the soundness of the method. The Lax-Milgram theorem may be seen as one of those theoretical cornerstones: under some completeness and coercivity assumptions, it states existence and uniqueness of the solution to the weak formulation of some boundary value problems. The purpose of this document is to provide the formal proof community with a very detailed pen-and-paper proof of the Lax-Milgram theorem.; Pour obtenir la plus grande confiance en la correction de programmes de simulation numérique implémentant la méthode des éléments finis, il faut formaliser les notions et résultats mathématiques qui permettent d'établir la justesse de la méthode. Le théorème de Lax-Milgram peut être vu comme l'un de ces fondements théoriques : sous des hypothèses de complétude et de coercivité, il énonce l'existence et l'unicité de la solution de certains problèmes aux limites posés sous forme faible. L'objectif de ce document est de fournir à la communauté preuve formelle une preuve papier très détaillée du théorème de Lax-Milgram.
- Published
- 2016
32. Lax-Milgram Theorem, Generalizations and Applications
- Author
-
Lampaki, Evangelia N., Γιαννακάκης, Νικόλαος, Δριβαλιάρης, Δημοσθένης, Γεώργιος Σμυρλής, Νικόλαος Γιαννακάκης, Δημοσθένης Δριβαλιάρης, and Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών & Φυσικών Επιστημών. Τομέας Μαθηματικών.
- Subjects
Lions theorem ,Πιεστικές μορφές ,Brezzi theorem ,Neumann problem ,Lax-Milgram theorem ,Ασθενείς μορφές ,Stokes problem ,Διαρμονικό πρόβλημα ,Coercive ,Πρόβλημα εμποδίου μεμβράνης ,Ελλειπτικά προβλήματα ,Babuska theorem ,Non-coercive ,Διγραμμικές μορφές ,Dirichlet problem - Abstract
Στη Μεταπτυχιακή αυτή εργασία ασχοληθήκαμε με το Θεώρημα Lax-Milgram και κάποιες βασικές γενικεύσεις και εφαρμογές αυτού. Στο πρώτο κεφάλαιο ορίζουμε την έννοια της διγραμμικής μορφής και αποδεικνύουμε το Θεώρημα Lax-Milgram. Έπειτα παραθέτουμε μια σειρά από προβλήματα Μερικών Διαφορικών Εξισώσεων Ελλειπτικού τύπου στα οποία δείχνουμε την ύπαρξη μοναδικής ασθενούς λύσης με την βοήθεια του Lax-Milgram. Συνεχίζουμε το κεφάλαιο αυτό με δύο παραγράφους αφιερομένες στην κατασκευή της λύσης του Θεωρήματος Lax-Milgram. Κλείνουμε το πρώτο κεφάλαιο με το Θεώρημα Stampacchia και δύο εφαρμογές του. Στο δεύτερο κεφάλαιο παρουσιάζουμε κάποιες από τις πιο γνωστές γενικέυσεις του Θεωρήματος Lax-Milgram, όπως τα Θεωρήματα Babuska, Babuska- Brezzi, Lions και Necas, και κάποιες αντίστοιχες εφαρμογές. Στο τελευταίο κεφάλαιο αυτής της εργασίας αποδεικνύουμε την αντιστρεψιμότητα γραμμικών τελεστών πάνω σε χώρους Hilbert ή Banach που ικανοποιούν κατάλληλες χαλαρές συνθήκες πιεστικότητας ., In this Master thesis we studied the Lax-Milgram Theorem, some basic generalizations and applications of it. In the first chapter we define the notion of bilinear form and we prove the Lax-Milgram Theorem. Next, we show the existence of weak solution to a number of examples in Partial Differential Equations of Elliptic type with the use of Lax-Milgram Theorem. We continue this chapter with two sections dedicated on construction theorems of the Lax-Milgram’s solution. We close this chapter with Stampacchia Theorem and two applications of it. In the second chapter, we study some of the most well known generalizations of Lax-Milgram Theorem, such as Babuska, Babuska- Brezzi, Necas and Lions Theorems, and corresponding applications. In the last chapter of this thesis we prove the invertibility of linear operators on Hilbert or Banach spaces who satisfy some kind of relaxed coercive properties., Ευαγγελία Ν. Λαμπάκη
- Published
- 2013
- Full Text
- View/download PDF
33. On computability of the Galerkin procedure
- Author
-
Atsushi Yoshikawa
- Subjects
65J10 ,Computable number ,General Mathematics ,Computability ,Mathematical analysis ,MathematicsofComputing_NUMERICALANALYSIS ,Hilbert space ,Lax-Milgram theorem ,Computable analysis ,Mathematics::Numerical Analysis ,Galerkin approximation ,Condensed Matter::Materials Science ,symbols.namesake ,Computable function ,computable Hilbert space ,utm theorem ,symbols ,41A65 ,Applied mathematics ,46C05 ,03D80 ,Galerkin method ,Representation (mathematics) ,Mathematics - Abstract
It is shown that the Galerkin approximation procedure is an effective representation of the solution of a computable coercive variational problem in a computable Hilbert space.
- Published
- 2007
- Full Text
- View/download PDF
34. Variational method to the second-order impulsive partial differential equations with inconstant coefficients (I)
- Author
-
Haichun Li
- Subjects
Differential equation ,Mathematical analysis ,First-order partial differential equation ,Variational method ,Partial differential equation ,Lax-Milgram theorem ,General Medicine ,Parabolic partial differential equation ,Stochastic partial differential equation ,Elliptic partial differential equation ,Impulse ,Hyperbolic partial differential equation ,Boundary value problem ,Engineering(all) ,Separable partial differential equation ,Mathematics ,Numerical partial differential equations - Abstract
In the paper, we consider the existence of the solution of the second-order impulsive differential equations with inconstant coefficients. We change the second-order impulsive partial differential equation into the equivalent equation by transformation. By using the critical point theory of variational method and Lax-Milgram theorem, we obtain new results for the existence of the solution of the impulsive partial differential equations.
- Full Text
- View/download PDF
35. Lagrange Multipliers for Functions Derivable along Directions in a Linear Subspace
- Author
-
Duc, Duong Minh
- Published
- 2005
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.