Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Publication

Cost for a controlled linear KdV equation

Joachim Krieger, Shengquan Xiang
2019
Journal Articles

Résumé

The controllability of the linearized KdV equation with right Neumann control is studied in the pioneering work of Rosier [25]. However, the proof is by contradiction arguments and the value of the observability constant remains unknown, though rich mathematical theories are built on this totally unknown constant. We introduce a constructive method that gives the quantitative value of this constant.

Source officielle

https://infoscience.epfl.ch/entities/publication/70e656b5-9776-44aa-94de-e9d20377ad28

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Joachim Krieger, Shengquan Xiang
2019
Journal Articles

Résumé

Source officielle

https://infoscience.epfl.ch/entities/publication/70e656b5-9776-44aa-94de-e9d20377ad28

À propos de ce résultat

Concepts associés (25)

Univers observable

L'Univers observable est, en cosmologie, la partie visible de notre Univers. Il est donc une boule dont la limite est située à l'horizon cosmologique et dont la Terre constitue le centre. C'est ainsi une notion relative, d'autres observateurs situés ailleurs dans l'Univers n'ont pas la même boule observable, mais une similaire de même rayon.

Contradiction

En logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles. On dit aussi que la formule est insatisfaisable, antilogique ou encore contradictoire. L’antilogie, de symbole , s’oppose à la tautologie qui est toujours vraie. La contradiction est une relation existant entre deux ou plusieurs termes ou deux ou plusieurs propositions dont l’un(e) affirme ce que l’autre nie : « A » et « non-A » sont contradictoires, les phrases « Tous les hommes sont barbus » et « Quelques hommes ne sont pas barbus » sont contradictoires.

Proof by contradiction

In logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.

Afficher plus

Publications associées (32)

Afficher plus

Cost for a controlled linear KdV equation

Graph Chatbot

Euclid preparation XXXVI. Modelling the weak lensing angular power spectrum

Euclid: Validation of the MontePython forecasting tools

CURLING - I. The influence of point-like image approximation on the outcomes of cluster strong lens modelling