arxiv: 2605.12032 · v1 · submitted 2026-05-12 · 🧮 math.OC

Recognition: 2 theorem links

· Lean Theorem

Analysis and funnel control for nonlinear drill strings

Pushya Mitra, Thavamani Govindaraj, Thomas Berger, Timo Reis

Pith reviewed 2026-05-13 04:53 UTC · model grok-4.3

classification 🧮 math.OC

keywords drill stringsfunnel controlPDE-ODE systemsmaximal monotone operatorsboundary value problemsoutput trackingnonlinear dampingwave propagation

0 comments

The pith

A funnel controller for nonlinear drill strings confines the bit velocity tracking error to a prescribed performance region by dynamically adjusting the reference signal.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes existence of solutions for a nonlinear drill string model cast as a PDE-ODE system using maximal monotone operator theory. It then designs a funnel control scheme that forces the angular velocity at the bit to track an adjusted reference while keeping the error inside a time-varying funnel. This matters because drill strings in deep drilling suffer from vibrations and stick-slip that can damage equipment, and the funnel method guarantees transient performance without precise model knowledge. The reference adjustment compensates for delays in wave propagation along the string. Simulations confirm the approach works on the distributed model.

Core claim

The authors prove solvability of the drill string dynamics by showing the evolution operator is linear skew-adjoint and the damping operator is a maximal monotone Nemytskii operator, hence their sum is maximal monotone by Rockafellar's theorem, yielding solutions in an appropriate Hilbert space. They introduce a funnel controller with a dynamic reference adjustment that responds to large travel times of torsional waves, ensuring the output tracking error remains within the funnel boundary for all time. Feasibility is shown through numerical simulations on the nonlinear model.

What carries the argument

The performance funnel combined with dynamic reference adjustment for the angular velocity output of the boundary-coupled PDE-ODE drill string model.

If this is right

Solutions to the closed-loop system exist under the stated monotonicity conditions.
The tracking error between bit angular velocity and the adjusted reference stays inside the funnel for all future time.
The reference adjustment activates automatically when wave travel times grow large enough to threaten performance.
The control law requires no exact knowledge of the nonlinear damping parameters beyond monotonicity.
The same abstract operator framework applies to other boundary-coupled nonlinear systems with similar damping.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The approach could be tested on laboratory-scale drill-string rigs by measuring whether bit-velocity error remains inside the funnel during sudden load changes.
It suggests that performance-funnel methods may transfer to other wave-dominated mechanical systems such as marine risers or long pipelines once monotonicity is verified.
In field use the guaranteed transient bounds could reduce the frequency of stick-slip events that shorten bit life.
Extensions might replace the scalar funnel with a vector-valued one to control multiple outputs like torque and axial force simultaneously.

Load-bearing premise

The distributed damping must be representable as a maximal monotone Nemytskii operator and the linear part must be skew-adjoint so that their sum remains maximal monotone.

What would settle it

A numerical counterexample where the combined operator fails to be maximal monotone, or a simulation in which the controlled error trajectory exits the prescribed funnel.

read the original abstract

We study the output tracking problem for a vertically driven drill string system described by a nonlinear boundary-coupled PDE-ODE model. Solvability analysis of the drill string model is achieved by first casting the model in an abstract boundary value problem involving set-valued operators on an appropriate Hilbert space. The governing equation here consists of evolution and the damping part. Existence of solutions is established within the framework of maximal monotone operators where one first proves that the evolution operator is a linear skew-adjoint operator and the distributed damping term is a Nemytskii relation which is then proven to be maximal monotone. Maximal monotonicity of the combined operator is then a consequence of Rockafellar's theorem. Furthermore, we propose a novel funnel control design that ensures the angular velocity of the drill bit follows a dynamically adjusted reference trajectory, while the tracking error remains confined within a pre-specified performance funnel. The reference adjustment mechanism adapts in response to large wave traveling times that may cause performance degradation. The corresponding feasibility result is illustrated by some simulations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a funnel controller with wave-time reference adjustment for drill-string velocity tracking, backed by monotone-operator existence analysis, but the Rockafellar step appears to skip the required domain qualification.

read the letter

The main takeaway is a funnel control law for the angular velocity at the bit of a nonlinear drill-string PDE-ODE system, together with a reference adjustment that reacts to large wave travel times so the tracking error stays inside a prescribed performance funnel. The design is illustrated with simulations that show the closed-loop behavior matches the claims. What is new is the specific combination of the dynamic reference mechanism inside the funnel framework for this boundary-coupled model, plus the casting of the whole thing into an abstract evolution equation whose solvability rests on maximal monotone operators. They establish that the linear evolution part is skew-adjoint, treat the distributed damping as a Nemytskii operator that is maximal monotone, and then invoke Rockafellar to conclude the sum is maximal monotone. That route to existence is a reasonable way to handle the nonlinear boundary conditions. The soft spot is exactly where the stress-test note points: Rockafellar’s theorem for the sum of two maximal monotone operators in Hilbert space also needs the qualification condition that zero lies in the interior of the difference of the domains. The abstract says maximal monotonicity “is then a consequence” without indicating that this interior condition was checked for the concrete function spaces and boundary conditions of the drill-string model. If the full paper does not supply that verification, the well-posedness result is not yet secured, and the control guarantees rest on it. The citations look standard and the engagement with the monotone-operator literature is direct. This paper is for people working on performance-oriented control of distributed systems, especially those who already know funnel methods and infinite-dimensional monotone-operator theory. A reader in that niche can extract the control design and the simulation evidence even if the existence proof needs tightening. It deserves peer review so that experts can confirm whether the domain condition holds or can be added.

Referee Report

1 major / 1 minor

Summary. The paper analyzes solvability of a nonlinear boundary-coupled PDE-ODE model for a vertically driven drill string by casting it as an abstract evolution equation involving a linear skew-adjoint evolution operator and a set-valued Nemytskii damping operator on a Hilbert space. Existence of solutions is claimed via maximal monotonicity of each part separately followed by Rockafellar's theorem for their sum. A funnel control law is then designed so that the drill-bit angular velocity tracks a dynamically adjusted reference trajectory while the tracking error stays inside a prescribed performance funnel; the reference is adapted to mitigate degradation from large wave travel times, with feasibility shown by simulations.

Significance. If the existence result is complete, the work supplies a rigorous monotone-operator foundation for well-posedness of a realistic drill-string model together with a performance-funnel controller that incorporates a practical adaptation for wave-propagation delays. This combination of abstract operator theory and output-constrained control for a distributed-parameter engineering system is of interest to the math.OC community.

major comments (1)

[Solvability analysis (existence via Rockafellar's theorem)] In the solvability analysis section, the manuscript asserts that maximal monotonicity of the combined operator 'is then a consequence of Rockafellar's theorem' after establishing that the evolution operator is linear skew-adjoint and the distributed damping is a maximal monotone Nemytskii relation. Rockafellar's theorem in Hilbert space, however, additionally requires the qualification condition 0 ∈ int(dom(A) − dom(B)) (or an equivalent relative-interior condition). No verification or discussion of this domain-intersection condition is provided for the concrete function spaces, boundary conditions, and operators of the drill-string model. Because the funnel-control design and its tracking guarantee presuppose well-posedness of the closed-loop system, this omission is load-bearing for the central claims.

minor comments (1)

[Simulations] The abstract and simulation section refer to 'some simulations' without reporting the spatial discretization method, time-stepping scheme, specific parameter values, or quantitative error metrics; this limits the reader's ability to assess the practical performance of the reference-adjustment mechanism.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for highlighting the technical detail in the solvability analysis. We address the comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Solvability analysis (existence via Rockafellar's theorem)] In the solvability analysis section, the manuscript asserts that maximal monotonicity of the combined operator 'is then a consequence of Rockafellar's theorem' after establishing that the evolution operator is linear skew-adjoint and the distributed damping is a maximal monotone Nemytskii relation. Rockafellar's theorem in Hilbert space, however, additionally requires the qualification condition 0 ∈ int(dom(A) − dom(B)) (or an equivalent relative-interior condition). No verification or discussion of this domain-intersection condition is provided for the concrete function spaces, boundary conditions, and operators of the drill-string model. Because the funnel-control design and its tracking guarantee presuppose well-posedness of the closed-loop system, this omission is load-bearing for the central claims.

Authors: We appreciate the referee drawing attention to the domain qualification condition required by Rockafellar's theorem. In our setting the distributed damping operator is realized as a Nemytskii operator generated by a maximal monotone graph on ℝ; consequently its domain is the entire underlying Hilbert space X. The linear skew-adjoint evolution operator A is densely defined on X. It follows that dom(A) − dom(B) = X, so that 0 lies in the interior of this difference. We will insert a short paragraph in the revised solvability section that explicitly records this observation, thereby completing the justification for the application of Rockafellar's theorem and confirming well-posedness of the open-loop system used in the subsequent funnel-control analysis. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation applies external operator-theoretic results

full rationale

The paper casts the drill-string model as an abstract evolution equation, proves the evolution operator is linear skew-adjoint (hence maximal monotone) and the damping term is a maximal monotone Nemytskii operator, then invokes Rockafellar's theorem for the sum to obtain existence. The funnel controller is subsequently designed on the resulting well-posed closed-loop system, with performance illustrated by simulation. No step reduces by definition to its own output, renames a fitted quantity as a prediction, or rests on a load-bearing self-citation whose content is unverified. The cited theorem is an external, independently established result in monotone operator theory; any unverified qualification condition would constitute a potential gap in application rather than circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claims rest on standard results in functional analysis and operator theory applied to the specific model, without additional free parameters or invented physical entities.

axioms (3)

domain assumption The evolution operator is a linear skew-adjoint operator on the Hilbert space.
Stated as proven for the drill string model.
domain assumption The distributed damping term is a Nemytskii relation that is maximal monotone.
Proven to enable application of Rockafellar's theorem.
standard math Rockafellar's theorem on the sum of maximal monotone operators.
Used to establish maximal monotonicity of the combined operator.

pith-pipeline@v0.9.0 · 5472 in / 1460 out tokens · 66017 ms · 2026-05-13T04:53:54.353235+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Existence of solutions is established within the framework of maximal monotone operators where one first proves that the evolution operator is a linear skew-adjoint operator and the distributed damping term is a Nemytskii relation which is then proven to be maximal monotone. Maximal monotonicity of the combined operator is then a consequence of Rockafellar's theorem.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
The corresponding feasibility result is illustrated by some simulations.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

[1]

Modelling 1(2):175–197

Athanasiou P, Hadi Y (2020) Simulation of oil well drilling system using distributed–lumped modelling technique. Modelling 1(2):175–197. https://doi.org/10.3390/modelling1020011 28

work page doi:10.3390/modelling1020011 2020
[2]

Journal of Differential Equations 173(1):40–78

Avalos G, Lasiecka I, Rebarber R (2001) Well-posedness of a structural acoustics control model with point observation of the pressure. Journal of Differential Equations 173(1):40–78. https://doi. org/10.1006/jdeq.2000.3938

work page doi:10.1006/jdeq.2000.3938 2001
[3]

Chaos, Solitons & Fractals 15(2):381–394

Balanov A, Janson N, McClintock P, et al (2003) Bifurcation analysis of a neutral delay differ- ential equation modelling the torsional motion of a driven drill-string. Chaos, Solitons & Fractals 15(2):381–394. https://doi.org/10.1016/S0960-0779(02)00105-4

work page doi:10.1016/s0960-0779(02)00105-4 2003
[4]

Springer, New York, NY , URL https://link.springer.com/book/10.1007/978-1-4419-5542-5

Barbu V (2010) Nonlinear Differential Equations of Monotone Type in Banach Spaces. Springer, New York, NY , URL https://link.springer.com/book/10.1007/978-1-4419-5542-5

work page doi:10.1007/978-1-4419-5542-5 2010
[5]

CMS Books in Mathematics, Springer, Cham, https://doi.org/10.1007/ 978-3-319-48311-5

Bauschke HH, Combettes PL (2017) Convex Analysis and Monotone Operator Theory in Hilbert Spaces, 2nd edn. CMS Books in Mathematics, Springer, Cham, https://doi.org/10.1007/ 978-3-319-48311-5

work page 2017
[6]

Journal of the Franklin Institute 351(11):5099–5132

Berger T, Reis T (2014) Zero dynamics and funnel control for linear electrical circuits. Journal of the Franklin Institute 351(11):5099–5132. https://doi.org/10.1016/j.jfranklin.2014.08.006

work page doi:10.1016/j.jfranklin.2014.08.006 2014
[7]

Automatica 87:345–357

Berger T, L ˆe HH, Reis T (2018) Funnel control for nonlinear systems with known strict relative degree. Automatica 87:345–357. https://doi.org/10.1016/j.automatica.2017.10.017

work page doi:10.1016/j.automatica.2017.10.017 2018
[8]

Systems & Control Letters 139:104678

Berger T, Puche M, Schwenninger FL (2020) Funnel control in the presence of infinite-dimensional internal dynamics. Systems & Control Letters 139:104678. https://doi.org/10.1016/j.sysconle.2020. 104678

work page doi:10.1016/j.sysconle.2020 2020
[9]

Nonlinear Dynamics 104:3671–3699

Berger T, Dr ¨ucker S, Lanza L, et al (2021) Tracking control for underactuated non- minimum phase multibody systems. Nonlinear Dynamics 104:3671–3699. https://doi.org/10.1007/ s11071-021-06458-4

work page 2021
[10]

Mathematics of Control, Signals and Systems 33:151–194

Berger T, Ilchmann A, Ryan EP (2021) Funnel control of nonlinear systems. Mathematics of Control, Signals and Systems 33:151–194. https://doi.org/10.1007/s00498-021-00277-z

work page doi:10.1007/s00498-021-00277-z 2021
[11]

Automatica 135:109999

Berger T, Puche M, Schwenninger FL (2022) Funnel control for a moving water tank. Automatica 135:109999. https://doi.org/10.1016/j.automatica.2021.109999

work page doi:10.1016/j.automatica.2021.109999 2022
[12]

arXiv preprint arXiv:250908601

Berger T, Bikas LN, Hachmeister J, et al (2025) Prescribed performance control of uncertain higher- order nonlinear systems in the presence of delays. arXiv preprint arXiv:250908601

work page 2025
[13]

Annual Reviews in Control 60:101024

Berger T, Ilchmann A, Ryan EP (2025) Funnel control - a survey. Annual Reviews in Control 60:101024. https://doi.org/10.1016/j.arcontrol.2025.101024

work page doi:10.1016/j.arcontrol.2025.101024 2025
[14]

Automatica 167:111754

Chitour Y , Nguyen HM, Roman C (2023) Lyapunov functions for linear damped wave equations in one-dimensional space with dynamic boundary conditions. Automatica 167:111754. URL https: //api.semanticscholar.org/CorpusID:258461068

work page 2023
[15]

Journal of Sound and Vibration 267:1029–1045

Christoforou A, Yigit A (2003) Fully coupled vibrations of actively controlled drillstrings. Journal of Sound and Vibration 267:1029–1045. https://doi.org/10.1016/S0022-460X(03)00359-6 29

work page doi:10.1016/s0022-460x(03)00359-6 2003
[16]

Control Engineering Practice 130:105–366

Cruz Neto H, Trindade M (2023) Control of drill string torsional vibrations using optimal static output feedback. Control Engineering Practice 130:105–366. https://doi.org/10.1016/j.conengprac. 2022.105366

work page doi:10.1016/j.conengprac 2023
[18]

International Journal of Control 92(10):2274–2290

Deutscher J, Gehring N, Kern R (2019) Output feedback control of general linear heterodirectional hyperbolic PDE-ODE systems with spatially-varying coefficients. International Journal of Control 92(10):2274–2290. https://doi.org/10.1080/00207179.2018.1436770

work page doi:10.1080/00207179.2018.1436770 2019
[19]

Multibody System Dynamics 63:105–123

Dr ¨ucker S, Lanza L, Berger T, et al (2024) Experimental validation for the combination of funnel control with a feedforward control strategy. Multibody System Dynamics 63:105–123. https://doi. org/10.1007/s11044-024-09976-2

work page doi:10.1007/s11044-024-09976-2 2024
[20]

Israel J Math 26(1):1–

Evans LC (1977) Nonlinear evolution equations in an arbitrary Banach space. Israel J Math 26(1):1–

work page 1977
[21]

https://doi.org/10.1007/BF03007654

work page doi:10.1007/bf03007654
[22]

American Mathematical Society, URL https: //bookstore.ams.org/gsm-19-r/

Evans LC (2022) Partial differential equations, vol 19. American Mathematical Society, URL https: //bookstore.ams.org/gsm-19-r/

work page 2022
[23]

SIAM Journal on Control 6(3):349–385

Fattorini HO (1968) Boundary control systems. SIAM Journal on Control 6(3):349–385. https: //doi.org/10.1137/0306025

work page doi:10.1137/0306025 1968
[24]

Archiv der Mathematik 76(5):391–400

Favini A, Goldstein GR, Goldstein JA, et al (2001) Nonlinear boundary conditions for nonlinear second order differential operators on c [0, 1]. Archiv der Mathematik 76(5):391–400. https://doi. org/10.1007/PL00000449

work page doi:10.1007/pl00000449 2001
[25]

Princeton university press, URL https://press.princeton.edu/books/ebook/9780691213033/ introduction-to-partial-differential-equations-pdf-0

Folland GB (2020) Introduction to partial differential equations. Princeton university press, URL https://press.princeton.edu/books/ebook/9780691213033/ introduction-to-partial-differential-equations-pdf-0

work page arXiv 2020
[26]

Applied Mathematics & Optimization 66(1):81–122

Graber PJ, Said-Houari B (2012) Existence and asymptotic behavior of the wave equation with dynamic boundary conditions. Applied Mathematics & Optimization 66(1):81–122. https://doi.org/ 10.1007/s00245-012-9165-1

work page doi:10.1007/s00245-012-9165-1 2012
[27]

In: 2014 IEEE Conference on Control Applications (CCA), pp 1377–1382, https://doi.org/10.1109/CCA.2014.6981516

Hackl CM (2014) Funnel control for wind turbine systems. In: 2014 IEEE Conference on Control Applications (CCA), pp 1377–1382, https://doi.org/10.1109/CCA.2014.6981516

work page doi:10.1109/cca.2014.6981516 2014
[28]

Springer, Cham, Switzerland, URL https://link.springer.com/book/10.1007/978-3-319-55036-7

Hackl CM (2017) Non-identifier Based Adaptive Control in Mechatronics–Theory and Application, Lecture Notes in Control and Information Sciences, vol 466. Springer, Cham, Switzerland, URL https://link.springer.com/book/10.1007/978-3-319-55036-7

work page doi:10.1007/978-3-319-55036-7 2017
[29]

In: H ¨uper K, Trumpf J (eds) Mathematical System Theory – Festschrift in Honor of Uwe Helmke on the Occasion of his Sixtieth Birthday

Ilchmann A (2013) Decentralized tracking of interconnected systems. In: H ¨uper K, Trumpf J (eds) Mathematical System Theory – Festschrift in Honor of Uwe Helmke on the Occasion of his Sixtieth Birthday. CreateSpace, p 229–245 30

work page 2013
[30]

Systems & Control Letters 53(5):361–375

Ilchmann A, Trenn S (2004) Input constrained funnel control with applications to chemical reactor models. Systems & Control Letters 53(5):361–375. https://doi.org/10.1016/j.sysconle.2004.05.014

work page doi:10.1016/j.sysconle.2004.05.014 2004
[31]

ESAIM: Control, Optimisation and Calculus of Variations 7:471–493

Ilchmann A, Ryan E, Sangwin C (2002) Tracking with prescribed transient behaviour. ESAIM: Control, Optimisation and Calculus of Variations 7:471–493. https://doi.org/10.1051/cocv:2002064

work page doi:10.1051/cocv:2002064 2002
[32]

In: Refer- ence Module in Materials Science and Materials Engineering

Lhachemi H, Prieur C (2025) Nonlinear Control for Infinite-Dimensional Systems. In: Refer- ence Module in Materials Science and Materials Engineering. Elsevier, https://doi.org/10.1016/ B978-0-443-14081-5.00150-1

work page 2025
[33]

World Scientific, URL https://people.math

Loomis LH, Sternberg S (1968) Advanced calculus. World Scientific, URL https://people.math. harvard.edu/∼shlomo/docs/Advanced Calculus.pdf

work page 1968
[34]

Pattern Recognition 127 (2022), 108611

Moharrami MJ, de Arruda Martins C, Shiri H (2021) Nonlinear integrated dynamic analysis of drill strings under stick-slip vibration. Applied Ocean Research 108:102521. https://doi.org/10.1016/j. apor.2020.102521

work page doi:10.1016/j 2021
[35]

Scientific American 194(5):109–119

Rabinowicz E (1956) Stick and slip. Scientific American 194(5):109–119. https://doi.org/10.1038/ scientificamerican0556-109

work page 1956
[36]

Pacific Journal of Mathematics 33:209–216

Rockafellar RT (1970) On the maximal monotonicity of subdifferential mappings. Pacific Journal of Mathematics 33:209–216. https://doi.org/10.2140/pjm.1970.33.209

work page doi:10.2140/pjm.1970.33.209 1970
[37]

IFAC Proceedings V olumes 46(2):779–784

Sagert C, Di Meglio F, Krsti´c M, et al (2013) Backstepping and flatness approaches for stabilization of the stick-slip phenomenon for drilling. IFAC Proceedings V olumes 46(2):779–784. https://doi. org/10.3182/20130204-3-FR-2033.00126

work page doi:10.3182/20130204-3-fr-2033.00126 2013
[38]

Petroleum 10(3):411–426

Sharma A, Abid K, Srivastava S, et al (2024) A review of torsional vibration mitigation techniques using active control and machine learning strategies. Petroleum 10(3):411–426. https://doi.org/10. 1016/j.petlm.2023.09.007

work page 2024
[39]

IEEE Transactions on Automatic Control 65(1):58–71

Terrand-Jeanne A, Andrieu V , Tayakout-Fayolle M, et al (2020) Regulation of inhomogeneous drilling model with a P-I controller. IEEE Transactions on Automatic Control 65(1):58–71. https: //doi.org/10.1109/TAC.2019.2907792

work page doi:10.1109/tac.2019.2907792 2020
[40]

Journal of Mechanical Science and Technology 34(3):977–986

Tian J, Wei L, Yang L, et al (2020) Research and experimental analysis of drill string dynamics characteristics and stick-slip reduction mechanism. Journal of Mechanical Science and Technology 34(3):977–986. https://doi.org/10.1007/s12206-020-0201-9

work page doi:10.1007/s12206-020-0201-9 2020
[41]

Funct Anal Appl 55(3):217–225

Tolstonogov AA (2021) Maximal monotonicity of a Nemytskii operator. Funct Anal Appl 55(3):217–225. https://doi.org/10.1134/S0016266321030047

work page doi:10.1134/s0016266321030047 2021
[42]

Journal of computational physics 192(2):593–623

Tseng YH, Ferziger JH (2003) A ghost-cell immersed boundary method for flow in complex geometry. Journal of computational physics 192(2):593–623. https://doi.org/10.1016/j.jcp.2003.07. 024 31

work page doi:10.1016/j.jcp.2003.07 2003